Package evaluation to test SymbolicIntegration on Julia 1.14.0-DEV.1786 (45ee44a91e*) started at 2026-02-26T22:43:00.460 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.34s ################################################################################ # Installation # Installing SymbolicIntegration... Resolving package versions... Installed CompositionsBase ────────── v0.1.2 Installed CommonWorldInvalidations ── v1.0.0 Installed TermInterface ───────────── v2.0.0 Installed AbstractTrees ───────────── v0.4.5 Installed FresnelIntegrals ────────── v0.2.0 Installed MacroTools ──────────────── v0.5.16 Installed Adapt ───────────────────── v4.4.0 Installed DataStructures ──────────── v0.19.3 Installed Bijections ──────────────── v0.2.2 Installed RuntimeGeneratedFunctions ─ v0.5.17 Installed ConstructionBase ────────── v1.6.0 Installed HypergeometricFunctions ─── v0.3.28 Installed AbstractAlgebra ─────────── v0.47.6 Installed ArrayInterface ──────────── v7.22.0 Installed ExprTools ───────────────── v0.1.10 Installed DynamicPolynomials ──────── v0.6.4 Installed SymbolicIndexingInterface ─ v0.3.46 Installed Combinatorics ───────────── v1.0.2 Installed OrderedCollections ──────── v1.8.1 Installed SymbolicUtils ───────────── v4.18.5 Installed DomainSets ──────────────── v0.7.16 Installed RecipesBase ─────────────── v1.3.4 Installed ReadOnlyArrays ──────────── v0.2.0 Installed FLINT_jll ───────────────── v301.400.1+0 Installed TaskLocalValues ─────────── v0.1.3 Installed ExproniconLite ──────────── v0.10.14 Installed StaticArraysCore ────────── v1.4.4 Installed AbstractPlutoDingetjes ──── v1.3.2 Installed IrrationalConstants ─────── v0.2.6 Installed IntegerMathUtils ────────── v0.1.3 Installed MultivariatePolynomials ─── v0.5.13 Installed NaNMath ─────────────────── v1.1.3 Installed StaticArrays ────────────── v1.9.17 Installed PrecompileTools ─────────── v1.3.3 Installed OpenSpecFun_jll ─────────── v0.5.6+0 Installed SciMLPublic ─────────────── v1.0.1 Installed WeakCacheSets ───────────── v0.1.0 Installed LogExpFunctions ─────────── v0.3.29 Installed Symbolics ───────────────── v7.15.3 Installed Requires ────────────────── v1.3.1 Installed DiffRules ───────────────── v1.15.1 Installed OpenBLAS32_jll ──────────── v0.3.30+0 Installed InverseFunctions ────────── v0.1.17 Installed Reexport ────────────────── v1.2.2 Installed SpecialFunctions ────────── v2.7.1 Installed Elliptic ────────────────── v1.0.1 Installed EnumX ───────────────────── v1.0.7 Installed IntervalSets ────────────── v0.7.13 Installed Jieko ───────────────────── v0.2.1 Installed Nemo ────────────────────── v0.53.3 Installed Setfield ────────────────── v1.1.2 Installed CompositeTypes ──────────── v0.1.4 Installed MutableArithmetics ──────── v1.6.7 Installed JLLWrappers ─────────────── v1.7.1 Installed Preferences ─────────────── v1.5.2 Installed SymbolicLimits ──────────── v1.1.0 Installed Primes ──────────────────── v0.5.7 Installed ADTypes ─────────────────── v1.21.0 Installed Moshi ───────────────────── v0.3.7 Installed DocStringExtensions ─────── v0.9.5 Installed Accessors ───────────────── v0.1.43 Installed RandomExtensions ────────── v0.4.4 Installed SymbolicIntegration ─────── v3.4.0 Installed PolyLog ─────────────────── v2.6.1 Installing 3 artifacts Installed artifact OpenSpecFun 194.9 KiB Installed artifact OpenBLAS32 10.0 MiB Installed artifact FLINT 23.6 MiB Updating `~/.julia/environments/v1.14/Project.toml` [315ce56f] + SymbolicIntegration v3.4.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [47edcb42] + ADTypes v1.21.0 ⌅ [c3fe647b] + AbstractAlgebra v0.47.6 [6e696c72] + AbstractPlutoDingetjes v1.3.2 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.43 [79e6a3ab] + Adapt v4.4.0 [4fba245c] + ArrayInterface v7.22.0 [e2ed5e7c] + Bijections v0.2.2 ⌅ [861a8166] + Combinatorics v1.0.2 [f70d9fcc] + CommonWorldInvalidations v1.0.0 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.19.3 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [5b8099bc] + DomainSets v0.7.16 [7c1d4256] + DynamicPolynomials v0.6.4 [b305315f] + Elliptic v1.0.1 [4e289a0a] + EnumX v1.0.7 [e2ba6199] + ExprTools v0.1.10 [55351af7] + ExproniconLite v0.10.14 [88497964] + FresnelIntegrals v0.2.0 [34004b35] + HypergeometricFunctions v0.3.28 [18e54dd8] + IntegerMathUtils v0.1.3 [8197267c] + IntervalSets v0.7.13 [3587e190] + InverseFunctions v0.1.17 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [ae98c720] + Jieko v0.2.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [2e0e35c7] + Moshi v0.3.7 [102ac46a] + MultivariatePolynomials v0.5.13 [d8a4904e] + MutableArithmetics v1.6.7 [77ba4419] + NaNMath v1.1.3 ⌅ [2edaba10] + Nemo v0.53.3 [bac558e1] + OrderedCollections v1.8.1 [85e3b03c] + PolyLog v2.6.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [fb686558] + RandomExtensions v0.4.4 [988b38a3] + ReadOnlyArrays v0.2.0 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [7e49a35a] + RuntimeGeneratedFunctions v0.5.17 [431bcebd] + SciMLPublic v1.0.1 [efcf1570] + Setfield v1.1.2 [276daf66] + SpecialFunctions v2.7.1 [90137ffa] + StaticArrays v1.9.17 [1e83bf80] + StaticArraysCore v1.4.4 [2efcf032] + SymbolicIndexingInterface v0.3.46 [315ce56f] + SymbolicIntegration v3.4.0 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.18.5 [0c5d862f] + Symbolics v7.15.3 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [d30d5f5c] + WeakCacheSets v0.1.0 [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.30+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.18.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [3a97d323] + MPFR_jll v4.2.2+0 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.30+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.5+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 12.33s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4611.3 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 4496.3 ms ✓ MacroTools 782.9 ms ✓ Reexport 921.6 ms ✓ SciMLPublic 1151.0 ms ✓ ConstructionBase 3695.4 ms ✓ ExproniconLite 2163.3 ms ✓ IrrationalConstants 811.4 ms ✓ CommonWorldInvalidations 994.7 ms ✓ StaticArraysCore 1017.1 ms ✓ Elliptic 1198.1 ms ✓ Requires 1265.9 ms ✓ OrderedCollections 951.2 ms ✓ CompositeTypes 953.6 ms ✓ InverseFunctions 808.0 ms ✓ ReadOnlyArrays 838.8 ms ✓ WeakCacheSets 1414.5 ms ✓ ADTypes 844.3 ms ✓ CompositionsBase 1127.5 ms ✓ DocStringExtensions 1166.7 ms ✓ AbstractTrees 1086.2 ms ✓ IntervalSets 2079.5 ms ✓ Combinatorics 994.2 ms ✓ EnumX 1057.6 ms ✓ Bijections 882.2 ms ✓ TermInterface 882.9 ms ✓ IntegerMathUtils 1092.9 ms ✓ PolyLog 902.6 ms ✓ ExprTools 835.6 ms ✓ TaskLocalValues 4735.3 ms ✓ RandomExtensions 1038.7 ms ✓ NaNMath 1178.1 ms ✓ Preferences 12007.5 ms ✓ MutableArithmetics 4501.8 ms ✓ AbstractPlutoDingetjes 913.7 ms ✓ ConstructionBase → ConstructionBaseLinearAlgebraExt 3243.4 ms ✓ Jieko 941.8 ms ✓ Adapt 3560.3 ms ✓ DataStructures 1691.9 ms ✓ InverseFunctions → InverseFunctionsTestExt 870.2 ms ✓ InverseFunctions → InverseFunctionsDatesExt 763.6 ms ✓ ADTypes → ADTypesConstructionBaseExt 815.3 ms ✓ CompositionsBase → CompositionsBaseInverseFunctionsExt 1344.7 ms ✓ LogExpFunctions 796.9 ms ✓ IntervalSets → IntervalSetsRandomExt 775.7 ms ✓ ConstructionBase → ConstructionBaseIntervalSetsExt 1151.9 ms ✓ Primes 924.4 ms ✓ RuntimeGeneratedFunctions 1206.4 ms ✓ JLLWrappers 931.6 ms ✓ PrecompileTools 24918.6 ms ✓ AbstractAlgebra 3090.0 ms ✓ Setfield 17865.0 ms ✓ Moshi 1204.5 ms ✓ ArrayInterface 1328.7 ms ✓ Adapt → AdaptSparseArraysExt 4957.3 ms ✓ MultivariatePolynomials 5378.4 ms ✓ Accessors 845.9 ms ✓ LogExpFunctions → LogExpFunctionsInverseFunctionsExt 1511.1 ms ✓ OpenBLAS32_jll 1487.0 ms ✓ OpenSpecFun_jll 2996.7 ms ✓ RecipesBase 14218.6 ms ✓ StaticArrays 6139.9 ms ✓ AbstractAlgebra → TestExt 791.2 ms ✓ ArrayInterface → ArrayInterfaceStaticArraysCoreExt 1342.2 ms ✓ ArrayInterface → ArrayInterfaceSparseArraysExt 4597.1 ms ✓ DynamicPolynomials 2446.3 ms ✓ Accessors → LinearAlgebraExt 2780.3 ms ✓ Accessors → IntervalSetsExt 1796.5 ms ✓ Accessors → TestExt 1463.6 ms ✓ FLINT_jll 5294.3 ms ✓ SpecialFunctions 1417.6 ms ✓ IntervalSets → IntervalSetsRecipesBaseExt 1549.8 ms ✓ ConstructionBase → ConstructionBaseStaticArraysExt 5256.2 ms ✓ DomainSets 1526.7 ms ✓ Adapt → AdaptStaticArraysExt 1636.0 ms ✓ Accessors → StaticArraysExt 3717.1 ms ✓ SymbolicIndexingInterface 34345.1 ms ✓ Nemo 2160.6 ms ✓ HypergeometricFunctions 1064.0 ms ✓ FresnelIntegrals 1213.8 ms ✓ DiffRules 1189.0 ms ✓ DomainSets → DomainSetsRandomExt 179588.1 ms ✓ SymbolicUtils 8658.8 ms ✓ SymbolicLimits 180294.1 ms ✓ Symbolics 19555.2 ms ✓ Symbolics → SymbolicsHypergeometricFunctionsExt 23642.0 ms ✓ Symbolics → SymbolicsNemoExt    0/96 files [> ] 0 rules Loading: 0.1 Integrand simplification rules.jl  1/96 files [=> ] 22 rules Loading: 1.1.1.1 (a+b x)^m.jl  2/96 files [=> ] 26 rules Loading: 1.1.1.2 (a+b x)^m (c+d x)^n.jl  3/96 files [==> ] 66 rules Loading: 1.1.1.3 (a+b x)^m (c+d x)^n (e+f x)^p.jl  4/96 files [==> ] 139 rules Loading: 1.1.1.4 (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.jl  5/96 files [===> ] 186 rules Loading: 1.1.2.1 (a+b x^2)^p.jl  6/96 files [===> ] 219 rules Loading: 1.1.2.2 (c x)^m (a+b x^2)^p.jl  7/96 files [====> ] 251 rules Loading: 1.1.2.3 (a+b x^2)^p (c+d x^2)^q.jl  8/96 files [====> ] 301 rules Loading: 1.1.2.4 (e x)^m (a+b x^2)^p (c+d x^2)^q.jl  9/96 files [=====> ] 346 rules Loading: 1.1.3.1 (a+b x^n)^p.jl  10/96 files [=====> ] 412 rules Loading: 1.1.3.2 (c x)^m (a+b x^n)^p.jl  11/96 files [======> ] 524 rules Loading: 1.1.3.3 (a+b x^n)^p (c+d x^n)^q.jl  12/96 files [======> ] 585 rules Loading: 1.1.3.4 (e x)^m (a+b x^n)^p (c+d x^n)^q.jl  13/96 files [=======> ] 673 rules Loading: 1.1.3.5 (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.jl  14/96 files [========> ] 718 rules Loading: 1.1.3.6 (g x)^m (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.jl  15/96 files [========> ] 757 rules Loading: 1.2.1.1 (a+b x+c x^2)^p.jl  16/96 files [=========> ] 776 rules Loading: 1.2.1.2 (d+e x)^m (a+b x+c x^2)^p.jl  17/96 files [=========> ] 913 rules Loading: 1.2.1.3 (d+e x)^m (f+g x) (a+b x+c x^2)^p.jl  18/96 files [==========> ] 995 rules Loading: 1.2.1.4 (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.jl  19/96 files [==========> ] 1115 rules Loading: 1.2.2.1 (a+b x^2+c x^4)^p.jl  20/96 files [===========> ] 1134 rules Loading: 1.2.2.2 (d x)^m (a+b x^2+c x^4)^p.jl  21/96 files [===========> ] 1170 rules Loading: 1.2.2.3 (d+e x^2)^q (a+b x^2+c x^4)^p.jl  22/96 files [============> ] 1266 rules Loading: 1.2.3.1 (a+b x^n+c x^(2 n))^p.jl  23/96 files [============> ] 1278 rules Loading: 1.1.4.1 (a x^j+b x^n)^p.jl  24/96 files [=============> ] 1291 rules Loading: 1.1.4.2 (c x)^m (a x^j+b x^n)^p.jl  25/96 files [==============> ] 1312 rules Loading: 1.1.4.3 (e x)^m (a x^j+b x^k)^p (c+d x^n)^q.jl  26/96 files [==============> ] 1321 rules Loading: 1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.jl  27/96 files [===============> ] 1346 rules Loading: 1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.jl  28/96 files [===============> ] 1353 rules Loading: 1.1.1.5 P(x) (a+b x)^m (c+d x)^n.jl  29/96 files [================> ] 1358 rules Loading: 1.2.2.5 P(x) (a+b x^2+c x^4)^p.jl  30/96 files [================> ] 1368 rules Loading: 1.2.2.4 (f x)^m (d+e x^2)^q (a+b x^2+c x^4)^p.jl  31/96 files [=================> ] 1463 rules Loading: 1.1.3.7 P(x) (a+b x^n)^p.jl  32/96 files [=================> ] 1511 rules Loading: 1.1.3.8 P(x) (c x)^m (a+b x^n)^p.jl  33/96 files [==================> ] 1536 rules Loading: 2.1 (c+d x)^m (a+b (F^(g (e+f x)))^n)^p.jl  34/96 files [==================> ] 1546 rules Loading: 2.2 (c+d x)^m (F^(g (e+f x)))^n (a+b (F^(g (e+f x)))^n)^p.jl  35/96 files [===================> ] 1549 rules Loading: 2.3 Miscellaneous exponentials.jl  36/96 files [====================> ] 1642 rules Loading: 3.1.1 (a+b log(c x^n))^p.jl  37/96 files [====================> ] 1648 rules Loading: 3.1.2 (d x)^m (a+b log(c x^n))^p.jl  38/96 files [=====================> ] 1660 rules Loading: 3.1.3 (d+e x^r)^q (a+b log(c x^n))^p.jl  39/96 files [=====================> ] 1680 rules Loading: 3.1.4 (f x)^m (d+e x^r)^q (a+b log(c x^n))^p.jl  40/96 files [======================> ] 1705 rules Loading: 3.1.5 u (a+b log(c x^n))^p.jl  41/96 files [======================> ] 1756 rules Loading: 3.2.1 (f+g x)^m (A+B log(e ((a+b x) over (c+d x))^n))^p.jl  42/96 files [=======================> ] 1776 rules Loading: 3.2.2 (f+g x)^m (h+i x)^q (A+B log(e ((a+b x) over (c+d x))^n))^p.jl  43/96 files [=======================> ] 1793 rules Loading: 3.2.3 u log(e (f (a+b x)^p (c+d x)^q)^r)^s.jl  44/96 files [========================> ] 1806 rules Loading: 3.3 u (a+b log(c (d+e x)^n))^p.jl  45/96 files [========================> ] 1859 rules Loading: 3.4 u (a+b log(c (d+e x^m)^n))^p.jl  46/96 files [=========================> ] 1890 rules Loading: 3.5 Miscellaneous logarithms.jl  47/96 files [=========================> ] 1925 rules Loading: 4.1.0.1 (a sin)^m (b trg)^n.jl  48/96 files [==========================> ] 1951 rules Loading: 4.1.0.2 (a trg)^m (b tan)^n.jl  49/96 files [===========================> ] 1981 rules Loading: 4.1.0.3 (a csc)^m (b sec)^n.jl  50/96 files [===========================> ] 1995 rules Loading: 4.1.1.1 (a+b sin)^n.jl  51/96 files [============================> ] 2029 rules Loading: 4.1.1.2 (g cos)^p (a+b sin)^m.jl  52/96 files [============================> ] 2068 rules Loading: 4.1.1.3 (g tan)^p (a+b sin)^m.jl  53/96 files [=============================> ] 2095 rules Loading: 4.1.2.1 (a+b sin)^m (c+d sin)^n.jl  54/96 files [=============================> ] 2193 rules Loading: 4.1.2.2 (g cos)^p (a+b sin)^m (c+d sin)^n.jl  55/96 files [==============================> ] 2287 rules Loading: 4.1.2.3 (g sin)^p (a+b sin)^m (c+d sin)^n.jl  56/96 files [==============================> ] 2324 rules Loading: 4.1.3 (a+b sin)^m (c+d sin)^n (A+B sin).jl  57/96 files [===============================> ] 2367 rules Loading: 4.1.4.1 (a+b sin)^m (A+B sin+C sin^2).jl  58/96 files [===============================> ] 2386 rules Loading: 4.1.4.2 (a+b sin)^m (c+d sin)^n (A+B sin+C sin^2).jl  59/96 files [================================> ] 2426 rules Loading: 4.1.5 trig^m (a cos+b sin)^n.jl  60/96 files [================================> ] 2469 rules Loading: 4.1.6 (a+b cos+c sin)^n.jl  61/96 files [=================================> ] 2526 rules Loading: 4.1.7 (d trig)^m (a+b (c sin)^n)^p.jl  62/96 files [==================================> ] 2593 rules Loading: 4.1.9 trig^m (a+b sin^n+c sin^(2 n))^p.jl  63/96 files [==================================> ] 2631 rules Loading: 4.1.10 (c+d x)^m (a+b sin)^n.jl  64/96 files [===================================> ] 2653 rules Loading: 4.1.11 (e x)^m (a+b x^n)^p sin.jl  65/96 files [===================================> ] 2671 rules Loading: 4.1.12 (e x)^m (a+b sin(c+d x^n))^p.jl  66/96 files [====================================> ] 2737 rules Loading: 4.1.13 (d+e x)^m sin(a+b x+c x^2)^n.jl  67/96 files [====================================> ] 2757 rules Loading: 4.3.1.1 (a+b tan)^n.jl  68/96 files [=====================================> ] 2770 rules Loading: 4.3.1.2 (d sec)^m (a+b tan)^n.jl  69/96 files [=====================================> ] 2800 rules Loading: 4.3.1.3 (d sin)^m (a+b tan)^n.jl  70/96 files [======================================> ] 2806 rules Loading: 4.5.1.1 (a+b sec)^n.jl  71/96 files [======================================> ] 2826 rules Loading: 4.5.1.2 (d sec)^n (a+b sec)^m.jl  72/96 files [=======================================> ] 2910 rules Loading: 4.5.1.3 (d sin)^n (a+b sec)^m.jl  73/96 files [========================================> ] 2916 rules Loading: 4.5.1.4 (d tan)^n (a+b sec)^m.jl  74/96 files [========================================> ] 2939 rules Loading: 4.5.7 (d trig)^m (a+b (c sec)^n)^p.jl  75/96 files [=========================================> ] 2962 rules Loading: 4.7.4 (c trig)^m (d trig)^n.jl  76/96 files [=========================================> ] 3012 rules Loading: 4.7.7 F^(c (a+b x)) trig(d+e x)^n.jl  77/96 files [==========================================> ] 3043 rules Loading: 5.1.1 (a+b arcsin(c x))^n.jl  78/96 files [==========================================> ] 3049 rules Loading: 5.1.2 (d x)^m (a+b arcsin(c x))^n.jl  79/96 files [===========================================> ] 3061 rules Loading: 5.3.1 (a+b arctan(c x^n))^p.jl  80/96 files [===========================================> ] 3067 rules Loading: 5.3.2 (d x)^m (a+b arctan(c x^n))^p.jl  81/96 files [============================================> ] 3083 rules Loading: 7.1.1 (a+b arcsinh(c x))^n.jl  82/96 files [============================================> ] 3086 rules Loading: 7.1.2 (d x)^m (a+b arcsinh(c x))^n.jl  83/96 files [=============================================> ] 3092 rules Loading: 7.1.3 (d+e x^2)^p (a+b arcsinh(c x))^n.jl  84/96 files [==============================================> ] 3106 rules Loading: 7.1.4 (f x)^m (d+e x^2)^p (a+b arcsinh(c x))^n.jl  85/96 files [==============================================> ] 3135 rules Loading: 7.1.5 u (a+b arcsinh(c x))^n.jl  86/96 files [===============================================> ] 3165 rules Loading: 7.1.6 Miscellaneous inverse hyperbolic sine.jl  87/96 files [===============================================> ] 3185 rules Loading: 7.2.1 (a+b arccosh(c x))^n.jl  88/96 files [================================================> ] 3188 rules Loading: 7.2.2 (d x)^m (a+b arccosh(c x))^n.jl  89/96 files [================================================> ] 3194 rules Loading: 7.2.3 (d+e x^2)^p (a+b arccosh(c x))^n.jl  90/96 files [=================================================> ] 3215 rules Loading: 7.2.4 (f x)^m (d+e x^2)^p (a+b arccosh(c x))^n.jl  91/96 files [=================================================> ] 3263 rules Loading: 7.2.5 u (a+b arccosh(c x))^n.jl  92/96 files [==================================================> ] 3295 rules Loading: 7.2.6 Miscellaneous inverse hyperbolic cosine.jl  93/96 files [==================================================> ] 3319 rules Loading: 7.3.1 (a+b arctanh(c x^n))^p.jl  94/96 files [===================================================> ] 3327 rules Loading: 7.3.2 (d x)^m (a+b arctanh(c x^n))^p.jl  95/96 files [===================================================> ] 3349 rules Loading: 7.3.3 (d+e x)^m (a+b arctanh(c x^n))^p.jl Loaded 3369 rules from 96 files. 37146.0 ms ✓ SymbolicIntegration 86 dependencies successfully precompiled in 690 seconds. 36 already precompiled. 1 dependency had output during precompilation: ┌ SymbolicIntegration │  0/96 files [> ] 0 rules │ Loading: 0.1 Integrand simplification rules.jl │  1/96 files [=> ] 22 rules │ Loading: 1.1.1.1 (a+b x)^m.jl │  2/96 files [=> ] 26 rules │ Loading: 1.1.1.2 (a+b x)^m (c+d x)^n.jl │  3/96 files [==> ] 66 rules │ Loading: 1.1.1.3 (a+b x)^m (c+d x)^n (e+f x)^p.jl │  4/96 files [==> ] 139 rules │ Loading: 1.1.1.4 (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.jl │  5/96 files [===> ] 186 rules │ Loading: 1.1.2.1 (a+b x^2)^p.jl │  6/96 files [===> ] 219 rules │ Loading: 1.1.2.2 (c x)^m (a+b x^2)^p.jl │  7/96 files [====> ] 251 rules │ Loading: 1.1.2.3 (a+b x^2)^p (c+d x^2)^q.jl │  8/96 files [====> ] 301 rules │ Loading: 1.1.2.4 (e x)^m (a+b x^2)^p (c+d x^2)^q.jl │  9/96 files [=====> ] 346 rules │ Loading: 1.1.3.1 (a+b x^n)^p.jl │  10/96 files [=====> ] 412 rules │ Loading: 1.1.3.2 (c x)^m (a+b x^n)^p.jl │  11/96 files [======> ] 524 rules │ Loading: 1.1.3.3 (a+b x^n)^p (c+d x^n)^q.jl │  12/96 files [======> ] 585 rules │ Loading: 1.1.3.4 (e x)^m (a+b x^n)^p (c+d x^n)^q.jl │  13/96 files [=======> ] 673 rules │ Loading: 1.1.3.5 (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.jl │  14/96 files [========> ] 718 rules │ Loading: 1.1.3.6 (g x)^m (a+b x^n)^p (c+d x^n)^q (e+f x^n)^r.jl │  15/96 files [========> ] 757 rules │ Loading: 1.2.1.1 (a+b x+c x^2)^p.jl │  16/96 files [=========> ] 776 rules │ Loading: 1.2.1.2 (d+e x)^m (a+b x+c x^2)^p.jl │  17/96 files [=========> ] 913 rules │ Loading: 1.2.1.3 (d+e x)^m (f+g x) (a+b x+c x^2)^p.jl │  18/96 files [==========> ] 995 rules │ Loading: 1.2.1.4 (d+e x)^m (f+g x)^n (a+b x+c x^2)^p.jl │  19/96 files [==========> ] 1115 rules │ Loading: 1.2.2.1 (a+b x^2+c x^4)^p.jl │  20/96 files [===========> ] 1134 rules │ Loading: 1.2.2.2 (d x)^m (a+b x^2+c x^4)^p.jl │  21/96 files [===========> ] 1170 rules │ Loading: 1.2.2.3 (d+e x^2)^q (a+b x^2+c x^4)^p.jl │  22/96 files [============> ] 1266 rules │ Loading: 1.2.3.1 (a+b x^n+c x^(2 n))^p.jl │  23/96 files [============> ] 1278 rules │ Loading: 1.1.4.1 (a x^j+b x^n)^p.jl │  24/96 files [=============> ] 1291 rules │ Loading: 1.1.4.2 (c x)^m (a x^j+b x^n)^p.jl │  25/96 files [==============> ] 1312 rules │ Loading: 1.1.4.3 (e x)^m (a x^j+b x^k)^p (c+d x^n)^q.jl │  26/96 files [==============> ] 1321 rules │ Loading: 1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.jl │  27/96 files [===============> ] 1346 rules │ Loading: 1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.jl │  28/96 files [===============> ] 1353 rules │ Loading: 1.1.1.5 P(x) (a+b x)^m (c+d x)^n.jl │  29/96 files [================> ] 1358 rules │ Loading: 1.2.2.5 P(x) (a+b x^2+c x^4)^p.jl │  30/96 files [================> ] 1368 rules │ Loading: 1.2.2.4 (f x)^m (d+e x^2)^q (a+b x^2+c x^4)^p.jl │  31/96 files [=================> ] 1463 rules │ Loading: 1.1.3.7 P(x) (a+b x^n)^p.jl │  32/96 files [=================> ] 1511 rules │ Loading: 1.1.3.8 P(x) (c x)^m (a+b x^n)^p.jl │  33/96 files [==================> ] 1536 rules │ Loading: 2.1 (c+d x)^m (a+b (F^(g (e+f x)))^n)^p.jl │  34/96 files [==================> ] 1546 rules │ Loading: 2.2 (c+d x)^m (F^(g (e+f x)))^n (a+b (F^(g (e+f x)))^n)^p.jl │  35/96 files [===================> ] 1549 rules │ Loading: 2.3 Miscellaneous exponentials.jl │  36/96 files [====================> ] 1642 rules │ Loading: 3.1.1 (a+b log(c x^n))^p.jl │  37/96 files [====================> ] 1648 rules │ Loading: 3.1.2 (d x)^m (a+b log(c x^n))^p.jl │  38/96 files [=====================> ] 1660 rules │ Loading: 3.1.3 (d+e x^r)^q (a+b log(c x^n))^p.jl │  39/96 files [=====================> ] 1680 rules │ Loading: 3.1.4 (f x)^m (d+e x^r)^q (a+b log(c x^n))^p.jl │  40/96 files [======================> ] 1705 rules │ Loading: 3.1.5 u (a+b log(c x^n))^p.jl │  41/96 files [======================> ] 1756 rules │ Loading: 3.2.1 (f+g x)^m (A+B log(e ((a+b x) over (c+d x))^n))^p.jl │  42/96 files [=======================> ] 1776 rules │ Loading: 3.2.2 (f+g x)^m (h+i x)^q (A+B log(e ((a+b x) over (c+d x))^n))^p.jl │  43/96 files [=======================> ] 1793 rules │ Loading: 3.2.3 u log(e (f (a+b x)^p (c+d x)^q)^r)^s.jl │  44/96 files [========================> ] 1806 rules │ Loading: 3.3 u (a+b log(c (d+e x)^n))^p.jl │  45/96 files [========================> ] 1859 rules │ Loading: 3.4 u (a+b log(c (d+e x^m)^n))^p.jl │  46/96 files [=========================> ] 1890 rules │ Loading: 3.5 Miscellaneous logarithms.jl │  47/96 files [=========================> ] 1925 rules │ Loading: 4.1.0.1 (a sin)^m (b trg)^n.jl │  48/96 files [==========================> ] 1951 rules │ Loading: 4.1.0.2 (a trg)^m (b tan)^n.jl │  49/96 files [===========================> ] 1981 rules │ Loading: 4.1.0.3 (a csc)^m (b sec)^n.jl │  50/96 files [===========================> ] 1995 rules │ Loading: 4.1.1.1 (a+b sin)^n.jl │  51/96 files [============================> ] 2029 rules │ Loading: 4.1.1.2 (g cos)^p (a+b sin)^m.jl │  52/96 files [============================> ] 2068 rules │ Loading: 4.1.1.3 (g tan)^p (a+b sin)^m.jl │  53/96 files [=============================> ] 2095 rules │ Loading: 4.1.2.1 (a+b sin)^m (c+d sin)^n.jl │  54/96 files [=============================> ] 2193 rules │ Loading: 4.1.2.2 (g cos)^p (a+b sin)^m (c+d sin)^n.jl │  55/96 files [==============================> ] 2287 rules │ Loading: 4.1.2.3 (g sin)^p (a+b sin)^m (c+d sin)^n.jl │  56/96 files [==============================> ] 2324 rules │ Loading: 4.1.3 (a+b sin)^m (c+d sin)^n (A+B sin).jl │  57/96 files [===============================> ] 2367 rules │ Loading: 4.1.4.1 (a+b sin)^m (A+B sin+C sin^2).jl │  58/96 files [===============================> ] 2386 rules │ Loading: 4.1.4.2 (a+b sin)^m (c+d sin)^n (A+B sin+C sin^2).jl │  59/96 files [================================> ] 2426 rules │ Loading: 4.1.5 trig^m (a cos+b sin)^n.jl │  60/96 files [================================> ] 2469 rules │ Loading: 4.1.6 (a+b cos+c sin)^n.jl │  61/96 files [=================================> ] 2526 rules │ Loading: 4.1.7 (d trig)^m (a+b (c sin)^n)^p.jl │  62/96 files [==================================> ] 2593 rules │ Loading: 4.1.9 trig^m (a+b sin^n+c sin^(2 n))^p.jl │  63/96 files [==================================> ] 2631 rules │ Loading: 4.1.10 (c+d x)^m (a+b sin)^n.jl │  64/96 files [===================================> ] 2653 rules │ Loading: 4.1.11 (e x)^m (a+b x^n)^p sin.jl │  65/96 files [===================================> ] 2671 rules │ Loading: 4.1.12 (e x)^m (a+b sin(c+d x^n))^p.jl │  66/96 files [====================================> ] 2737 rules │ Loading: 4.1.13 (d+e x)^m sin(a+b x+c x^2)^n.jl │  67/96 files [====================================> ] 2757 rules │ Loading: 4.3.1.1 (a+b tan)^n.jl │  68/96 files [=====================================> ] 2770 rules │ Loading: 4.3.1.2 (d sec)^m (a+b tan)^n.jl │  69/96 files [=====================================> ] 2800 rules │ Loading: 4.3.1.3 (d sin)^m (a+b tan)^n.jl │  70/96 files [======================================> ] 2806 rules │ Loading: 4.5.1.1 (a+b sec)^n.jl │  71/96 files [======================================> ] 2826 rules │ Loading: 4.5.1.2 (d sec)^n (a+b sec)^m.jl │  72/96 files [=======================================> ] 2910 rules │ Loading: 4.5.1.3 (d sin)^n (a+b sec)^m.jl │  73/96 files [========================================> ] 2916 rules │ Loading: 4.5.1.4 (d tan)^n (a+b sec)^m.jl │  74/96 files [========================================> ] 2939 rules │ Loading: 4.5.7 (d trig)^m (a+b (c sec)^n)^p.jl │  75/96 files [=========================================> ] 2962 rules │ Loading: 4.7.4 (c trig)^m (d trig)^n.jl │  76/96 files [=========================================> ] 3012 rules │ Loading: 4.7.7 F^(c (a+b x)) trig(d+e x)^n.jl │  77/96 files [==========================================> ] 3043 rules │ Loading: 5.1.1 (a+b arcsin(c x))^n.jl │  78/96 files [==========================================> ] 3049 rules │ Loading: 5.1.2 (d x)^m (a+b arcsin(c x))^n.jl │  79/96 files [===========================================> ] 3061 rules │ Loading: 5.3.1 (a+b arctan(c x^n))^p.jl │  80/96 files [===========================================> ] 3067 rules │ Loading: 5.3.2 (d x)^m (a+b arctan(c x^n))^p.jl │  81/96 files [============================================> ] 3083 rules │ Loading: 7.1.1 (a+b arcsinh(c x))^n.jl │  82/96 files [============================================> ] 3086 rules │ Loading: 7.1.2 (d x)^m (a+b arcsinh(c x))^n.jl │  83/96 files [=============================================> ] 3092 rules │ Loading: 7.1.3 (d+e x^2)^p (a+b arcsinh(c x))^n.jl │  84/96 files [==============================================> ] 3106 rules │ Loading: 7.1.4 (f x)^m (d+e x^2)^p (a+b arcsinh(c x))^n.jl │  85/96 files [==============================================> ] 3135 rules │ Loading: 7.1.5 u (a+b arcsinh(c x))^n.jl │  86/96 files [===============================================> ] 3165 rules │ Loading: 7.1.6 Miscellaneous inverse hyperbolic sine.jl │  87/96 files [===============================================> ] 3185 rules │ Loading: 7.2.1 (a+b arccosh(c x))^n.jl │  88/96 files [================================================> ] 3188 rules │ Loading: 7.2.2 (d x)^m (a+b arccosh(c x))^n.jl │  89/96 files [================================================> ] 3194 rules │ Loading: 7.2.3 (d+e x^2)^p (a+b arccosh(c x))^n.jl │  90/96 files [=================================================> ] 3215 rules │ Loading: 7.2.4 (f x)^m (d+e x^2)^p (a+b arccosh(c x))^n.jl │  91/96 files [=================================================> ] 3263 rules │ Loading: 7.2.5 u (a+b arccosh(c x))^n.jl │  92/96 files [==================================================> ] 3295 rules │ Loading: 7.2.6 Miscellaneous inverse hyperbolic cosine.jl │  93/96 files [==================================================> ] 3319 rules │ Loading: 7.3.1 (a+b arctanh(c x^n))^p.jl │  94/96 files [===================================================> ] 3327 rules │ Loading: 7.3.2 (d x)^m (a+b arctanh(c x^n))^p.jl │  95/96 files [===================================================> ] 3349 rules │ Loading: 7.3.3 (d+e x)^m (a+b arctanh(c x^n))^p.jl │ Loaded 3369 rules from 96 files. └ Precompilation completed after 715.42s ################################################################################ # Testing # Testing SymbolicIntegration Status `/tmp/jl_LkH4Eo/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.47.6 ⌅ [861a8166] Combinatorics v1.0.2 [b305315f] Elliptic v1.0.1 [88497964] FresnelIntegrals v0.2.0 [34004b35] HypergeometricFunctions v0.3.28 ⌅ [2edaba10] Nemo v0.53.3 [85e3b03c] PolyLog v2.6.1 [315ce56f] SymbolicIntegration v3.4.0 [d1185830] SymbolicUtils v4.18.5 [0c5d862f] Symbolics v7.15.3 [ade2ca70] Dates v1.11.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_LkH4Eo/Manifest.toml` [47edcb42] ADTypes v1.21.0 ⌅ [c3fe647b] AbstractAlgebra v0.47.6 [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.43 [79e6a3ab] Adapt v4.4.0 [4fba245c] ArrayInterface v7.22.0 [e2ed5e7c] Bijections v0.2.2 ⌅ [861a8166] Combinatorics v1.0.2 [f70d9fcc] CommonWorldInvalidations v1.0.0 [b152e2b5] CompositeTypes v0.1.4 [a33af91c] CompositionsBase v0.1.2 [187b0558] ConstructionBase v1.6.0 [864edb3b] DataStructures v0.19.3 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [5b8099bc] DomainSets v0.7.16 [7c1d4256] DynamicPolynomials v0.6.4 [b305315f] Elliptic v1.0.1 [4e289a0a] EnumX v1.0.7 [e2ba6199] ExprTools v0.1.10 [55351af7] ExproniconLite v0.10.14 [88497964] FresnelIntegrals v0.2.0 [34004b35] HypergeometricFunctions v0.3.28 [18e54dd8] IntegerMathUtils v0.1.3 [8197267c] IntervalSets v0.7.13 [3587e190] InverseFunctions v0.1.17 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.7.1 [ae98c720] Jieko v0.2.1 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [2e0e35c7] Moshi v0.3.7 [102ac46a] MultivariatePolynomials v0.5.13 [d8a4904e] MutableArithmetics v1.6.7 [77ba4419] NaNMath v1.1.3 ⌅ [2edaba10] Nemo v0.53.3 [bac558e1] OrderedCollections v1.8.1 [85e3b03c] PolyLog v2.6.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [fb686558] RandomExtensions v0.4.4 [988b38a3] ReadOnlyArrays v0.2.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [7e49a35a] RuntimeGeneratedFunctions v0.5.17 [431bcebd] SciMLPublic v1.0.1 [efcf1570] Setfield v1.1.2 [276daf66] SpecialFunctions v2.7.1 [90137ffa] StaticArrays v1.9.17 [1e83bf80] StaticArraysCore v1.4.4 [2efcf032] SymbolicIndexingInterface v0.3.46 [315ce56f] SymbolicIntegration v3.4.0 [19f23fe9] SymbolicLimits v1.1.0 [d1185830] SymbolicUtils v4.18.5 [0c5d862f] Symbolics v7.15.3 [ed4db957] TaskLocalValues v0.1.3 [8ea1fca8] TermInterface v2.0.0 [d30d5f5c] WeakCacheSets v0.1.0 [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.30+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ========Test results of ================================================= _____ _ _ _ ,______. / ___| | | | (_) by / Mattia \ \ `--. _ _ _ __ ___ | |__ ___ | |_ ___ (Micheletta) `--. \ | | | '_ ` _ \| '_ \ / _ \| | |/ __| \ Merlin / /\__/ / |_| | | | | | | |_) | (_) | | | (__ '‾‾‾‾‾‾° \____/ \__, |_| |_| |_|____/ \___/|_|_|\___| __/ | _____ _ _ _ _ _ |___/ |_ _| | | | | (_) (_) | | | _ __ | |_ ___ __ _ _ __ __ _| |_ _ ___ _ __ _| | | || '_ \| __/ _ \/ _` | '__/ _` | __| |/ _ \| '_ \ | | | _| || | | | || __/ (_| | | | (_| | |_| | (_) | | | |_| | | \___/_| |_|\__\___|\__, |_| \__,_|\__|_|\___/|_| |_(_) |_| __/ | _/ | |___/ |__/ Date: 2026-02-26 22:59:55 Package Version: nothing Julia Version: 1.14.0-DEV.1786 Computer: SymbolicIntegration-against-vDn5qgLS OS: Linux x86_64 CPU Threads: 1 Memory: 32.0 GB About to test SymbolicIntegration.jl with 2 test sets ========================================================================== Testing from file: test_files/easy.jl Loading tests from test_files/easy.jl... Testing 3 integrals... [ ok ]∫( 2x )dx = x^2 (0.9534s) [ ok ]∫( 2x )dx = x^2 (0.0008s) [ ok ]∫( 1 / (1 + x^2) )dx = atan(x) (3.1569s) [ ok ]∫( 1 / (1 + x^2) )dx = atan(x) (0.0014s) [ ok ]∫( sin(x) )dx = -cos(x) (0.0549s) [ fail ]∫( sin(x) )dx = -cos(x) but got: ∫(sin(x), x) (1.6052s) RuleBasedMethod: 3 tests succeeded, 0 failed, 0 maybe failed, 0 errored, out of 3 tests of test_files/easy.jl Total=4.165s, Avg=1.3884s, Min=0.0549s, Max=3.1569s RischMethod: 2 tests succeeded, 1 failed, 0 maybe failed, 0 errored, out of 3 tests of test_files/easy.jl Total=1.607s, Avg=0.5358s, Min=0.0008s, Max=1.6052s Testing from file: test_files/0 Independent test suites/Apostol Problems.jl Loading tests from test_files/0 Independent test suites/Apostol Problems.jl... Testing 174 integrals... [ ok ]∫( sqrt(1 + 2x) )dx = (1//3)*((1 + 2x)^(3//2)) (0.978s) [ fail ]∫( sqrt(1 + 2x) )dx = (1//3)*((1 + 2x)^(3//2)) but got: ∫(sqrt(1 + 2x), x) (0.0003s) [ ok ]∫( x*sqrt(1 + 3x) )dx = -(2//27)*((1 + 3x)^(3//2)) + (2//45)*((1 + 3x)^(5//2)) (13.5808s) [ fail ]∫( x*sqrt(1 + 3x) )dx = -(2//27)*((1 + 3x)^(3//2)) + (2//45)*((1 + 3x)^(5//2)) but got: ∫(x*sqrt(1 + 3x), x) (0.0003s) [ fail?]∫( (x^2)*sqrt(1 + x) )dx = (2//3)*((1 + x)^(3//2)) - (4//5)*((1 + x)^(5//2)) + (2//7)*((1 + x)^(7//2)) but got: -(4//7)*(-(2//3)*((1 + x)^(3//2)) + ((1 + x)^(5//2)) / (5//2)) + (2//7)*((1 + x)^(3//2))*(x^2) (1.6937s) [ fail ]∫( (x^2)*sqrt(1 + x) )dx = (2//3)*((1 + x)^(3//2)) - (4//5)*((1 + x)^(5//2)) + (2//7)*((1 + x)^(7//2)) but got: ∫((x^2)*sqrt(1 + x), x) (0.0003s) [ ok ]∫( x / sqrt(2 - 3x) )dx = -(4//9)*sqrt(2 - 3x) + (2//27)*((2 - 3x)^(3//2)) (1.4135s) [ fail ]∫( x / sqrt(2 - 3x) )dx = -(4//9)*sqrt(2 - 3x) + (2//27)*((2 - 3x)^(3//2)) but got: ∫(x / sqrt(2 - 3x), x) (0.0003s) [ ok ]∫( (1 + x) / ((2 + 2x + x^2)^3) )dx = -1 / (4((2 + 2x + x^2)^2)) (0.1269s) [ ok ]∫( (1 + x) / ((2 + 2x + x^2)^3) )dx = -1 / (4((2 + 2x + x^2)^2)) (0.091s) [ ok ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 (3.3949s) [ fail ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 but got: ∫(sin(x)^3, x) (0.0019s) [ ok ]∫( ((-1 + z)^(1//3))*z )dz = (3//4)*((-1 + z)^(4//3)) + (3//7)*((-1 + z)^(7//3)) (0.5341s) [ fail ]∫( ((-1 + z)^(1//3))*z )dz = (3//4)*((-1 + z)^(4//3)) + (3//7)*((-1 + z)^(7//3)) but got: ∫(((-1 + z)^(1//3))*z, z) (0.0894s) [ fail?]∫( cos(x) / (sin(x)^3) )dx = (-1//2)*(csc(x)^2) but got: (cos(x)^2) / (-2(sin(x)^2)) (0.1694s) [ fail ]∫( cos(x) / (sin(x)^3) )dx = (-1//2)*(csc(x)^2) but got: ∫(cos(x) / (sin(x)^3), x) (0.0016s) [ ok ]∫( cos(2x)*sqrt(4 - sin(2x)) )dx = (-1//3)*((4 - sin(2x))^(3//2)) (0.4064s) [ fail ]∫( cos(2x)*sqrt(4 - sin(2x)) )dx = (-1//3)*((4 - sin(2x))^(3//2)) but got: ∫(cos(2x)*sqrt(4 - sin(2x)), x) (0.0003s) [ fail ]∫( sin(x) / ((3 + cos(x))^2) )dx = 1 / (3 + cos(x)) but got: ∫(sin(x) / (9 + 6cos(x) + cos(x)^2), x) (5.5652s) [ fail ]∫( sin(x) / ((3 + cos(x))^2) )dx = 1 / (3 + cos(x)) but got: ∫(sin(x) / ((3 + cos(x))^2), x) (0.0008s) [ fail ]∫( sin(x) / sqrt(cos(x)^3) )dx = (2cos(x)) / sqrt(cos(x)^3) but got: ∫(sin(x) / sqrt(cos(x)^3), x) (0.5024s) [ fail ]∫( sin(x) / sqrt(cos(x)^3) )dx = (2cos(x)) / sqrt(cos(x)^3) but got: ∫(sin(x) / sqrt(cos(x)^3), x) (0.0008s) [ ok ]∫( sin(sqrt(1 + x)) / sqrt(1 + x) )dx = -2cos(sqrt(1 + x)) (0.191s) [ fail ]∫( sin(sqrt(1 + x)) / sqrt(1 + x) )dx = -2cos(sqrt(1 + x)) but got: ∫(sin(sqrt(1 + x)) / sqrt(1 + x), x) (0.0019s) [ fail ]∫( sin(x^n)*(x^(-1 + n)) )dx = (-cos(x^n)) / n but got: ∫(sin(x^n)*(x^(-1 + n)), x) (1.5409s) [ fail ]∫( sin(x^n)*(x^(-1 + n)) )dx = (-cos(x^n)) / n but got: ∫(sin(x^n)*(x^(-1 + n)), x) (0.0013s) [ ok ]∫( (x^5) / sqrt(1 - (x^6)) )dx = (-1//3)*sqrt(1 - (x^6)) (0.0681s) [ fail ]∫( (x^5) / sqrt(1 - (x^6)) )dx = (-1//3)*sqrt(1 - (x^6)) but got: ∫((x^5) / sqrt(1 - (x^6)), x) (0.0003s) [ ok ]∫( ((1 + t)^(1//4))*t )dt = -(4//5)*((1 + t)^(5//4)) + (4//9)*((1 + t)^(9//4)) (1.1111s) [ fail ]∫( ((1 + t)^(1//4))*t )dt = -(4//5)*((1 + t)^(5//4)) + (4//9)*((1 + t)^(9//4)) but got: ∫(((1 + t)^(1//4))*t, t) (0.0003s) [ ok ]∫( 1 / ((1 + x^2)^(3//2)) )dx = x / sqrt(1 + x^2) (0.1007s) [ fail ]∫( 1 / ((1 + x^2)^(3//2)) )dx = x / sqrt(1 + x^2) but got: ∫(1 / ((1 + x^2)^(3//2)), x) (0.0003s) [ ok ]∫( (x^2)*((27 + 8(x^3))^(2//3)) )dx = (1//40)*((27 + 8(x^3))^(5//3)) (0.3152s) [ fail ]∫( (x^2)*((27 + 8(x^3))^(2//3)) )dx = (1//40)*((27 + 8(x^3))^(5//3)) but got: ∫((x^2)*((27 + 8(x^3))^(2//3)), x) (0.0003s) [ ok ]∫( (cos(x) + sin(x)) / ((-cos(x) + sin(x))^(1//3)) )dx = (3//2)*((-cos(x) + sin(x))^(2//3)) (1.1144s) [ fail ]∫( (cos(x) + sin(x)) / ((-cos(x) + sin(x))^(1//3)) )dx = (3//2)*((-cos(x) + sin(x))^(2//3)) but got: ∫((cos(x) + sin(x)) / ((-cos(x) + sin(x))^(1//3)), x) (0.0031s) [ fail ]∫( x / sqrt(1 + x^2 + (1 + x^2)^(3//2)) )dx = (2sqrt((1 + x^2)*(1 + sqrt(1 + x^2)))) / sqrt(1 + x^2) but got: ∫(x / sqrt(1 + x^2 + (1 + x^2)^(3//2)), x) (0.0879s) [ fail ]∫( x / sqrt(1 + x^2 + (1 + x^2)^(3//2)) )dx = (2sqrt((1 + x^2)*(1 + sqrt(1 + x^2)))) / sqrt(1 + x^2) but got: ∫(x / sqrt(1 + x^2 + (1 + x^2)^(3//2)), x) (0.0003s) Error in ext_coeff: DomainError(1 / sqrt(1 + sqrt(1 + x^2)), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / sqrt(1 + sqrt(1 + x^2)), "coeff on fractions is not yet implemented.") [ fail ]∫( x / (sqrt(1 + x^2)*sqrt(1 + sqrt(1 + x^2))) )dx = 2sqrt(1 + sqrt(1 + x^2)) but got: ∫(x / (sqrt(1 + x^2)*sqrt(1 + sqrt(1 + x^2))), x) (11.2101s) [ fail ]∫( x / (sqrt(1 + x^2)*sqrt(1 + sqrt(1 + x^2))) )dx = 2sqrt(1 + sqrt(1 + x^2)) but got: ∫(x / (sqrt(1 + x^2)*sqrt(1 + sqrt(1 + x^2))), x) (0.0004s) [ ok ]∫( ((1 - 2x + x^2)^(1//5)) / (1 - x) )dx = (-5//2)*((1 - 2x + x^2)^(1//5)) (0.0847s) [ fail ]∫( ((1 - 2x + x^2)^(1//5)) / (1 - x) )dx = (-5//2)*((1 - 2x + x^2)^(1//5)) but got: ∫(((1 - 2x + x^2)^(1//5)) / (1 - x), x) (0.0003s) [ ok ]∫( x*sin(x) )dx = sin(x) - x*cos(x) (0.3188s) [ fail ]∫( x*sin(x) )dx = sin(x) - x*cos(x) but got: ∫(x*sin(x), x) (0.0007s) [ fail?]∫( (x^2)*sin(x) )dx = 2cos(x) + 2x*sin(x) - (x^2)*cos(x) but got: 2(-cos(x) + x*sin(x)) - (x^2)*cos(x) (0.6268s) [ fail ]∫( (x^2)*sin(x) )dx = 2cos(x) + 2x*sin(x) - (x^2)*cos(x) but got: ∫((x^2)*sin(x), x) (0.0008s) [ fail?]∫( (x^3)*cos(x) )dx = -6cos(x) - 6x*sin(x) + 3(x^2)*cos(x) + (x^3)*sin(x) but got: 3(2(-cos(x) + x*sin(x)) - (x^2)*cos(x)) + (x^3)*sin(x) (1.1269s) [ fail ]∫( (x^3)*cos(x) )dx = -6cos(x) - 6x*sin(x) + 3(x^2)*cos(x) + (x^3)*sin(x) but got: ∫((x^3)*cos(x), x) (0.001s) [ fail?]∫( (x^3)*sin(x) )dx = -6sin(x) + 6x*cos(x) + 3(x^2)*sin(x) - (x^3)*cos(x) but got: 3(2(sin(x) - x*cos(x)) + (x^2)*sin(x)) - (x^3)*cos(x) (0.9861s) [ fail ]∫( (x^3)*sin(x) )dx = -6sin(x) + 6x*cos(x) + 3(x^2)*sin(x) - (x^3)*cos(x) but got: ∫((x^3)*sin(x), x) (0.0007s) [ ok ]∫( cos(x)*sin(x) )dx = (sin(x)^2) / 2 (0.3366s) [ fail ]∫( cos(x)*sin(x) )dx = (sin(x)^2) / 2 but got: ∫(cos(x)*sin(x), x) (0.0008s) [ ok ]∫( x*cos(x)*sin(x) )dx = -(1//4)*x + (1//4)*cos(x)*sin(x) + (1//2)*x*(sin(x)^2) (1.5196s) [ fail ]∫( x*cos(x)*sin(x) )dx = -(1//4)*x + (1//4)*cos(x)*sin(x) + (1//2)*x*(sin(x)^2) but got: ∫(x*cos(x)*sin(x), x) (0.0008s) [ ok ]∫( sin(x)^2 )dx = x / 2 - (1//2)*cos(x)*sin(x) (0.0169s) [ fail ]∫( sin(x)^2 )dx = x / 2 - (1//2)*cos(x)*sin(x) but got: ∫(sin(x)^2, x) (0.0006s) [ ok ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 (0.7956s) [ fail ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 but got: ∫(sin(x)^3, x) (0.0006s) [ ok ]∫( sin(x)^4 )dx = (3//8)*x - (3//8)*cos(x)*sin(x) - (1//4)*cos(x)*(sin(x)^3) (0.029s) [ fail ]∫( sin(x)^4 )dx = (3//8)*x - (3//8)*cos(x)*sin(x) - (1//4)*cos(x)*(sin(x)^3) but got: ∫(sin(x)^4, x) (0.0006s) [ ok ]∫( sin(x)^5 )dx = -cos(x) + (2//3)*(cos(x)^3) - (1//5)*(cos(x)^5) (0.9035s) [ fail ]∫( sin(x)^5 )dx = -cos(x) + (2//3)*(cos(x)^3) - (1//5)*(cos(x)^5) but got: ∫(sin(x)^5, x) (0.0006s) [ ok ]∫( sin(x)^6 )dx = (5//16)*x - (5//16)*cos(x)*sin(x) - (5//24)*cos(x)*(sin(x)^3) - (1//6)*cos(x)*(sin(x)^5) (0.0458s) [ fail ]∫( sin(x)^6 )dx = (5//16)*x - (5//16)*cos(x)*sin(x) - (5//24)*cos(x)*(sin(x)^3) - (1//6)*cos(x)*(sin(x)^5) but got: ∫(sin(x)^6, x) (0.0006s) [ ok ]∫( x*(sin(x)^2) )dx = (x^2) / 4 + (sin(x)^2) / 4 - (1//2)*x*cos(x)*sin(x) (1.6473s) [ fail ]∫( x*(sin(x)^2) )dx = (x^2) / 4 + (sin(x)^2) / 4 - (1//2)*x*cos(x)*sin(x) but got: ∫(x*(sin(x)^2), x) (0.0007s) [ ok ]∫( x*(sin(x)^3) )dx = (2//3)*sin(x) - (2//3)*x*cos(x) + (sin(x)^3) / 9 - (1//3)*x*cos(x)*(sin(x)^2) (0.6584s) [ fail ]∫( x*(sin(x)^3) )dx = (2//3)*sin(x) - (2//3)*x*cos(x) + (sin(x)^3) / 9 - (1//3)*x*cos(x)*(sin(x)^2) but got: ∫(x*(sin(x)^3), x) (0.0008s) [ ok ]∫( (x^2)*(sin(x)^2) )dx = -(1//4)*x + (1//4)*cos(x)*sin(x) + (x^3) / 6 + (1//2)*x*(sin(x)^2) - (1//2)*(x^2)*cos(x)*sin(x) (0.3589s) [ fail ]∫( (x^2)*(sin(x)^2) )dx = -(1//4)*x + (1//4)*cos(x)*sin(x) + (x^3) / 6 + (1//2)*x*(sin(x)^2) - (1//2)*(x^2)*cos(x)*sin(x) but got: ∫((x^2)*(sin(x)^2), x) (0.0007s) [ fail ]∫( cos(x)^2 )dx = x / 2 + (1//2)*cos(x)*sin(x) but got: ∫(cos(x)^2, x) (1.1176s) [ fail ]∫( cos(x)^2 )dx = x / 2 + (1//2)*cos(x)*sin(x) but got: ∫(cos(x)^2, x) (0.0008s) [ fail ]∫( cos(x)^3 )dx = sin(x) - (1//3)*(sin(x)^3) but got: ∫(cos(x)^3, x) (0.0191s) [ fail ]∫( cos(x)^3 )dx = sin(x) - (1//3)*(sin(x)^3) but got: ∫(cos(x)^3, x) (0.0008s) [ fail ]∫( cos(x)^4 )dx = (3//8)*x + (3//8)*cos(x)*sin(x) + (1//4)*(cos(x)^3)*sin(x) but got: ∫(cos(x)^4, x) (0.0199s) [ fail ]∫( cos(x)^4 )dx = (3//8)*x + (3//8)*cos(x)*sin(x) + (1//4)*(cos(x)^3)*sin(x) but got: ∫(cos(x)^4, x) (0.0008s) [ ok ]∫( (a^2 - (x^2))^(5//2) )dx = (1//6)*((a^2 - (x^2))^(5//2))*x + (5//16)*(a^4)*x*sqrt(a^2 - (x^2)) + (5//24)*(a^2)*((a^2 - (x^2))^(3//2))*x + (5//16)*(a^6)*atan(x / sqrt(a^2 - (x^2))) (1.21s) [ fail ]∫( (a^2 - (x^2))^(5//2) )dx = (1//6)*((a^2 - (x^2))^(5//2))*x + (5//16)*(a^4)*x*sqrt(a^2 - (x^2)) + (5//24)*(a^2)*((a^2 - (x^2))^(3//2))*x + (5//16)*(a^6)*atan(x / sqrt(a^2 - (x^2))) but got: ∫((a^2 - (x^2))^(5//2), x) (0.0003s) [ ok ]∫( (x^5) / sqrt(5 + x^2) )dx = 25sqrt(5 + x^2) - (10//3)*((5 + x^2)^(3//2)) + (1//5)*((5 + x^2)^(5//2)) (0.7768s) [ fail ]∫( (x^5) / sqrt(5 + x^2) )dx = 25sqrt(5 + x^2) - (10//3)*((5 + x^2)^(3//2)) + (1//5)*((5 + x^2)^(5//2)) but got: ∫((x^5) / sqrt(5 + x^2), x) (0.0003s) [ fail?]∫( (t^3) / ((4 + t^3)^(1//2)) )dt = (-24.53298676439231(1.5874010519681994 + t)*sqrt((2.5198420997897464 - 1.5874010519681994t + t^2) / ((4.336860325965405 + t)^2))*Elliptic.F(asin((-1.1620582220290054 + t) / (4.336860325965405 + t)), -13.928203230275509)) / (6.580370064762462sqrt(4 + t^3)*sqrt((1.5874010519681994 + t) / ((4.336860325965405 + t)^2))) + (2//5)*t*sqrt(4 + t^3) but got: (-6.181925288250038(1 + 0.6299605249474366t)*sqrt((1 - 0.6299605249474366t + 0.3968502629920499(t^2)) / ((2.732050807568877 + 0.6299605249474366t)^2))*Elliptic.F(asin((-0.7320508075688772 + 0.6299605249474366t) / (2.732050807568877 + 0.6299605249474366t)), -13.928203230275509)) / (0.8290746760692316sqrt((1 + 0.6299605249474366t) / ((2.732050807568877 + 0.6299605249474366t)^2))*sqrt(4 + t^3)) + (2//5)*t*((4 + t^3)^(1//2)) (0.8126s) [ fail ]∫( (t^3) / ((4 + t^3)^(1//2)) )dt = (-24.53298676439231(1.5874010519681994 + t)*sqrt((2.5198420997897464 - 1.5874010519681994t + t^2) / ((4.336860325965405 + t)^2))*Elliptic.F(asin((-1.1620582220290054 + t) / (4.336860325965405 + t)), -13.928203230275509)) / (6.580370064762462sqrt(4 + t^3)*sqrt((1.5874010519681994 + t) / ((4.336860325965405 + t)^2))) + (2//5)*t*sqrt(4 + t^3) but got: ∫((t^3) / ((4 + t^3)^(1//2)), t) (0.0004s) [ ok ]∫( tan(x)^2 )dx = -x + tan(x) (0.073s) [ fail ]∫( tan(x)^2 )dx = -x + tan(x) but got: ∫(tan(x)^2, x) (0.0002s) [ ok ]∫( tan(x)^4 )dx = x - tan(x) + (tan(x)^3) / 3 (0.0322s) [ fail ]∫( tan(x)^4 )dx = x - tan(x) + (tan(x)^3) / 3 but got: ∫(tan(x)^4, x) (0.0002s) [ fail ]∫( cot(x)^2 )dx = -x - cot(x) but got: ∫(cot(x)^2, x) (0.0186s) [ fail ]∫( cot(x)^2 )dx = -x - cot(x) but got: ∫(cot(x)^2, x) (0.0014s) [ fail ]∫( cot(x)^4 )dx = x + cot(x) - (1//3)*(cot(x)^3) but got: ∫(cot(x)^4, x) (0.0167s) [ fail ]∫( cot(x)^4 )dx = x + cot(x) - (1//3)*(cot(x)^3) but got: ∫(cot(x)^4, x) (0.0004s) [ ok ]∫( (2 + 3x)*sin(5x) )dx = (3//25)*sin(5x) - (1//5)*(2 + 3x)*cos(5x) (0.3203s) [ fail ]∫( (2 + 3x)*sin(5x) )dx = (3//25)*sin(5x) - (1//5)*(2 + 3x)*cos(5x) but got: ∫((2 + 3x)*sin(5x), x) (0.0007s) [ ok ]∫( x*sqrt(1 + x^2) )dx = (1//3)*((1 + x^2)^(3//2)) (0.2839s) [ fail ]∫( x*sqrt(1 + x^2) )dx = (1//3)*((1 + x^2)^(3//2)) but got: ∫(x*sqrt(1 + x^2), x) (0.0002s) [ ok ]∫( x*((-1 + x^2)^9) )dx = (1//20)*((1 - (x^2))^10) (0.2911s) [ fail?]∫( x*((-1 + x^2)^9) )dx = (1//20)*((1 - (x^2))^10) but got: -(1//2)*(x^2) + (9//4)*(x^4) - 6(x^6) + (21//2)*(x^8) - (63//5)*(x^10) + (21//2)*(x^12) - 6(x^14) + (9//4)*(x^16) - (1//2)*(x^18) + (1//20)*(x^20) (0.0018s) [ ok ]∫( (3 + 2x) / ((7 + 6x)^3) )dx = (-((3 + 2x)^2)) / (8((7 + 6x)^2)) (0.0094s) [ fail?]∫( (3 + 2x) / ((7 + 6x)^3) )dx = (-((3 + 2x)^2)) / (8((7 + 6x)^2)) but got: (-(1//81) - (1//108)*x) / ((49//36) + (7//3)*x + x^2) (0.051s) [ ok ]∫( (x^4)*((1 + x^5)^5) )dx = (1//30)*((1 + x^5)^6) (0.3062s) [ fail?]∫( (x^4)*((1 + x^5)^5) )dx = (1//30)*((1 + x^5)^6) but got: (1//5)*(x^5) + (1//2)*(x^10) + (2//3)*(x^15) + (1//2)*(x^20) + (1//5)*(x^25) + (1//30)*(x^30) (0.0018s) [ ok ]∫( (x^4)*((1 - x)^20) )dx = -(1//21)*((1 - x)^21) + (2//11)*((1 - x)^22) - (6//23)*((1 - x)^23) + (1//6)*((1 - x)^24) - (1//25)*((1 - x)^25) (2.4054s) [ fail?]∫( (x^4)*((1 - x)^20) )dx = -(1//21)*((1 - x)^21) + (2//11)*((1 - x)^22) - (6//23)*((1 - x)^23) + (1//6)*((1 - x)^24) - (1//25)*((1 - x)^25) but got: (1//5)*(x^5) - (10//3)*(x^6) + (190//7)*(x^7) - (285//2)*(x^8) + (1615//3)*(x^9) - (7752//5)*(x^10) + (38760//11)*(x^11) - 6460(x^12) + 9690(x^13) - (83980//7)*(x^14) + (184756//15)*(x^15) - (20995//2)*(x^16) + 7410(x^17) - (12920//3)*(x^18) + 2040(x^19) - (3876//5)*(x^20) + (1615//7)*(x^21) - (570//11)*(x^22) + (190//23)*(x^23) - (5//6)*(x^24) + (1//25)*(x^25) (0.0022s) [ ok ]∫( sin(1 / x) / (x^2) )dx = cos(1 / x) (0.1554s) [ fail ]∫( sin(1 / x) / (x^2) )dx = cos(1 / x) but got: ∫(sin(1 / x) / (x^2), x) (0.0102s) [ fail?]∫( sin((-1 + x)^(1//4)) )dx = -24sin((-1 + x)^(1//4)) + 24((-1 + x)^(1//4))*cos((-1 + x)^(1//4)) - 4((-1 + x)^(3//4))*cos((-1 + x)^(1//4)) + 12sqrt(-1 + x)*sin((-1 + x)^(1//4)) but got: 4(3(2(sin((-1 + x)^(1//4)) - ((-1 + x)^(1//4))*cos((-1 + x)^(1//4))) + ((-1 + x)^(1//2))*sin((-1 + x)^(1//4))) - ((-1 + x)^(3//4))*cos((-1 + x)^(1//4))) (1.022s) [ fail ]∫( sin((-1 + x)^(1//4)) )dx = -24sin((-1 + x)^(1//4)) + 24((-1 + x)^(1//4))*cos((-1 + x)^(1//4)) - 4((-1 + x)^(3//4))*cos((-1 + x)^(1//4)) + 12sqrt(-1 + x)*sin((-1 + x)^(1//4)) but got: ∫(sin((-1 + x)^(1//4)), x) (0.0009s) [ ok ]∫( x*cos(x^2)*sin(x^2) )dx = (1//4)*(sin(x^2)^2) (0.3372s) [ fail ]∫( x*cos(x^2)*sin(x^2) )dx = (1//4)*(sin(x^2)^2) but got: ∫(x*cos(x^2)*sin(x^2), x) (0.0008s) [ fail ]∫( sin(2x)*sqrt(1 + 3(cos(x)^2)) )dx = (-2//9)*((4 - 3(sin(x)^2))^(3//2)) but got: ∫(sin(2x)*sqrt(1 + 3(cos(x)^2)), x) (0.4042s) [ fail ]∫( sin(2x)*sqrt(1 + 3(cos(x)^2)) )dx = (-2//9)*((4 - 3(sin(x)^2))^(3//2)) but got: ∫(sin(2x)*sqrt(1 + 3(cos(x)^2)), x) (0.0003s) [ ok ]∫( 1 / (2 + 3x) )dx = (1//3)*log(2 + 3x) (0.0051s) [ fail?]∫( 1 / (2 + 3x) )dx = (1//3)*log(2 + 3x) but got: (1//3)*log((2//3) + x) (0.0011s) [ ok ]∫( log(x)^2 )dx = 2x - 2x*log(x) + x*(log(x)^2) (0.0312s) [ fail ]∫( log(x)^2 )dx = 2x - 2x*log(x) + x*(log(x)^2) but got: ∫(log(x)^2, x) (0.0003s) [ ok ]∫( x*log(x) )dx = -(1//4)*(x^2) + (1//2)*(x^2)*log(x) (0.3832s) [ fail ]∫( x*log(x) )dx = -(1//4)*(x^2) + (1//2)*(x^2)*log(x) but got: ∫(x*log(x), x) (0.0003s) [ ok ]∫( x*(log(x)^2) )dx = (x^2) / 4 - (1//2)*(x^2)*log(x) + (1//2)*(x^2)*(log(x)^2) (0.6502s) [ fail ]∫( x*(log(x)^2) )dx = (x^2) / 4 - (1//2)*(x^2)*log(x) + (1//2)*(x^2)*(log(x)^2) but got: ∫(x*(log(x)^2), x) (0.0003s) [ ok ]∫( 1 / (1 + t) )dt = log(1 + t) (0.0034s) [ ok ]∫( 1 / (1 + t) )dt = log(1 + t) (0.0007s) [ fail ]∫( cot(x) )dx = log(sin(x)) but got: ∫(cot(x), x) (0.0119s) [ fail ]∫( cot(x) )dx = log(sin(x)) but got: ∫(cot(x), x) (0.0005s) [ ok ]∫( log(a*x)*(x^n) )dx = (-(x^(1 + n))) / ((1 + n)^2) + (log(a*x)*(x^(1 + n))) / (1 + n) (0.7194s) [ fail ]∫( log(a*x)*(x^n) )dx = (-(x^(1 + n))) / ((1 + n)^2) + (log(a*x)*(x^(1 + n))) / (1 + n) but got: ∫(log(a*x)*(x^n), x) (0.0003s) [ ok ]∫( (x^2)*(log(x)^2) )dx = (2//27)*(x^3) - (2//9)*(x^3)*log(x) + (1//3)*(x^3)*(log(x)^2) (0.6585s) [ fail ]∫( (x^2)*(log(x)^2) )dx = (2//27)*(x^3) - (2//9)*(x^3)*log(x) + (1//3)*(x^3)*(log(x)^2) but got: ∫((x^2)*(log(x)^2), x) (0.0003s) [ ok ]∫( 1 / (x*log(x)) )dx = log(log(x)) (0.1578s) [ fail ]∫( 1 / (x*log(x)) )dx = log(log(x)) but got: ∫(1 / (x*log(x)), x) (0.0003s) [ ok ]∫( log(1 - t) / (1 - t) )dt = (-1//2)*(log(1 - t)^2) (0.1358s) [ fail ]∫( log(1 - t) / (1 - t) )dt = (-1//2)*(log(1 - t)^2) but got: ∫(log(1 - t) / (1 - t), t) (0.0003s) Error in ext_coeff: DomainError(1 / sqrt(1 + log(x)), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / sqrt(1 + log(x)), "coeff on fractions is not yet implemented.") [ fail ]∫( log(x) / (x*sqrt(1 + log(x))) )dx = -2sqrt(1 + log(x)) + (2//3)*((1 + log(x))^(3//2)) but got: -∫(∫(1 / (x*sqrt(1 + log(x))), x) / x, x) + (2//1)*((1 + log(x))^(1//2))*log(x) (1.7744s) [ fail ]∫( log(x) / (x*sqrt(1 + log(x))) )dx = -2sqrt(1 + log(x)) + (2//3)*((1 + log(x))^(3//2)) but got: ∫(log(x) / (x*sqrt(1 + log(x))), x) (0.0003s) [ ok ]∫( (x^3)*(log(x)^3) )dx = -(3//128)*(x^4) + (3//32)*(x^4)*log(x) - (3//16)*(x^4)*(log(x)^2) + (1//4)*(x^4)*(log(x)^3) (1.1625s) [ fail ]∫( (x^3)*(log(x)^3) )dx = -(3//128)*(x^4) + (3//32)*(x^4)*log(x) - (3//16)*(x^4)*(log(x)^2) + (1//4)*(x^4)*(log(x)^3) but got: ∫((x^3)*(log(x)^3), x) (0.0003s) [ ok ]∫( (x^2)*exp(x^3) )dx = exp(x^3) / 3 (0.4679s) [ fail ]∫( (x^2)*exp(x^3) )dx = exp(x^3) / 3 but got: ∫((x^2)*exp(x^3), x) (0.0003s) [ fail?]∫( (2^sqrt(x)) / sqrt(x) )dx = (2^(1 + sqrt(x))) / 0.6931471805599453 but got: (2^(x^(1//2))) / 0.34657359027997264 (0.332s) [ fail ]∫( (2^sqrt(x)) / sqrt(x) )dx = (2^(1 + sqrt(x))) / 0.6931471805599453 but got: ∫((2^sqrt(x)) / sqrt(x), x) (0.0601s) [ fail ]∫( cos(x)*exp(2sin(x)) )dx = (1//2)*exp(2sin(x)) but got: ∫(cos(x)*exp(2sin(x)), x) (0.2831s) [ fail ]∫( cos(x)*exp(2sin(x)) )dx = (1//2)*exp(2sin(x)) but got: ∫(cos(x)*exp(2sin(x)), x) (0.001s) [ ok ]∫( sin(x)*exp(x) )dx = -(1//2)*cos(x)*exp(x) + (1//2)*sin(x)*exp(x) (0.3983s) [ fail ]∫( sin(x)*exp(x) )dx = -(1//2)*cos(x)*exp(x) + (1//2)*sin(x)*exp(x) but got: ∫(sin(x)*exp(x), x) (0.0003s) [ ok ]∫( cos(x)*exp(x) )dx = (1//2)*cos(x)*exp(x) + (1//2)*sin(x)*exp(x) (0.3551s) [ fail ]∫( cos(x)*exp(x) )dx = (1//2)*cos(x)*exp(x) + (1//2)*sin(x)*exp(x) but got: ∫(cos(x)*exp(x), x) (0.0011s) [ fail ]∫( 1 / (1 + exp(x)) )dx = x - log(1 + exp(x)) but got: ∫(1 / (1 + exp(x)), x) (0.1049s) [ fail ]∫( 1 / (1 + exp(x)) )dx = x - log(1 + exp(x)) but got: ∫(1 / (1 + exp(x)), x) (0.0003s) [ ok ]∫( x*exp(x) )dx = -exp(x) + x*exp(x) (0.338s) [ fail ]∫( x*exp(x) )dx = -exp(x) + x*exp(x) but got: ∫(x*exp(x), x) (0.0003s) [ fail?]∫( x*exp(-x) )dx = -exp(-x) + (-x) / exp(x) but got: -(ℯ^(-x)) - x*(ℯ^(-x)) (0.67s) [ fail ]∫( x*exp(-x) )dx = -exp(-x) + (-x) / exp(x) but got: ∫(x*exp(-x), x) (0.0004s) [ ok ]∫( (x^2)*exp(x) )dx = 2exp(x) - 2x*exp(x) + (x^2)*exp(x) (0.665s) [ fail ]∫( (x^2)*exp(x) )dx = 2exp(x) - 2x*exp(x) + (x^2)*exp(x) but got: ∫((x^2)*exp(x), x) (0.0003s) [ fail?]∫( (x^2)*exp(-2x) )dx = ((-1//2)*x) / exp(2x) + ((-1//2)*(x^2)) / exp(2x) + (-1//4) / exp(2x) but got: -(1//4)*(ℯ^(-2x)) - (1//2)*x*(ℯ^(-2x)) - (1//2)*(x^2)*(ℯ^(-2x)) (0.6421s) [ fail ]∫( (x^2)*exp(-2x) )dx = ((-1//2)*x) / exp(2x) + ((-1//2)*(x^2)) / exp(2x) + (-1//4) / exp(2x) but got: ∫((x^2)*exp(-2x), x) (0.0004s) [ ok ]∫( exp(sqrt(x)) )dx = -2exp(sqrt(x)) + 2exp(sqrt(x))*sqrt(x) (0.359s) [ fail ]∫( exp(sqrt(x)) )dx = -2exp(sqrt(x)) + 2exp(sqrt(x))*sqrt(x) but got: ∫(exp(sqrt(x)), x) (0.0003s) [ fail?]∫( (x^3)*exp(-(x^2)) )dx = ((-1//2)*(x^2)) / exp(x^2) + -1 / (2exp(x^2)) but got: (ℯ^(-(x^2))) / -2 - (1//2)*(x^2)*(ℯ^(-(x^2))) (0.7311s) [ fail ]∫( (x^3)*exp(-(x^2)) )dx = ((-1//2)*(x^2)) / exp(x^2) + -1 / (2exp(x^2)) but got: ∫((x^3)*exp(-(x^2)), x) (0.0004s) [ ok ]∫( exp(a*x)*cos(b*x) )dx = (a*exp(a*x)*cos(b*x)) / (a^2 + b^2) + (b*exp(a*x)*sin(b*x)) / (a^2 + b^2) (2.7776s) [ fail ]∫( exp(a*x)*cos(b*x) )dx = (a*exp(a*x)*cos(b*x)) / (a^2 + b^2) + (b*exp(a*x)*sin(b*x)) / (a^2 + b^2) but got: ∫(exp(a*x)*cos(b*x), x) (0.0009s) [ ok ]∫( exp(a*x)*sin(b*x) )dx = (a*exp(a*x)*sin(b*x)) / (a^2 + b^2) + (-b*exp(a*x)*cos(b*x)) / (a^2 + b^2) (0.3083s) [ fail ]∫( exp(a*x)*sin(b*x) )dx = (a*exp(a*x)*sin(b*x)) / (a^2 + b^2) + (-b*exp(a*x)*cos(b*x)) / (a^2 + b^2) but got: ∫(exp(a*x)*sin(b*x), x) (0.0003s) [ ok ]∫( acot(x) )dx = (1//2)*log(1 + x^2) + x*acot(x) (0.0667s) [ fail ]∫( acot(x) )dx = (1//2)*log(1 + x^2) + x*acot(x) but got: ∫(acot(x), x) (0.0002s) [ fail ]∫( asec(x) )dx = -atanh(sqrt(1 + -1 / (x^2))) + x*asec(x) but got: ∫(asec(x), x) (0.0093s) [ fail ]∫( asec(x) )dx = -atanh(sqrt(1 + -1 / (x^2))) + x*asec(x) but got: ∫(asec(x), x) (0.0002s) [ fail ]∫( acsc(x) )dx = atanh(sqrt(1 + -1 / (x^2))) + x*acsc(x) but got: ∫(acsc(x), x) (0.0103s) [ fail ]∫( acsc(x) )dx = atanh(sqrt(1 + -1 / (x^2))) + x*acsc(x) but got: ∫(acsc(x), x) (0.0002s) [ fail ]∫( asin(x)^2 )dx = -2x + 2asin(x)*sqrt(1 - (x^2)) + x*(asin(x)^2) but got: -2∫((x*asin(x)) / sqrt(1 - (x^2)), x) + x*(asin(x)^2) (0.1137s) [ fail ]∫( asin(x)^2 )dx = -2x + 2asin(x)*sqrt(1 - (x^2)) + x*(asin(x)^2) but got: ∫(asin(x)^2, x) (0.0002s) [ ok ]∫( asin(x) / (x^2) )dx = (-asin(x)) / x - atanh(sqrt(1 - (x^2))) (0.1393s) [ fail ]∫( asin(x) / (x^2) )dx = (-asin(x)) / x - atanh(sqrt(1 - (x^2))) but got: ∫(asin(x) / (x^2), x) (0.0002s) [ ok ]∫( 1 / sqrt(a^2 - (x^2)) )dx = atan(x / sqrt(a^2 - (x^2))) (0.017s) [ fail ]∫( 1 / sqrt(a^2 - (x^2)) )dx = atan(x / sqrt(a^2 - (x^2))) but got: ∫(1 / sqrt(a^2 - (x^2)), x) (0.0002s) [ fail?]∫( 1 / sqrt(1 - 2x - (x^2)) )dx = asin((1 + x) / 1.4142135623730951) but got: -0.9999999999999999asin(0.3535533905932738(-2 - 2x)) (0.1336s) [ fail ]∫( 1 / sqrt(1 - 2x - (x^2)) )dx = asin((1 + x) / 1.4142135623730951) but got: ∫(1 / sqrt(1 - 2x - (x^2)), x) (0.0002s) [ fail?]∫( 1 / (a^2 + x^2) )dx = atan(x / a) / a but got: atan(x / sqrt(a^2)) / sqrt(a^2) (0.1396s) [ fail ]∫( 1 / (a^2 + x^2) )dx = atan(x / a) / a but got: ∫(1 / (a^2 + x^2), x) (0.0003s) [ fail?]∫( 1 / (a + b*(x^2)) )dx = atan((x*sqrt(b)) / sqrt(a)) / (sqrt(a)*sqrt(b)) but got: (atan(x / sqrt(a / b))*sqrt(a / b)) / a (0.1962s) [ fail ]∫( 1 / (a + b*(x^2)) )dx = atan((x*sqrt(b)) / sqrt(a)) / (sqrt(a)*sqrt(b)) but got: ∫(1 / (a + b*(x^2)), x) (0.0003s) [ fail?]∫( 1 / (2 - x + x^2) )dx = -0.7559289460184544atan((1 - 2x) / 2.6457513110645907) but got: 0.7559289460184544atan((-1 + 2x) / 2.6457513110645907) (0.0545s) [ fail?]∫( 1 / (2 - x + x^2) )dx = -0.7559289460184544atan((1 - 2x) / 2.6457513110645907) but got: 0.7559289460184544544290330724683601216315026237378429086766669883431625209229337atan(-0.3779644730092272272145165362341800608157513118689214543383334941715812604614669 + 0.7559289460184544544290330724683601216315026237378429086766669883431625209229337x) (0.002s) [ ok ]∫( x*atan(x) )dx = -(1//2)*x + atan(x) / 2 + (1//2)*(x^2)*atan(x) (0.5544s) [ fail ]∫( x*atan(x) )dx = -(1//2)*x + atan(x) / 2 + (1//2)*(x^2)*atan(x) but got: ∫(x*atan(x), x) (0.0003s) [ ok ]∫( (x^2)*acos(x) )dx = -(1//3)*sqrt(1 - (x^2)) + (1//9)*((1 - (x^2))^(3//2)) + (1//3)*(x^3)*acos(x) (1.1349s) [ fail ]∫( (x^2)*acos(x) )dx = -(1//3)*sqrt(1 - (x^2)) + (1//9)*((1 - (x^2))^(3//2)) + (1//3)*(x^3)*acos(x) but got: ∫((x^2)*acos(x), x) (0.0004s) [ fail ]∫( x*(atan(x)^2) )dx = (1//2)*log(1 + x^2) - x*atan(x) + (atan(x)^2) / 2 + (1//2)*(x^2)*(atan(x)^2) but got: -∫(((x^2)*atan(x)) / (1 + x^2), x) + (1//2)*(x^2)*(atan(x)^2) (0.7311s) [ fail ]∫( x*(atan(x)^2) )dx = (1//2)*log(1 + x^2) - x*atan(x) + (atan(x)^2) / 2 + (1//2)*(x^2)*(atan(x)^2) but got: ∫(x*(atan(x)^2), x) (0.0003s) [except] exception during ∫( atan(sqrt(x)) )dx : MethodError(convert, (Symbol, :(b::P_gt_0)), 0x0000000000009c95) [ fail ]∫( atan(sqrt(x)) )dx = atan(sqrt(x)) - sqrt(x) + x*atan(sqrt(x)) but got: ∫(atan(sqrt(x)), x) (0.0003s) Error in ext_coeff: DomainError(1 / (1 + x), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / (1 + x), "coeff on fractions is not yet implemented.") [ fail ]∫( atan(sqrt(x)) / ((1 + x)*sqrt(x)) )dx = atan(sqrt(x))^2 but got: ∫(atan(sqrt(x)) / (sqrt(x) + x*sqrt(x)), x) (1.2854s) [ fail ]∫( atan(sqrt(x)) / ((1 + x)*sqrt(x)) )dx = atan(sqrt(x))^2 but got: ∫(atan(sqrt(x)) / ((1 + x)*sqrt(x)), x) (0.0004s) [ ok ]∫( sqrt(1 - (x^2)) )dx = asin(x) / 2 + (1//2)*x*sqrt(1 - (x^2)) (0.0227s) [ fail ]∫( sqrt(1 - (x^2)) )dx = asin(x) / 2 + (1//2)*x*sqrt(1 - (x^2)) but got: ∫(sqrt(1 - (x^2)), x) (0.0002s) [ fail ]∫( (x*exp(atan(x))) / ((1 + x^2)^(3//2)) )dx = (-(1 - x)*exp(atan(x))) / (2sqrt(1 + x^2)) but got: ∫((x*exp(atan(x))) / ((1 + x^2)^(3//2)), x) (0.5252s) [ fail ]∫( (x*exp(atan(x))) / ((1 + x^2)^(3//2)) )dx = (-(1 - x)*exp(atan(x))) / (2sqrt(1 + x^2)) but got: ∫((x*exp(atan(x))) / ((1 + x^2)^(3//2)), x) (0.0004s) [ fail ]∫( exp(atan(x)) / ((1 + x^2)^(3//2)) )dx = ((1 + x)*exp(atan(x))) / (2sqrt(1 + x^2)) but got: ∫(exp(atan(x)) / ((1 + x^2)^(3//2)), x) (1.0714s) [ fail ]∫( exp(atan(x)) / ((1 + x^2)^(3//2)) )dx = ((1 + x)*exp(atan(x))) / (2sqrt(1 + x^2)) but got: ∫(exp(atan(x)) / ((1 + x^2)^(3//2)), x) (0.0003s) [ ok ]∫( (x^2) / ((1 + x^2)^2) )dx = (-x) / (2(1 + x^2)) + atan(x) / 2 (0.0583s) [ ok ]∫( (x^2) / ((1 + x^2)^2) )dx = (-x) / (2(1 + x^2)) + atan(x) / 2 (0.0016s) [ ok ]∫( exp(x) / (1 + exp(2x)) )dx = atan(exp(x)) (0.4867s) [ fail ]∫( exp(x) / (1 + exp(2x)) )dx = atan(exp(x)) but got: ∫(exp(x) / (1 + exp(2x)), x) (0.0002s) [ fail ]∫( acot(exp(x)) / exp(x) )dx = -x + (-acot(exp(x))) / exp(x) + (1//2)*log(1 + exp(2x)) but got: ∫(acot(exp(x)) / exp(x), x) (0.0758s) [ fail ]∫( acot(exp(x)) / exp(x) )dx = -x + (-acot(exp(x))) / exp(x) + (1//2)*log(1 + exp(2x)) but got: ∫(acot(exp(x)) / exp(x), x) (0.0003s) [ fail ]∫( ((a + x) / (a - x))^(1//2) )dx = 2a*atan(sqrt((a + x) / (a - x))) - (a - x)*sqrt((a + x) / (a - x)) but got: ∫(sqrt((a + x) / (a - x)), x) (0.2944s) [ fail ]∫( ((a + x) / (a - x))^(1//2) )dx = 2a*atan(sqrt((a + x) / (a - x))) - (a - x)*sqrt((a + x) / (a - x)) but got: ∫(((a + x) / (a - x))^(1//2), x) (0.0003s) [ fail ]∫( sqrt((-a + x)*(b - x)) )dx = -(1//4)*(a + b - 2x)*sqrt(-a*b + (a + b)*x - (x^2)) - (1//8)*((a - b)^2)*atan((a + b - 2x) / (2sqrt(-a*b + (a + b)*x - (x^2)))) but got: -(1//4)*((-a*b + (a + b)*x - (x^2))^(1//2))*(a + b - 2x) + (1//8)*((a + b)^2 - 4a*b)*∫(1 / ((-a*b + (a + b)*x - (x^2))^(1//2)), x) (0.1136s) [ fail ]∫( sqrt((-a + x)*(b - x)) )dx = -(1//4)*(a + b - 2x)*sqrt(-a*b + (a + b)*x - (x^2)) - (1//8)*((a - b)^2)*atan((a + b - 2x) / (2sqrt(-a*b + (a + b)*x - (x^2)))) but got: ∫(sqrt((-a + x)*(b - x)), x) (0.0002s) [ ok ]∫( 1 / sqrt((-a + x)*(b - x)) )dx = -atan((a + b - 2x) / (2sqrt(-a*b + (a + b)*x - (x^2)))) (0.1262s) [ fail ]∫( 1 / sqrt((-a + x)*(b - x)) )dx = -atan((a + b - 2x) / (2sqrt(-a*b + (a + b)*x - (x^2)))) but got: ∫(1 / sqrt((-a + x)*(b - x)), x) (0.0003s) [ fail?]∫( (3 + 5x) / (-3 + 2x + x^2) )dx = 3log(3 + x) + 2log(1 - x) but got: 2.0log(-1.0 + x) + 3.0log(3.0 + x) (0.2058s) [ ok ]∫( (3 + 5x) / (-3 + 2x + x^2) )dx = 3log(3 + x) + 2log(1 - x) (0.0009s) [ fail?]∫( (5 + 2x) / (-3 + 2x + x^2) )dx = (1//4)*log(3 + x) + (7//4)*log(1 - x) but got: 1.75log(-1.0 + x) + 0.25log(3.0 + x) (0.0283s) [ ok ]∫( (5 + 2x) / (-3 + 2x + x^2) )dx = (1//4)*log(3 + x) + (7//4)*log(1 - x) (0.001s) [ fail ]∫( (3x + x^3) / (-3 - 2x + x^2) )dx = 2x + log(1 + x) + 9log(3 - x) + (x^2) / 2 but got: ∫((3x + x^3) / (-3 - 2x + x^2), x) (0.3961s) [ ok ]∫( (3x + x^3) / (-3 - 2x + x^2) )dx = 2x + log(1 + x) + 9log(3 - x) + (x^2) / 2 (0.0012s) [ fail ]∫( (-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3) )dx = -(1//2)*log(2 + x) + log(x) / 2 + 2log(1 - x) but got: ∫((-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3), x) (5.5523s) [ ok ]∫( (-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3) )dx = -(1//2)*log(2 + x) + log(x) / 2 + 2log(1 - x) (0.0015s) [ fail ]∫( (3 + 2x + x^2) / ((-1 + x)*((1 + x)^2)) )dx = -(1//2)*log(1 + x) + (3//2)*log(1 - x) + 1 / (1 + x) but got: ∫((3 + 2x + x^2) / (-1 - x + x^2 + x^3), x) (0.3122s) [ ok ]∫( (3 + 2x + x^2) / ((-1 + x)*((1 + x)^2)) )dx = -(1//2)*log(1 + x) + (3//2)*log(1 - x) + 1 / (1 + x) (0.0012s) [ fail?]∫( (-2 + 2x + 3(x^2)) / (-1 + x^3) )dx = 2.3094010767585034atan((1 + 2x) / 1.7320508075688772) + log(1 - (x^3)) but got: log(-1 + x^3) + 2.3094010767585034atan((4 + 8x) / 6.928203230275509) (0.8027s) [ fail?]∫( (-2 + 2x + 3(x^2)) / (-1 + x^3) )dx = 2.3094010767585034atan((1 + 2x) / 1.7320508075688772) + log(1 - (x^3)) but got: log(1 + x + x^2) + 2.30940107675850305803659512200782982259040700508050750407440930593591068921173atan(0.5773502691896257645091487805019574556476017512701268760186023264839776723029325 + 1.154700538379251529018297561003914911295203502540253752037204652967955344605865x) + log(1 - x) (0.0024s) Error in ext_coeff: DomainError(1 / (-1 + x), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / (-1 + x), "coeff on fractions is not yet implemented.") [ fail ]∫( (2 - x + 2(x^2) - (x^3) + x^4) / ((-1 + x)*((2 + x^2)^2)) )dx = (1//3)*log(2 + x^2) - 0.2357022603955158atan(x / 1.4142135623730951) + (1//3)*log(1 - x) + 1 / (2(2 + x^2)) but got: ∫((2 - x + 2(x^2) - (x^3) + x^4) / (-4 - 4(x^2) + 4(x + x^3) - (x^4) + x^5), x) (0.5384s) [except] exception during ∫( (2 - x + 2(x^2) - (x^3) + x^4) / ((-1 + x)*((2 + x^2)^2)) )dx : MethodError(MultivariatePolynomials.Term{T, DynamicPolynomials.Monomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.Reverse{MultivariatePolynomials.InverseLexOrder}}}} where T, (MultivariatePolynomials.Term{T, DynamicPolynomials.Monomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.Reverse{MultivariatePolynomials.InverseLexOrder}}}} where T[1.8856180831641264905584876032662577927112579345703125, 1.8856180831641264905584876032662577927112579345703125x_16809508291159760473, 0.4714045207910316x_16809508291159760473²],), 0x0000000000009c95) [ ok ]∫( 1 / (cos(x) + sin(x)) )dx = -0.7071067811865475atanh((cos(x) - sin(x)) / 1.4142135623730951) (0.0782s) [ fail ]∫( 1 / (cos(x) + sin(x)) )dx = -0.7071067811865475atanh((cos(x) - sin(x)) / 1.4142135623730951) but got: ∫(1 / (cos(x) + sin(x)), x) (0.0137s) [ fail ]∫( x / (4 + sqrt(4 - (x^2)) - (x^2)) )dx = -log(1 + sqrt(4 - (x^2))) but got: ∫(x / (4 + sqrt(4 - (x^2)) - (x^2)), x) (0.0789s) [ fail ]∫( x / (4 + sqrt(4 - (x^2)) - (x^2)) )dx = -log(1 + sqrt(4 - (x^2))) but got: ∫(x / (4 + sqrt(4 - (x^2)) - (x^2)), x) (0.0022s) [ fail?]∫( (3 + 2x) / ((-2 + x)*(5 + x)) )dx = log(5 + x) + log(2 - x) but got: log(-10 + 3x + x^2) (0.1249s) [ fail?]∫( (3 + 2x) / ((-2 + x)*(5 + x)) )dx = log(5 + x) + log(2 - x) but got: log(10 - 3x - (x^2)) (0.0011s) [ fail ]∫( x / ((1 + x)*(2 + x)*(3 + x)) )dx = -(1//2)*log(1 + x) + 2log(2 + x) - (3//2)*log(3 + x) but got: ∫(x / (6 + 11x + 6(x^2) + x^3), x) (1.3012s) [ ok ]∫( x / ((1 + x)*(2 + x)*(3 + x)) )dx = -(1//2)*log(1 + x) + 2log(2 + x) - (3//2)*log(3 + x) (0.0012s) [ fail ]∫( x / (2 - 3x + x^3) )dx = -(2//9)*log(2 + x) + (2//9)*log(1 - x) + 1 / (3(1 - x)) but got: ∫(x / (2 - 3x + x^3), x) (0.0556s) [ ok ]∫( x / (2 - 3x + x^3) )dx = -(2//9)*log(2 + x) + (2//9)*log(1 - x) + 1 / (3(1 - x)) (0.0009s) [ fail ]∫( (-6 + 2x + x^4) / (-2x + x^2 + x^3) )dx = -x + log(2 + x) + 3log(x) - log(1 - x) + (x^2) / 2 but got: ∫((-6 + 2x + x^4) / (-2x + x^2 + x^3), x) (0.0829s) [ ok ]∫( (-6 + 2x + x^4) / (-2x + x^2 + x^3) )dx = -x + log(2 + x) + 3log(x) - log(1 - x) + (x^2) / 2 (0.0014s) [ fail ]∫( (7 + 8(x^3)) / ((1 + x)*((1 + 2x)^3)) )dx = log(1 + x) + 3 / (1 + 2x) + -3 / ((1 + 2x)^2) but got: ∫((7 + 8(x^3)) / (1 + 7x + 18(x^2) + 20(x^3) + 8(x^4)), x) (0.2454s) [ ok ]∫( (7 + 8(x^3)) / ((1 + x)*((1 + 2x)^3)) )dx = log(1 + x) + 3 / (1 + 2x) + -3 / ((1 + 2x)^2) (0.0013s) [ fail?]∫( (1 + x + 4(x^2)) / (-1 + x^3) )dx = log(1 + x + x^2) + 2log(1 - x) but got: -(2//3)*x + (4//3)*log(-1 + x^3) + (1//3)*(1 + x)*x*(-1 + x) (0.1178s) [ ok ]∫( (1 + x + 4(x^2)) / (-1 + x^3) )dx = log(1 + x + x^2) + 2log(1 - x) (0.0012s) [ fail?]∫( (x^4) / (4 + 5(x^2) + x^4) )dx = x + atan(x) / 3 - (8//3)*atan(x / 2) but got: x + 0.3333333333333335atan(x) - 2.666666666666667atan(x / 2.0) (0.1701s) [ fail?]∫( (x^4) / (4 + 5(x^2) + x^4) )dx = x + atan(x) / 3 - (8//3)*atan(x / 2) but got: x + (1//3)*atan(x) + (8//3)*atan((-1//2)*x) (0.0019s) [ fail ]∫( (2 + x) / (x + x^2) )dx = -log(1 + x) + 2log(x) but got: ∫((2 + x) / (x + x^2), x) (0.6717s) [ ok ]∫( (2 + x) / (x + x^2) )dx = -log(1 + x) + 2log(x) (0.0009s) [ fail ]∫( 1 / (x*((1 + x^2)^2)) )dx = -(1//2)*log(1 + x^2) + log(x) + 1 / (2(1 + x^2)) but got: (1//2)*substitute_after_int(∫(1 / (x + 2(x^2) + x^3), x), x, x^2) (0.6468s) [ ok ]∫( 1 / (x*((1 + x^2)^2)) )dx = -(1//2)*log(1 + x^2) + log(x) + 1 / (2(1 + x^2)) (0.0015s) [ fail ]∫( 1 / ((1 + x)*((2 + x)^2)*((3 + x)^3)) )dx = (1//8)*log(1 + x) + 2log(2 + x) - (17//8)*log(3 + x) + 1 / (2 + x) + 5 / (4(3 + x)) + 1 / (4((3 + x)^2)) but got: ∫(1 / (108 + 324x + 387(x^2) + 238(x^3) + 80(x^4) + 14(x^5) + x^6), x) (0.0794s) [ ok ]∫( 1 / ((1 + x)*((2 + x)^2)*((3 + x)^3)) )dx = (1//8)*log(1 + x) + 2log(2 + x) - (17//8)*log(3 + x) + 1 / (2 + x) + 5 / (4(3 + x)) + 1 / (4((3 + x)^2)) (0.0018s) [ ok ]∫( x / ((1 + x)^2) )dx = log(1 + x) + 1 / (1 + x) (0.2214s) [ ok ]∫( x / ((1 + x)^2) )dx = log(1 + x) + 1 / (1 + x) (0.001s) [ fail ]∫( 1 / (-x + x^3) )dx = (1//2)*log(1 - (x^2)) - log(x) but got: ∫(1 / (-x + x^3), x) (0.1346s) [ ok ]∫( 1 / (-x + x^3) )dx = (1//2)*log(1 - (x^2)) - log(x) (0.0011s) [ fail?]∫( (x^2) / (-6 + x + x^2) )dx = x + (4//5)*log(2 - x) - (9//5)*log(3 + x) but got: x + 0.8log(-2.0 + x) - 1.8log(3.0 + x) (0.0888s) [ ok ]∫( (x^2) / (-6 + x + x^2) )dx = x + (4//5)*log(2 - x) - (9//5)*log(3 + x) (0.001s) [ fail?]∫( (2 + x) / (4 - 4x + x^2) )dx = log(2 - x) + 4 / (2 - x) but got: -4x + (x^3) / 3 (0.2217s) [ ok ]∫( (2 + x) / (4 - 4x + x^2) )dx = log(2 - x) + 4 / (2 - x) (0.0009s) [ fail ]∫( 1 / ((4 - 4x + x^2)*(5 - 4x + x^2)) )dx = atan(2 - x) + 1 / (2 - x) but got: substitute_after_int(∫(1 / (x^2 + x^4), x), x, -2 + x) (1.6496s) [ ok ]∫( 1 / ((4 - 4x + x^2)*(5 - 4x + x^2)) )dx = atan(2 - x) + 1 / (2 - x) (0.0015s) [ fail ]∫( (-3 + x) / (2x + 3(x^2) + x^3) )dx = 4log(1 + x) - (5//2)*log(2 + x) - (3//2)*log(x) but got: ∫((-3 + x) / (2x + 3(x^2) + x^3), x) (0.1614s) [ ok ]∫( (-3 + x) / (2x + 3(x^2) + x^3) )dx = 4log(1 + x) - (5//2)*log(2 + x) - (3//2)*log(x) (0.0011s) [ ok ]∫( 1 / ((-1 + x^2)^2) )dx = atanh(x) / 2 + x / (2(1 - (x^2))) (0.0257s) [except] exception during ∫( 1 / ((-1 + x^2)^2) )dx : MethodError(MultivariatePolynomials.Term{T, DynamicPolynomials.Monomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.Reverse{MultivariatePolynomials.InverseLexOrder}}}} where T, (MultivariatePolynomials.Term{T, DynamicPolynomials.Monomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.Reverse{MultivariatePolynomials.InverseLexOrder}}}} where T[atanh_14837063302420405588, -1//2log_12329361771700562273, -2//1x_16809508291159760473atanh_14837063302420405588, x_16809508291159760473log_12329361771700562273, x_16809508291159760473²atanh_14837063302420405588, -1//2x_16809508291159760473²log_12329361771700562273],), 0x0000000000009c95) [ fail?]∫( (1 + x) / (-1 + x^3) )dx = -(1//3)*log(1 + x + x^2) + (2//3)*log(1 - x) but got: -(2//3)*x + (1//3)*(1 + x)*x*(-1 + x) (0.015s) [ ok ]∫( (1 + x) / (-1 + x^3) )dx = -(1//3)*log(1 + x + x^2) + (2//3)*log(1 - x) (0.001s) [ fail ]∫( (1 + x^4) / (x*((1 + x^2)^2)) )dx = log(x) + 1 / (1 + x^2) but got: (1//2)*substitute_after_int(∫((1 + x^2) / (x + 2(x^2) + x^3), x), x, x^2) (0.3628s) [ ok ]∫( (1 + x^4) / (x*((1 + x^2)^2)) )dx = log(x) + 1 / (1 + x^2) (0.001s) [ fail ]∫( 1 / (-2(x^3) + x^4) )dx = (1//8)*log(2 - x) - (1//8)*log(x) + 1 / (4x) + 1 / (4(x^2)) but got: ∫(1 / (-2(x^3) + x^4), x) (0.1433s) [ ok ]∫( 1 / (-2(x^3) + x^4) )dx = (1//8)*log(2 - x) - (1//8)*log(x) + 1 / (4x) + 1 / (4(x^2)) (0.0013s) [ fail?]∫( (1 - (x^3)) / (x*(1 + x^2)) )dx = -x - (1//2)*log(1 + x^2) + atan(x) + log(x) but got: (1//0) - x + atan(x) (0.7979s) [ ok ]∫( (1 - (x^3)) / (x*(1 + x^2)) )dx = -x - (1//2)*log(1 + x^2) + atan(x) + log(x) (0.0021s) [ ok ]∫( 1 / (-1 + x^4) )dx = -(1//2)*atanh(x) - (1//2)*atan(x) (0.0446s) [ fail?]∫( 1 / (-1 + x^4) )dx = -(1//2)*atanh(x) - (1//2)*atan(x) but got: (1//2)*atan(-x) - (1//4)*log(1 + x) + (1//4)*log(1 - x) (0.0018s) [ fail?]∫( 1 / (1 + x^4) )dx = log(1 + 1.4142135623730951x + x^2) / 5.656854249492381 - 0.35355339059327373atan(1 - 1.4142135623730951x) - 0.17677669529663687log(1 - 1.4142135623730951x + x^2) + atan(1 + 1.4142135623730951x) / 2.8284271247461903 but got: 0.5(0.7071067811865476atan((1.4142135623730951 + 2x) / 1.414213562373095) + 0.7071067811865476atan((-1.4142135623730951 + 2x) / 1.414213562373095)) + 0.5(-0.35355339059327373log(-1.0 + 1.4142135623730951x - (x^2)) + 0.35355339059327373log(-1.0 - 1.4142135623730951x - (x^2))) (1.9891s) [ fail?]∫( 1 / (1 + x^4) )dx = log(1 + 1.4142135623730951x + x^2) / 5.656854249492381 - 0.35355339059327373atan(1 - 1.4142135623730951x) - 0.17677669529663687log(1 - 1.4142135623730951x + x^2) + atan(1 + 1.4142135623730951x) / 2.8284271247461903 but got: -0.1767766952966368811002110905262122598212089844221185091470849672488415598077627log(1 - 1.414213562373095048801688724209698078569671875376948073176679737990732478462102x + x^2) + 0.1767766952966368811002110905262122598212089844221185091470849672488415598077627log(1 + 1.414213562373095048801688724209698078569671875376948073176679737990732478462102x + x^2) + 0.3535533905932737622004221810524245196424179688442370182941699344976831196155255atan(-1 + 1.414213562373095048801688724209698078569671875376948073176679737990732478462102x) + 0.3535533905932737622004221810524245196424179688442370182941699344976831196155255atan(1 + 1.414213562373095048801688724209698078569671875376948073176679737990732478462102x) (0.0049s) [ ok ]∫( (x^2) / ((2 + 2x + x^2)^2) )dx = (-x*(2 + x)) / (2(2 + 2x + x^2)) + atan(1 + x) (0.1187s) [except] exception during ∫( (x^2) / ((2 + 2x + x^2)^2) )dx : TypeError(:typeassert, "", DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.Reverse{MultivariatePolynomials.InverseLexOrder}}, Signed}, 4 + 8x_16809508291159760473 + 8x_16809508291159760473² + 4x_16809508291159760473³ + x_16809508291159760473⁴) [ fail ]∫( (-1 + 4(x^5)) / ((1 + x + x^5)^2) )dx = (-x) / (1 + x + x^5) but got: ∫((-1 + 4(x^5)) / (1 + x^2 + 2(x + x^5 + x^6) + x^10), x) (1.3998s) [ ok ]∫( (-1 + 4(x^5)) / ((1 + x + x^5)^2) )dx = (-x) / (1 + x + x^5) (0.0011s) [ fail?]∫( 1 / (5 - cos(x) + 2sin(x)) )dx = x / 4.47213595499958 + atan((2cos(x) + sin(x)) / (9.47213595499958 - cos(x) + 2sin(x))) / 2.23606797749979 but got: 0.4472135954999579atan((4 + 12tan(x / 2)) / 8.94427190999916) (0.4479s) [ fail ]∫( 1 / (5 - cos(x) + 2sin(x)) )dx = x / 4.47213595499958 + atan((2cos(x) + sin(x)) / (9.47213595499958 - cos(x) + 2sin(x))) / 2.23606797749979 but got: ∫(1 / (5 - cos(x) + 2sin(x)), x) (0.0044s) [ fail ]∫( 1 / (1 + a*cos(x)) )dx = (2atan((tan(x / 2)*sqrt(1 - a)) / sqrt(1 + a))) / sqrt(1 - (a^2)) but got: ∫(1 / (1 + a*cos(x)), x) (0.0437s) [ fail ]∫( 1 / (1 + a*cos(x)) )dx = (2atan((tan(x / 2)*sqrt(1 - a)) / sqrt(1 + a))) / sqrt(1 - (a^2)) but got: ∫(1 / (1 + a*cos(x)), x) (0.0011s) [ fail ]∫( 1 / (1 + 2cos(x)) )dx = -0.5773502691896258log(1.7320508075688772cos(x / 2) - sin(x / 2)) + log(1.7320508075688772cos(x / 2) + sin(x / 2)) / 1.7320508075688772 but got: ∫(1 / (1 + 2cos(x)), x) (0.0458s) [ fail ]∫( 1 / (1 + 2cos(x)) )dx = -0.5773502691896258log(1.7320508075688772cos(x / 2) - sin(x / 2)) + log(1.7320508075688772cos(x / 2) + sin(x / 2)) / 1.7320508075688772 but got: ∫(1 / (1 + 2cos(x)), x) (0.0009s) [ fail ]∫( 1 / (1 + (1//2)*cos(x)) )dx = 1.1547005383792517x - 2.3094010767585034atan(sin(x) / (3.732050807568877 + cos(x))) but got: ∫(1 / (1 + (1//2)*cos(x)), x) (0.0486s) [ fail ]∫( 1 / (1 + (1//2)*cos(x)) )dx = 1.1547005383792517x - 2.3094010767585034atan(sin(x) / (3.732050807568877 + cos(x))) but got: ∫(1 / (1 + (1//2)*cos(x)), x) (0.0022s) [ fail?]∫( (sin(x)^2) / (1 + sin(x)^2) )dx = 0.29289321881345254x - 0.7071067811865475atan((cos(x)*sin(x)) / (2.414213562373095 + sin(x)^2)) but got: x - 0.7071067811865475atan(1.4142135623730951tan(x)) (0.1976s) [ fail ]∫( (sin(x)^2) / (1 + sin(x)^2) )dx = 0.29289321881345254x - 0.7071067811865475atan((cos(x)*sin(x)) / (2.414213562373095 + sin(x)^2)) but got: ∫((sin(x)^2) / (1 + sin(x)^2), x) (0.0019s) [ fail ]∫( 1 / ((a^2)*(sin(x)^2) + (b^2)*(cos(x)^2)) )dx = atan((a*tan(x)) / b) / (a*b) but got: ∫(1 / ((a^2)*(sin(x)^2) + (b^2)*(cos(x)^2)), x) (0.2544s) [ fail ]∫( 1 / ((a^2)*(sin(x)^2) + (b^2)*(cos(x)^2)) )dx = atan((a*tan(x)) / b) / (a*b) but got: ∫(1 / ((a^2)*(sin(x)^2) + (b^2)*(cos(x)^2)), x) (0.0015s) [ ok ]∫( 1 / ((a*sin(x) + b*cos(x))^2) )dx = sin(x) / ((a*sin(x) + b*cos(x))*b) (0.8794s) [ fail ]∫( 1 / ((a*sin(x) + b*cos(x))^2) )dx = sin(x) / ((a*sin(x) + b*cos(x))*b) but got: ∫(1 / ((a*sin(x) + b*cos(x))^2), x) (0.0003s) [ fail?]∫( sin(x) / (1 + cos(x) + sin(x)) )dx = x / 2 - (1//2)*log(1 + tan(x / 2)) - (1//2)*log(1 + cos(x) + sin(x)) but got: x / 2 - (1//2)*log(1 + cos(x) + sin(x)) - (1//2)*log(2 + 2tan(x / 2)) (0.0791s) [ fail ]∫( sin(x) / (1 + cos(x) + sin(x)) )dx = x / 2 - (1//2)*log(1 + tan(x / 2)) - (1//2)*log(1 + cos(x) + sin(x)) but got: ∫(sin(x) / (1 + cos(x) + sin(x)), x) (0.0005s) [ ok ]∫( sqrt(3 - (x^2)) )dx = (3//2)*asin(x / 1.7320508075688772) + (1//2)*x*sqrt(3 - (x^2)) (0.0153s) [ fail ]∫( sqrt(3 - (x^2)) )dx = (3//2)*asin(x / 1.7320508075688772) + (1//2)*x*sqrt(3 - (x^2)) but got: ∫(sqrt(3 - (x^2)), x) (0.0002s) [ ok ]∫( x / sqrt(3 - (x^2)) )dx = -sqrt(3 - (x^2)) (0.0058s) [ fail ]∫( x / sqrt(3 - (x^2)) )dx = -sqrt(3 - (x^2)) but got: ∫(x / sqrt(3 - (x^2)), x) (0.0002s) [ fail?]∫( sqrt(3 - (x^2)) / x )dx = sqrt(3 - (x^2)) - 1.7320508075688772atanh(sqrt(3 - (x^2)) / 1.7320508075688772) but got: (1//2)*(((3 - (x^2))^(1//2)) / (1//2) - 3.4641016151377553atanh(((3 - (x^2))^(1//2)) / 1.7320508075688772)) (0.0379s) [ fail ]∫( sqrt(3 - (x^2)) / x )dx = sqrt(3 - (x^2)) - 1.7320508075688772atanh(sqrt(3 - (x^2)) / 1.7320508075688772) but got: ∫(sqrt(3 - (x^2)) / x, x) (0.0003s) [ ok ]∫( sqrt(x + x^2) / x )dx = atanh(x / sqrt(x + x^2)) + sqrt(x + x^2) (0.4765s) [ fail ]∫( sqrt(x + x^2) / x )dx = atanh(x / sqrt(x + x^2)) + sqrt(x + x^2) but got: ∫(sqrt(x + x^2) / x, x) (0.0002s) [ ok ]∫( sqrt(5 + x^2) )dx = (5//2)*asinh(x / 2.23606797749979) + (1//2)*x*sqrt(5 + x^2) (0.0524s) [ fail ]∫( sqrt(5 + x^2) )dx = (5//2)*asinh(x / 2.23606797749979) + (1//2)*x*sqrt(5 + x^2) but got: ∫(sqrt(5 + x^2), x) (0.0001s) [ fail?]∫( x / sqrt(1 + x + x^2) )dx = sqrt(1 + x + x^2) - (1//2)*asinh((1 + 2x) / 1.7320508075688772) but got: (1 + x + x^2)^(1//2) - (1//2)*asinh(0.5773502691896257(1 + 2x)) (0.0513s) [ fail ]∫( x / sqrt(1 + x + x^2) )dx = sqrt(1 + x + x^2) - (1//2)*asinh((1 + 2x) / 1.7320508075688772) but got: ∫(x / sqrt(1 + x + x^2), x) (0.0002s) [ ok ]∫( 1 / sqrt(x + x^2) )dx = 2atanh(x / sqrt(x + x^2)) (0.0488s) [ fail ]∫( 1 / sqrt(x + x^2) )dx = 2atanh(x / sqrt(x + x^2)) but got: ∫(1 / sqrt(x + x^2), x) (0.0002s) [ fail?]∫( sqrt(2 - x - (x^2)) / (x^2) )dx = (-sqrt(2 - x - (x^2))) / x + asin((1//3)*(-1 - 2x)) + atanh((4 - x) / (2.8284271247461903sqrt(2 - x - (x^2)))) / 2.8284271247461903 but got: ((2 - x - (x^2))^(1//2)) / (-x) + (1//2)*(2.0asin(0.3333333333333333(-1 - 2x)) + 0.7071067811865475atanh((4 - x) / (2.8284271247461903sqrt(2 - x - (x^2))))) (0.3411s) [ fail ]∫( sqrt(2 - x - (x^2)) / (x^2) )dx = (-sqrt(2 - x - (x^2))) / x + asin((1//3)*(-1 - 2x)) + atanh((4 - x) / (2.8284271247461903sqrt(2 - x - (x^2)))) / 2.8284271247461903 but got: ∫(sqrt(2 - x - (x^2)) / (x^2), x) (0.0002s) [ ok ]∫( log(t) / (1 + t) )dt = PolyLog.reli(2.0, -t) + log(1 + t)*log(t) (0.13s) [ fail ]∫( log(t) / (1 + t) )dt = PolyLog.reli(2.0, -t) + log(1 + t)*log(t) but got: ∫(log(t) / (1 + t), t) (0.0002s) [ ok ]∫( log(exp(cos(x))) )dx = sin(x) - x*cos(x) + x*log(exp(cos(x))) (2.9088s) [ fail ]∫( log(exp(cos(x))) )dx = sin(x) - x*cos(x) + x*log(exp(cos(x))) but got: ∫(log(exp(cos(x))), x) (0.0018s) [ ok ]∫( exp(t) / t )dt = SpecialFunctions.expinti(t) (0.0849s) [ fail ]∫( exp(t) / t )dt = SpecialFunctions.expinti(t) but got: ∫(exp(t) / t, t) (0.0002s) [ ok ]∫( exp(a*t) / t )dt = SpecialFunctions.expinti(a*t) (1.0065s) [ fail ]∫( exp(a*t) / t )dt = SpecialFunctions.expinti(a*t) but got: ∫(exp(a*t) / t, t) (0.0002s) [ ok ]∫( exp(t) / (t^2) )dt = SpecialFunctions.expinti(t) + (-exp(t)) / t (0.0634s) [ fail ]∫( exp(t) / (t^2) )dt = SpecialFunctions.expinti(t) + (-exp(t)) / t but got: ∫(exp(t) / (t^2), t) (0.0002s) [ ok ]∫( exp(1 / t) )dt = -SpecialFunctions.expinti(1 / t) + t*exp(1 / t) (0.0376s) [ fail ]∫( exp(1 / t) )dt = -SpecialFunctions.expinti(1 / t) + t*exp(1 / t) but got: ∫(exp(1 / t), t) (0.0002s) [ fail ]∫( 1 / ((-1 - a + t)*exp(t)) )dt = SpecialFunctions.expinti(1 + a - t)*exp(-1 - a) but got: ∫(1 / (-a*exp(t) + (-1 + t)*exp(t)), t) (0.3992s) [ fail ]∫( 1 / ((-1 - a + t)*exp(t)) )dt = SpecialFunctions.expinti(1 + a - t)*exp(-1 - a) but got: ∫(1 / ((-1 - a + t)*exp(t)), t) (0.0015s) [ fail ]∫( (t*exp(t^2)) / (1 + t^2) )dt = SpecialFunctions.expinti(1 + t^2) / 5.43656365691809 but got: ∫((t*exp(t^2)) / (1 + t^2), t) (0.0834s) [ fail ]∫( (t*exp(t^2)) / (1 + t^2) )dt = SpecialFunctions.expinti(1 + t^2) / 5.43656365691809 but got: ∫((t*exp(t^2)) / (1 + t^2), t) (0.0003s) [ ok ]∫( exp(t) / ((1 + t)^2) )dt = (-exp(t)) / (1 + t) + SpecialFunctions.expinti(1 + t) / ℯ (0.0758s) [ fail ]∫( exp(t) / ((1 + t)^2) )dt = (-exp(t)) / (1 + t) + SpecialFunctions.expinti(1 + t) / ℯ but got: ∫(exp(t) / ((1 + t)^2), t) (0.0002s) [ fail ]∫( log(1 + t)*exp(t) )dt = -0.36787944117144233SpecialFunctions.expinti(1 + t) + log(1 + t)*exp(t) but got: ∫(log(1 + t)*exp(t), t) (0.6767s) [ fail ]∫( log(1 + t)*exp(t) )dt = -0.36787944117144233SpecialFunctions.expinti(1 + t) + log(1 + t)*exp(t) but got: ∫(log(1 + t)*exp(t), t) (0.0003s) [ fail?]∫( t / exp(t) )dt = (-t) / exp(t) - exp(-t) but got: -(ℯ^(-t)) - t*(ℯ^(-t)) (0.0354s) [ fail ]∫( t / exp(t) )dt = (-t) / exp(t) - exp(-t) but got: ∫(t / exp(t), t) (0.0002s) [ fail?]∫( (t^2) / exp(t) )dt = (-(t^2)) / exp(t) + (-2t) / exp(t) + -2 / exp(t) but got: 2(-(ℯ^(-t)) - t*(ℯ^(-t))) - (t^2)*(ℯ^(-t)) (0.3714s) [ fail ]∫( (t^2) / exp(t) )dt = (-(t^2)) / exp(t) + (-2t) / exp(t) + -2 / exp(t) but got: ∫((t^2) / exp(t), t) (0.0002s) [ fail?]∫( (t^3) / exp(t) )dt = (-(t^3)) / exp(t) + (-3(t^2)) / exp(t) + (-6t) / exp(t) + -6 / exp(t) but got: 3(2(-(ℯ^(-t)) - t*(ℯ^(-t))) - (t^2)*(ℯ^(-t))) - (t^3)*(ℯ^(-t)) (0.5058s) [ fail ]∫( (t^3) / exp(t) )dt = (-(t^3)) / exp(t) + (-3(t^2)) / exp(t) + (-6t) / exp(t) + -6 / exp(t) but got: ∫((t^3) / exp(t), t) (0.0002s) [ ok ]∫( (c*sin(x) + d*cos(x)) / (a*sin(x) + b*cos(x)) )dx = ((a*c + b*d)*x) / (a^2 + b^2) + (-(-a*d + b*c)*log(a*sin(x) + b*cos(x))) / (a^2 + b^2) (0.2887s) [ fail ]∫( (c*sin(x) + d*cos(x)) / (a*sin(x) + b*cos(x)) )dx = ((a*c + b*d)*x) / (a^2 + b^2) + (-(-a*d + b*c)*log(a*sin(x) + b*cos(x))) / (a^2 + b^2) but got: ∫((c*sin(x) + d*cos(x)) / (a*sin(x) + b*cos(x)), x) (0.0002s) [ ok ]∫( 1 / log(t) )dt = SpecialFunctions.expinti(log(t)) (0.023s) [ fail ]∫( 1 / log(t) )dt = SpecialFunctions.expinti(log(t)) but got: ∫(1 / log(t), t) (0.0003s) [ ok ]∫( 1 / (log(t)^2) )dt = SpecialFunctions.expinti(log(t)) + (-t) / log(t) (0.0511s) [ fail ]∫( 1 / (log(t)^2) )dt = SpecialFunctions.expinti(log(t)) + (-t) / log(t) but got: ∫(1 / (log(t)^2), t) (0.0003s) [ ok ]∫( exp(2t) / (-1 + t) )dt = 7.38905609893065SpecialFunctions.expinti(-2(1 - t)) (0.0322s) [ fail ]∫( exp(2t) / (-1 + t) )dt = 7.38905609893065SpecialFunctions.expinti(-2(1 - t)) but got: ∫(exp(2t) / (-1 + t), t) (0.0003s) [ fail ]∫( exp(2x) / (2 - 3x + x^2) )dx = 54.598150033144236SpecialFunctions.expinti(-4 + 2x) - 7.38905609893065SpecialFunctions.expinti(-2 + 2x) but got: ∫((ℯ^(2x)) / (2 - 3x + x^2), x) (0.1142s) [ fail ]∫( exp(2x) / (2 - 3x + x^2) )dx = 54.598150033144236SpecialFunctions.expinti(-4 + 2x) - 7.38905609893065SpecialFunctions.expinti(-2 + 2x) but got: ∫(exp(2x) / (2 - 3x + x^2), x) (0.0003s) [except] exception during ∫( 1 / ((1 + t^3)^(1//2)) )dt : ErrorException("promotion of types Rational{Integer} and Float64 failed to change any arguments") [ fail ]∫( 1 / ((1 + t^3)^(1//2)) )dt = (3.8637033051562732(1 + t)*Elliptic.F(asin((-0.7320508075688772 + t) / (2.732050807568877 + t)), -13.928203230275509)*sqrt((1 - t + t^2) / ((2.732050807568877 + t)^2))) / (1.3160740129524924sqrt((1 + t) / ((2.732050807568877 + t)^2))*sqrt(1 + t^3)) but got: ∫(1 / ((1 + t^3)^(1//2)), t) (0.0016s) RuleBasedMethod: 86 tests succeeded, 51 failed, 35 maybe failed, 2 errored, out of 174 tests of test_files/0 Independent test suites/Apostol Problems.jl Total=113.454s, Avg=0.652s, Min=0.0s, Max=13.5808s RischMethod: 27 tests succeeded, 133 failed, 11 maybe failed, 3 errored, out of 174 tests of test_files/0 Independent test suites/Apostol Problems.jl Total=0.442s, Avg=0.0025s, Min=0.0s, Max=0.091s ======================SymbolicIntegration.jl Test Results======================= Success = ✅, Maybe Fail = 🆚, Fail = ❌, Exception = ⚛️ Input Expression, Rb,Rs 2x ✅,✅ 1 / (1 + x^2) ✅,✅ sin(x) ✅,❌ sqrt(1 + 2x) ✅,❌ x*sqrt(1 + 3x) ✅,❌ (x^2)*sqrt(1 + x) 🆚,❌ x / sqrt(2 - 3x) ✅,❌ (1 + x) / ((2 + 2x + x^2)^3) ✅,✅ sin(x)^3 ✅,❌ ((-1 + z)^(1//3))*z ✅,❌ cos(x) / (sin(x)^3) 🆚,❌ cos(2x)*sqrt(4 - sin(2x)) ✅,❌ sin(x) / ((3 + cos(x))^2) ❌,❌ sin(x) / sqrt(cos(x)^3) ❌,❌ sin(sqrt(1 + x)) / sqrt(1 + x) ✅,❌ sin(x^n)*(x^(-1 + n)) ❌,❌ (x^5) / sqrt(1 - (x^6)) ✅,❌ ((1 + t)^(1//4))*t ✅,❌ 1 / ((1 + x^2)^(3//2)) ✅,❌ (x^2)*((27 + 8(x^3))^(2//3)) ✅,❌ (cos(x) + sin(x)) / ((-cos(x) + sin(x))^(1//3)) ✅,❌ x / sqrt(1 + x^2 + (1 + x^2)^(3//2)) ❌,❌ x / (sqrt(1 + x^2)*sqrt(1 + sqrt(1 + x^2))) ❌,❌ ((1 - 2x + x^2)^(1//5)) / (1 - x) ✅,❌ x*sin(x) ✅,❌ (x^2)*sin(x) 🆚,❌ (x^3)*cos(x) 🆚,❌ (x^3)*sin(x) 🆚,❌ cos(x)*sin(x) ✅,❌ x*cos(x)*sin(x) ✅,❌ sin(x)^2 ✅,❌ sin(x)^3 ✅,❌ sin(x)^4 ✅,❌ sin(x)^5 ✅,❌ sin(x)^6 ✅,❌ x*(sin(x)^2) ✅,❌ x*(sin(x)^3) ✅,❌ (x^2)*(sin(x)^2) ✅,❌ cos(x)^2 ❌,❌ cos(x)^3 ❌,❌ cos(x)^4 ❌,❌ (a^2 - (x^2))^(5//2) ✅,❌ (x^5) / sqrt(5 + x^2) ✅,❌ (t^3) / ((4 + t^3)^(1//2)) 🆚,❌ tan(x)^2 ✅,❌ tan(x)^4 ✅,❌ cot(x)^2 ❌,❌ cot(x)^4 ❌,❌ (2 + 3x)*sin(5x) ✅,❌ x*sqrt(1 + x^2) ✅,❌ x*((-1 + x^2)^9) ✅,🆚 (3 + 2x) / ((7 + 6x)^3) ✅,🆚 (x^4)*((1 + x^5)^5) ✅,🆚 (x^4)*((1 - x)^20) ✅,🆚 sin(1 / x) / (x^2) ✅,❌ sin((-1 + x)^(1//4)) 🆚,❌ x*cos(x^2)*sin(x^2) ✅,❌ sin(2x)*sqrt(1 + 3(cos(x)^2)) ❌,❌ 1 / (2 + 3x) ✅,🆚 log(x)^2 ✅,❌ x*log(x) ✅,❌ x*(log(x)^2) ✅,❌ 1 / (1 + t) ✅,✅ cot(x) ❌,❌ log(a*x)*(x^n) ✅,❌ (x^2)*(log(x)^2) ✅,❌ 1 / (x*log(x)) ✅,❌ log(1 - t) / (1 - t) ✅,❌ log(x) / (x*sqrt(1 + log(x))) ❌,❌ (x^3)*(log(x)^3) ✅,❌ (x^2)*exp(x^3) ✅,❌ (2^sqrt(x)) / sqrt(x) 🆚,❌ cos(x)*exp(2sin(x)) ❌,❌ sin(x)*exp(x) ✅,❌ cos(x)*exp(x) ✅,❌ 1 / (1 + exp(x)) ❌,❌ x*exp(x) ✅,❌ x*exp(-x) 🆚,❌ (x^2)*exp(x) ✅,❌ (x^2)*exp(-2x) 🆚,❌ exp(sqrt(x)) ✅,❌ (x^3)*exp(-(x^2)) 🆚,❌ exp(a*x)*cos(b*x) ✅,❌ exp(a*x)*sin(b*x) ✅,❌ acot(x) ✅,❌ asec(x) ❌,❌ acsc(x) ❌,❌ asin(x)^2 ❌,❌ asin(x) / (x^2) ✅,❌ 1 / sqrt(a^2 - (x^2)) ✅,❌ 1 / sqrt(1 - 2x - (x^2)) 🆚,❌ 1 / (a^2 + x^2) 🆚,❌ 1 / (a + b*(x^2)) 🆚,❌ 1 / (2 - x + x^2) 🆚,🆚 x*atan(x) ✅,❌ (x^2)*acos(x) ✅,❌ x*(atan(x)^2) ❌,❌ atan(sqrt(x)) ⚛️,❌ atan(sqrt(x)) / ((1 + x)*sqrt(x)) ❌,❌ sqrt(1 - (x^2)) ✅,❌ (x*exp(atan(x))) / ((1 + x^2)^(3//2)) ❌,❌ exp(atan(x)) / ((1 + x^2)^(3//2)) ❌,❌ (x^2) / ((1 + x^2)^2) ✅,✅ exp(x) / (1 + exp(2x)) ✅,❌ acot(exp(x)) / exp(x) ❌,❌ ((a + x) / (a - x))^(1//2) ❌,❌ sqrt((-a + x)*(b - x)) ❌,❌ 1 / sqrt((-a + x)*(b - x)) ✅,❌ (3 + 5x) / (-3 + 2x + x^2) 🆚,✅ (5 + 2x) / (-3 + 2x + x^2) 🆚,✅ (3x + x^3) / (-3 - 2x + x^2) ❌,✅ (-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3) ❌,✅ (3 + 2x + x^2) / ((-1 + x)*((1 + x)^2)) ❌,✅ (-2 + 2x + 3(x^2)) / (-1 + x^3) 🆚,🆚 (2 - x + 2(x^2) - (x^3) + x^4) / ((-1 + x)*((2 + x^2)^2)) ❌,⚛️ 1 / (cos(x) + sin(x)) ✅,❌ x / (4 + sqrt(4 - (x^2)) - (x^2)) ❌,❌ (3 + 2x) / ((-2 + x)*(5 + x)) 🆚,🆚 x / ((1 + x)*(2 + x)*(3 + x)) ❌,✅ x / (2 - 3x + x^3) ❌,✅ (-6 + 2x + x^4) / (-2x + x^2 + x^3) ❌,✅ (7 + 8(x^3)) / ((1 + x)*((1 + 2x)^3)) ❌,✅ (1 + x + 4(x^2)) / (-1 + x^3) 🆚,✅ (x^4) / (4 + 5(x^2) + x^4) 🆚,🆚 (2 + x) / (x + x^2) ❌,✅ 1 / (x*((1 + x^2)^2)) ❌,✅ 1 / ((1 + x)*((2 + x)^2)*((3 + x)^3)) ❌,✅ x / ((1 + x)^2) ✅,✅ 1 / (-x + x^3) ❌,✅ (x^2) / (-6 + x + x^2) 🆚,✅ (2 + x) / (4 - 4x + x^2) 🆚,✅ 1 / ((4 - 4x + x^2)*(5 - 4x + x^2)) ❌,✅ (-3 + x) / (2x + 3(x^2) + x^3) ❌,✅ 1 / ((-1 + x^2)^2) ✅,⚛️ (1 + x) / (-1 + x^3) 🆚,✅ (1 + x^4) / (x*((1 + x^2)^2)) ❌,✅ 1 / (-2(x^3) + x^4) ❌,✅ (1 - (x^3)) / (x*(1 + x^2)) 🆚,✅ 1 / (-1 + x^4) ✅,🆚 1 / (1 + x^4) 🆚,🆚 (x^2) / ((2 + 2x + x^2)^2) ✅,⚛️ (-1 + 4(x^5)) / ((1 + x + x^5)^2) ❌,✅ 1 / (5 - cos(x) + 2sin(x)) 🆚,❌ 1 / (1 + a*cos(x)) ❌,❌ 1 / (1 + 2cos(x)) ❌,❌ 1 / (1 + (1//2)*cos(x)) ❌,❌ (sin(x)^2) / (1 + sin(x)^2) 🆚,❌ 1 / ((a^2)*(sin(x)^2) + (b^2)*(cos(x)^2)) ❌,❌ 1 / ((a*sin(x) + b*cos(x))^2) ✅,❌ sin(x) / (1 + cos(x) + sin(x)) 🆚,❌ sqrt(3 - (x^2)) ✅,❌ x / sqrt(3 - (x^2)) ✅,❌ sqrt(3 - (x^2)) / x 🆚,❌ sqrt(x + x^2) / x ✅,❌ sqrt(5 + x^2) ✅,❌ x / sqrt(1 + x + x^2) 🆚,❌ 1 / sqrt(x + x^2) ✅,❌ sqrt(2 - x - (x^2)) / (x^2) 🆚,❌ log(t) / (1 + t) ✅,❌ log(exp(cos(x))) ✅,❌ exp(t) / t ✅,❌ exp(a*t) / t ✅,❌ exp(t) / (t^2) ✅,❌ exp(1 / t) ✅,❌ 1 / ((-1 - a + t)*exp(t)) ❌,❌ (t*exp(t^2)) / (1 + t^2) ❌,❌ exp(t) / ((1 + t)^2) ✅,❌ log(1 + t)*exp(t) ❌,❌ t / exp(t) 🆚,❌ (t^2) / exp(t) 🆚,❌ (t^3) / exp(t) 🆚,❌ (c*sin(x) + d*cos(x)) / (a*sin(x) + b*cos(x)) ✅,❌ 1 / log(t) ✅,❌ 1 / (log(t)^2) ✅,❌ exp(2t) / (-1 + t) ✅,❌ exp(2x) / (2 - 3x + x^2) ❌,❌ 1 / ((1 + t^3)^(1//2)) ⚛️,❌ RuleBasedMethod: 89 tests succeeded, 51 failed, 35 maybe failed, 2 errored, out of 177 tests of all testsets Total=117.619s, Avg=0.6645s, Min=0.0s, Max=13.5808s RischMethod: 29 tests succeeded, 134 failed, 11 maybe failed, 3 errored, out of 177 tests of all testsets Total=2.049s, Avg=0.0116s, Min=0.0s, Max=1.6052s ================================================================================ Test results saved to: /home/pkgeval/.julia/packages/SymbolicIntegration/XqTUj/test/test_results/rule_based_test_output_2026-02-26_22-59-54.out [Rule Based] Integration of 177 functions: Test Failed at /home/pkgeval/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:299 Expression: n_of_not_success == 0 Evaluated: 88 == 0 Stacktrace: [1] top-level scope @ ~/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:298 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:299 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] [Risch] Integration of 177 functions: Test Failed at /home/pkgeval/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:304 Expression: n_of_not_success == 0 Evaluated: 148 == 0 Stacktrace: [1] top-level scope @ ~/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:303 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [3] macro expansion @ ~/.julia/packages/SymbolicIntegration/XqTUj/test/rundifficulttests.jl:304 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:782 [inlined] Test Summary: | Pass Fail Broken Total Time SymbolicIntegration.jl | 90 2 1 93 10m09.7s Easy Tests | 90 1 91 3m46.5s Difficult Tests | 2 2 6m23.1s [Rule Based] Integration of 177 functions | 1 1 4.9s [Risch] Integration of 177 functions | 1 1 0.1s RNG of the outermost testset: Random.Xoshiro(0x0c33e1b83f8c294c, 0x66e600dcb691ebe7, 0xf1d83c689bbac321, 0x5c8561c664fe6ec9, 0x81c4bec630dcc425) ERROR: LoadError: Some tests did not pass: 90 passed, 2 failed, 0 errored, 1 broken. in expression starting at /home/pkgeval/.julia/packages/SymbolicIntegration/XqTUj/test/runtests.jl:7 Testing failed after 647.47s ERROR: LoadError: Package SymbolicIntegration errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3138 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3003 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:586 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:562 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [12] include(mod::Module, _path::String) @ Base ./Base.jl:323 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1411.56s: package has test failures