Package evaluation to test SymbolicIntegration on Julia 1.14.0-DEV.1808 (1cd77b505e*) started at 2026-02-26T21:57:27.888 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv, BugReporting)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.93s ################################################################################ # Installation # Installing SymbolicIntegration... Resolving package versions... Installed SymbolicIntegration ─ v3.4.0 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 4.71s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 25.67s ################################################################################ # Testing # Testing SymbolicIntegration Status `/tmp/jl_jyGGgo/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_jyGGgo/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... Activating project at `~/.julia/environments/pkgeval` Activating project at `/tmp/jl_jyGGgo` Switching execution to under rr ========Test results of ================================================= _____ _ _ _ ,______. / ___| | | | (_) by / Mattia \ \ `--. _ _ _ __ ___ | |__ ___ | |_ ___ (Micheletta) `--. \ | | | '_ ` _ \| '_ \ / _ \| | |/ __| \ Merlin / /\__/ / |_| | | | | | | |_) | (_) | | | (__ '‾‾‾‾‾‾° \____/ \__, |_| |_| |_|____/ \___/|_|_|\___| __/ | _____ _ _ _ _ _ |___/ |_ _| | | | | (_) (_) | | | _ __ | |_ ___ __ _ _ __ __ _| |_ _ ___ _ __ _| | | || '_ \| __/ _ \/ _` | '__/ _` | __| |/ _ \| '_ \ | | | _| || | | | || __/ (_| | | | (_| | |_| | (_) | | | |_| | | \___/_| |_|\__\___|\__, |_| \__,_|\__|_|\___/|_| |_(_) |_| __/ | _/ | |___/ |__/ Date: 2026-02-26 22:04:36 Package Version: nothing Julia Version: 1.14.0-DEV.1808 Computer: SymbolicIntegration-primary-bQIT4H6J 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 (1.0402s) [ ok ]∫( 2x )dx = x^2 (0.0007s) [ ok ]∫( 1 / (1 + x^2) )dx = atan(x) (4.2162s) [ ok ]∫( 1 / (1 + x^2) )dx = atan(x) (0.0015s) [ ok ]∫( sin(x) )dx = -cos(x) (0.0575s) [ fail ]∫( sin(x) )dx = -cos(x) but got: ∫(sin(x), x) (1.9537s) RuleBasedMethod: 3 tests succeeded, 0 failed, 0 maybe failed, 0 errored, out of 3 tests of test_files/easy.jl Total=5.314s, Avg=1.7713s, Min=0.0575s, Max=4.2162s RischMethod: 2 tests succeeded, 1 failed, 0 maybe failed, 0 errored, out of 3 tests of test_files/easy.jl Total=1.956s, Avg=0.6519s, Min=0.0007s, Max=1.9537s 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)) (1.2342s) [ 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)) (12.3936s) [ 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) [ ok ]∫( (x^2)*sqrt(1 + x) )dx = (2//3)*((1 + x)^(3//2)) - (4//5)*((1 + x)^(5//2)) + (2//7)*((1 + x)^(7//2)) (2.2277s) [ 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.0004s) [ ok ]∫( x / sqrt(2 - 3x) )dx = -(4//9)*sqrt(2 - 3x) + (2//27)*((2 - 3x)^(3//2)) (1.4452s) [ 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.2504s) [ ok ]∫( (1 + x) / ((2 + 2x + x^2)^3) )dx = -1 / (4((2 + 2x + x^2)^2)) (0.0965s) [ ok ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 (3.863s) [ fail ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 but got: ∫(sin(x)^3, x) (0.0022s) [ ok ]∫( ((-1 + z)^(1//3))*z )dz = (3//4)*((-1 + z)^(4//3)) + (3//7)*((-1 + z)^(7//3)) (0.5453s) [ 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.0981s) [ fail?]∫( cos(x) / (sin(x)^3) )dx = (-1//2)*(csc(x)^2) but got: (cos(x)^2) / (-2(sin(x)^2)) (0.3044s) [ fail ]∫( cos(x) / (sin(x)^3) )dx = (-1//2)*(csc(x)^2) but got: ∫(cos(x) / (sin(x)^3), x) (0.0028s) [ ok ]∫( sqrt(4 - sin(2x))*cos(2x) )dx = (-1//3)*((4 - sin(2x))^(3//2)) (0.5882s) [ fail ]∫( sqrt(4 - sin(2x))*cos(2x) )dx = (-1//3)*((4 - sin(2x))^(3//2)) but got: ∫(sqrt(4 - sin(2x))*cos(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) (6.5288s) [ fail ]∫( sin(x) / ((3 + cos(x))^2) )dx = 1 / (3 + cos(x)) but got: ∫(sin(x) / ((3 + cos(x))^2), x) (0.001s) [ fail ]∫( sin(x) / sqrt(cos(x)^3) )dx = (2cos(x)) / sqrt(cos(x)^3) but got: ∫(sin(x) / sqrt(cos(x)^3), x) (0.5228s) [ 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.272s) [ fail ]∫( sin(sqrt(1 + x)) / sqrt(1 + x) )dx = -2cos(sqrt(1 + x)) but got: ∫(sin(sqrt(1 + x)) / sqrt(1 + x), x) (0.002s) [ fail ]∫( sin(x^n)*(x^(-1 + n)) )dx = (-cos(x^n)) / n but got: ∫(sin(x^n)*(x^(-1 + n)), x) (1.8091s) [ fail ]∫( sin(x^n)*(x^(-1 + n)) )dx = (-cos(x^n)) / n but got: ∫(sin(x^n)*(x^(-1 + n)), x) (0.0016s) [ ok ]∫( (x^5) / sqrt(1 - (x^6)) )dx = (-1//3)*sqrt(1 - (x^6)) (0.073s) [ 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.1518s) [ 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.1151s) [ fail ]∫( 1 / ((1 + x^2)^(3//2)) )dx = x / sqrt(1 + x^2) but got: ∫(1 / ((1 + x^2)^(3//2)), x) (0.0004s) [ ok ]∫( (x^2)*((27 + 8(x^3))^(2//3)) )dx = (1//40)*((27 + 8(x^3))^(5//3)) (0.328s) [ 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.0004s) [ ok ]∫( (cos(x) + sin(x)) / ((-cos(x) + sin(x))^(1//3)) )dx = (3//2)*((-cos(x) + sin(x))^(2//3)) (1.1667s) [ 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.0063s) [ 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.0941s) [ 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) (13.7669s) [ 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.0986s) [ 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.0004s) [ ok ]∫( x*sin(x) )dx = sin(x) - x*cos(x) (0.369s) [ fail ]∫( x*sin(x) )dx = sin(x) - x*cos(x) but got: ∫(x*sin(x), x) (0.0009s) [ 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.7013s) [ fail ]∫( (x^2)*sin(x) )dx = 2cos(x) + 2x*sin(x) - (x^2)*cos(x) but got: ∫((x^2)*sin(x), x) (0.0007s) [ 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.0616s) [ 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) (1.1006s) [ 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.0009s) [ ok ]∫( cos(x)*sin(x) )dx = (sin(x)^2) / 2 (0.3487s) [ fail ]∫( cos(x)*sin(x) )dx = (sin(x)^2) / 2 but got: ∫(cos(x)*sin(x), x) (0.0009s) [ ok ]∫( x*cos(x)*sin(x) )dx = -(1//4)*x + (1//4)*cos(x)*sin(x) + (1//2)*x*(sin(x)^2) (1.8711s) [ 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.001s) [ ok ]∫( sin(x)^2 )dx = x / 2 - (1//2)*cos(x)*sin(x) (0.0178s) [ fail ]∫( sin(x)^2 )dx = x / 2 - (1//2)*cos(x)*sin(x) but got: ∫(sin(x)^2, x) (0.0007s) [ ok ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 (0.8539s) [ fail ]∫( sin(x)^3 )dx = -cos(x) + (cos(x)^3) / 3 but got: ∫(sin(x)^3, x) (0.0007s) [ ok ]∫( sin(x)^4 )dx = (3//8)*x - (3//8)*cos(x)*sin(x) - (1//4)*cos(x)*(sin(x)^3) (0.0294s) [ 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.8805s) [ 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.0434s) [ 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.5573s) [ 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.0008s) [ 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.6687s) [ 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.0007s) [ 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.3549s) [ 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.0008s) [ fail ]∫( cos(x)^2 )dx = x / 2 + (1//2)*cos(x)*sin(x) but got: ∫(cos(x)^2, x) (1.1543s) [ 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.018s) [ 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.0178s) [ 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.4151s) [ 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.8688s) [ 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.0004s) [ fail?]∫( (t^3) / ((4 + t^3)^(1//2)) )dt = (-24.53298676439231(1.5874010519681994 + t)*Elliptic.F(asin((-1.1620582220290054 + t) / (4.336860325965405 + t)), -13.928203230275509)*sqrt((2.5198420997897464 - 1.5874010519681994t + t^2) / ((4.336860325965405 + t)^2))) / (6.580370064762462sqrt((1.5874010519681994 + t) / ((4.336860325965405 + t)^2))*sqrt(4 + t^3)) + (2//5)*t*sqrt(4 + t^3) but got: (-6.181925288250038(1 + 0.6299605249474366t)*Elliptic.F(asin((-0.7320508075688772 + 0.6299605249474366t) / (2.732050807568877 + 0.6299605249474366t)), -13.928203230275509)*sqrt((1 - 0.6299605249474366t + 0.3968502629920499(t^2)) / ((2.732050807568877 + 0.6299605249474366t)^2))) / (0.8290746760692316sqrt((1 + 0.6299605249474366t) / ((2.732050807568877 + 0.6299605249474366t)^2))*sqrt(4 + t^3)) + (2//5)*t*((4 + t^3)^(1//2)) (0.9293s) [ fail ]∫( (t^3) / ((4 + t^3)^(1//2)) )dt = (-24.53298676439231(1.5874010519681994 + t)*Elliptic.F(asin((-1.1620582220290054 + t) / (4.336860325965405 + t)), -13.928203230275509)*sqrt((2.5198420997897464 - 1.5874010519681994t + t^2) / ((4.336860325965405 + t)^2))) / (6.580370064762462sqrt((1.5874010519681994 + t) / ((4.336860325965405 + t)^2))*sqrt(4 + t^3)) + (2//5)*t*sqrt(4 + t^3) but got: ∫((t^3) / ((4 + t^3)^(1//2)), t) (0.0005s) [ ok ]∫( tan(x)^2 )dx = -x + tan(x) (0.0645s) [ fail ]∫( tan(x)^2 )dx = -x + tan(x) but got: ∫(tan(x)^2, x) (0.0003s) [ ok ]∫( tan(x)^4 )dx = x - tan(x) + (tan(x)^3) / 3 (0.0364s) [ fail ]∫( tan(x)^4 )dx = x - tan(x) + (tan(x)^3) / 3 but got: ∫(tan(x)^4, x) (0.0003s) [ fail ]∫( cot(x)^2 )dx = -x - cot(x) but got: ∫(cot(x)^2, x) (0.0207s) [ fail ]∫( cot(x)^2 )dx = -x - cot(x) but got: ∫(cot(x)^2, x) (0.002s) [ fail ]∫( cot(x)^4 )dx = x + cot(x) - (1//3)*(cot(x)^3) but got: ∫(cot(x)^4, x) (0.0173s) [ fail ]∫( cot(x)^4 )dx = x + cot(x) - (1//3)*(cot(x)^3) but got: ∫(cot(x)^4, x) (0.0005s) [ ok ]∫( (2 + 3x)*sin(5x) )dx = (3//25)*sin(5x) - (1//5)*(2 + 3x)*cos(5x) (0.342s) [ fail ]∫( (2 + 3x)*sin(5x) )dx = (3//25)*sin(5x) - (1//5)*(2 + 3x)*cos(5x) but got: ∫((2 + 3x)*sin(5x), x) (0.0009s) [ ok ]∫( x*sqrt(1 + x^2) )dx = (1//3)*((1 + x^2)^(3//2)) (0.3014s) [ fail ]∫( x*sqrt(1 + x^2) )dx = (1//3)*((1 + x^2)^(3//2)) but got: ∫(x*sqrt(1 + x^2), x) (0.0003s) [ ok ]∫( x*((-1 + x^2)^9) )dx = (1//20)*((1 - (x^2))^10) (0.3014s) [ 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.0101s) [ 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.0536s) [ ok ]∫( (x^4)*((1 + x^5)^5) )dx = (1//30)*((1 + x^5)^6) (0.3468s) [ 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.4203s) [ 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.1671s) [ fail ]∫( sin(1 / x) / (x^2) )dx = cos(1 / x) but got: ∫(sin(1 / x) / (x^2), x) (0.0095s) [ 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.0095s) [ 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.3429s) [ 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 ]∫( sqrt(1 + 3(cos(x)^2))*sin(2x) )dx = (-2//9)*((4 - 3(sin(x)^2))^(3//2)) but got: ∫(sqrt(1 + 3(cos(x)^2))*sin(2x), x) (0.4115s) [ fail ]∫( sqrt(1 + 3(cos(x)^2))*sin(2x) )dx = (-2//9)*((4 - 3(sin(x)^2))^(3//2)) but got: ∫(sqrt(1 + 3(cos(x)^2))*sin(2x), x) (0.0007s) [ ok ]∫( 1 / (2 + 3x) )dx = (1//3)*log(2 + 3x) (0.0036s) [ fail?]∫( 1 / (2 + 3x) )dx = (1//3)*log(2 + 3x) but got: (1//3)*log((2//3) + x) (0.001s) [ ok ]∫( log(x)^2 )dx = 2x - 2x*log(x) + x*(log(x)^2) (0.0306s) [ 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.3857s) [ 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.5684s) [ 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.0023s) [ ok ]∫( 1 / (1 + t) )dt = log(1 + t) (0.0005s) [ fail ]∫( cot(x) )dx = log(sin(x)) but got: ∫(cot(x), x) (0.0065s) [ fail ]∫( cot(x) )dx = log(sin(x)) but got: ∫(cot(x), x) (0.0004s) [ ok ]∫( log(a*x)*(x^n) )dx = (-(x^(1 + n))) / ((1 + n)^2) + (log(a*x)*(x^(1 + n))) / (1 + n) (0.6137s) [ 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.6837s) [ 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.0004s) [ ok ]∫( 1 / (x*log(x)) )dx = log(log(x)) (0.1487s) [ fail ]∫( 1 / (x*log(x)) )dx = log(log(x)) but got: ∫(1 / (x*log(x)), x) (0.0004s) [ ok ]∫( log(1 - t) / (1 - t) )dt = (-1//2)*(log(1 - t)^2) (0.1289s) [ fail ]∫( log(1 - t) / (1 - t) )dt = (-1//2)*(log(1 - t)^2) but got: ∫(log(1 - t) / (1 - t), t) (0.0004s) 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.6743s) [ 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.0266s) [ 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.0004s) [ ok ]∫( (x^2)*exp(x^3) )dx = exp(x^3) / 3 (0.5351s) [ 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.9314s) [ fail ]∫( (2^sqrt(x)) / sqrt(x) )dx = (2^(1 + sqrt(x))) / 0.6931471805599453 but got: ∫((2^sqrt(x)) / sqrt(x), x) (0.0826s) [ fail ]∫( cos(x)*exp(2sin(x)) )dx = (1//2)*exp(2sin(x)) but got: ∫(cos(x)*exp(2sin(x)), x) (0.3573s) [ fail ]∫( cos(x)*exp(2sin(x)) )dx = (1//2)*exp(2sin(x)) but got: ∫(cos(x)*exp(2sin(x)), x) (0.0011s) [ ok ]∫( exp(x)*sin(x) )dx = -(1//2)*cos(x)*exp(x) + (1//2)*exp(x)*sin(x) (0.4227s) [ fail ]∫( exp(x)*sin(x) )dx = -(1//2)*cos(x)*exp(x) + (1//2)*exp(x)*sin(x) but got: ∫(exp(x)*sin(x), x) (0.0004s) [ ok ]∫( cos(x)*exp(x) )dx = (1//2)*cos(x)*exp(x) + (1//2)*exp(x)*sin(x) (0.3549s) [ fail ]∫( cos(x)*exp(x) )dx = (1//2)*cos(x)*exp(x) + (1//2)*exp(x)*sin(x) but got: ∫(cos(x)*exp(x), x) (0.0003s) [ fail ]∫( 1 / (1 + exp(x)) )dx = x - log(1 + exp(x)) but got: ∫(1 / (1 + exp(x)), x) (0.107s) [ fail ]∫( 1 / (1 + exp(x)) )dx = x - log(1 + exp(x)) but got: ∫(1 / (1 + exp(x)), x) (0.0004s) [ ok ]∫( x*exp(x) )dx = -exp(x) + x*exp(x) (0.3421s) [ fail ]∫( x*exp(x) )dx = -exp(x) + x*exp(x) but got: ∫(x*exp(x), x) (0.0003s) [ fail?]∫( x*exp(-x) )dx = (-x) / exp(x) - exp(-x) but got: -(ℯ^(-x)) - x*(ℯ^(-x)) (0.3498s) [ fail ]∫( x*exp(-x) )dx = (-x) / exp(x) - exp(-x) but got: ∫(x*exp(-x), x) (0.0005s) [ ok ]∫( (x^2)*exp(x) )dx = 2exp(x) - 2x*exp(x) + (x^2)*exp(x) (0.7049s) [ 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.699s) [ 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.0005s) [ ok ]∫( exp(sqrt(x)) )dx = -2exp(sqrt(x)) + 2sqrt(x)*exp(sqrt(x)) (0.3808s) [ fail ]∫( exp(sqrt(x)) )dx = -2exp(sqrt(x)) + 2sqrt(x)*exp(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.769s) [ 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) (3.3244s) [ 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.0024s) [ ok ]∫( exp(a*x)*sin(b*x) )dx = (-b*exp(a*x)*cos(b*x)) / (a^2 + b^2) + (a*exp(a*x)*sin(b*x)) / (a^2 + b^2) (0.327s) [ fail ]∫( exp(a*x)*sin(b*x) )dx = (-b*exp(a*x)*cos(b*x)) / (a^2 + b^2) + (a*exp(a*x)*sin(b*x)) / (a^2 + b^2) but got: ∫(exp(a*x)*sin(b*x), x) (0.0008s) [ ok ]∫( acot(x) )dx = (1//2)*log(1 + x^2) + x*acot(x) (0.0766s) [ 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.0115s) [ 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.011s) [ 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.1364s) [ fail ]∫( asin(x)^2 )dx = -2x + 2asin(x)*sqrt(1 - (x^2)) + x*(asin(x)^2) but got: ∫(asin(x)^2, x) (0.0003s) [ ok ]∫( asin(x) / (x^2) )dx = (-asin(x)) / x - atanh(sqrt(1 - (x^2))) (0.2633s) [ fail ]∫( asin(x) / (x^2) )dx = (-asin(x)) / x - atanh(sqrt(1 - (x^2))) but got: ∫(asin(x) / (x^2), x) (0.0003s) [ ok ]∫( 1 / sqrt(a^2 - (x^2)) )dx = atan(x / sqrt(a^2 - (x^2))) (0.0245s) [ 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.0003s) [ fail?]∫( 1 / sqrt(1 - 2x - (x^2)) )dx = asin((1 + x) / 1.4142135623730951) but got: -0.9999999999999999asin(0.3535533905932738(-2 - 2x)) (0.1534s) [ fail ]∫( 1 / sqrt(1 - 2x - (x^2)) )dx = asin((1 + x) / 1.4142135623730951) but got: ∫(1 / sqrt(1 - 2x - (x^2)), x) (0.0004s) [ fail?]∫( 1 / (a^2 + x^2) )dx = atan(x / a) / a but got: atan(x / sqrt(a^2)) / sqrt(a^2) (0.168s) [ 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.3855s) [ 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.0696s) [ fail?]∫( 1 / (2 - x + x^2) )dx = -0.7559289460184544atan((1 - 2x) / 2.6457513110645907) but got: 0.7559289460184544544290330724683601216315026237378429086766669883431625209229337atan(-0.3779644730092272272145165362341800608157513118689214543383334941715812604614669 + 0.7559289460184544544290330724683601216315026237378429086766669883431625209229337x) (0.0021s) [ ok ]∫( x*atan(x) )dx = -(1//2)*x + atan(x) / 2 + (1//2)*(x^2)*atan(x) (0.5796s) [ 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.2223s) [ 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.0003s) [ 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.7604s) [ 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.0004s) [except] exception during ∫( atan(sqrt(x)) )dx : MethodError(convert, (Symbol, :(b::P_gt_0)), 0x0000000000009ca5) [ fail ]∫( atan(sqrt(x)) )dx = -sqrt(x) + atan(sqrt(x)) + x*atan(sqrt(x)) but got: ∫(atan(sqrt(x)), x) (0.0013s) 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) (3.0899s) [ 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.0313s) [ fail ]∫( sqrt(1 - (x^2)) )dx = asin(x) / 2 + (1//2)*x*sqrt(1 - (x^2)) but got: ∫(sqrt(1 - (x^2)), x) (0.0003s) Error in ext_coeff: DomainError(1 / ((1 + x^2)^(3//2)), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / ((1 + x^2)^(3//2)), "coeff on fractions is not yet implemented.") [ 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) (1.3733s) [ 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.0005s) [ 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.3496s) [ 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.0004s) [ ok ]∫( (x^2) / ((1 + x^2)^2) )dx = atan(x) / 2 + (-x) / (2(1 + x^2)) (0.0638s) [ ok ]∫( (x^2) / ((1 + x^2)^2) )dx = atan(x) / 2 + (-x) / (2(1 + x^2)) (0.002s) [ ok ]∫( exp(x) / (1 + exp(2x)) )dx = atan(exp(x)) (0.5277s) [ fail ]∫( exp(x) / (1 + exp(2x)) )dx = atan(exp(x)) but got: ∫(exp(x) / (1 + exp(2x)), x) (0.0003s) [ 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.0853s) [ 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.4046s) [ 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.19s) [ 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.1325s) [ 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 = 2log(1 - x) + 3log(3 + x) but got: 2.0log(-1.0 + x) + 3.0log(3.0 + x) (0.2175s) [ ok ]∫( (3 + 5x) / (-3 + 2x + x^2) )dx = 2log(1 - x) + 3log(3 + x) (0.001s) [ fail?]∫( (5 + 2x) / (-3 + 2x + x^2) )dx = (7//4)*log(1 - x) + (1//4)*log(3 + x) but got: 1.75log(-1.0 + x) + 0.25log(3.0 + x) (0.0334s) [ ok ]∫( (5 + 2x) / (-3 + 2x + x^2) )dx = (7//4)*log(1 - x) + (1//4)*log(3 + x) (0.0012s) [ fail ]∫( (3x + x^3) / (-3 - 2x + x^2) )dx = 2x + log(1 + x) + 9log(3 - x) + (x^2) / 2 but got: ∫((x*(3 + x^2)) / (-3 - 2x + x^2), x) (0.6358s) [ ok ]∫( (3x + x^3) / (-3 - 2x + x^2) )dx = 2x + log(1 + x) + 9log(3 - x) + (x^2) / 2 (0.0012s) Error in ext_coeff: DomainError(1 / (-2 + x + x^2), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / (-2 + x + x^2), "coeff on fractions is not yet implemented.") [ fail ]∫( (-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3) )dx = 2log(1 - x) - (1//2)*log(2 + x) + log(x) / 2 but got: ∫((-1 + 5x + 2(x^2)) / (x*(-2 + x + x^2)), x) (7.5703s) [ ok ]∫( (-1 + 5x + 2(x^2)) / (-2x + x^2 + x^3) )dx = 2log(1 - x) - (1//2)*log(2 + x) + log(x) / 2 (0.0019s) [ 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.3621s) [ 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.0015s) [ fail?]∫( (-2 + 2x + 3(x^2)) / (-1 + x^3) )dx = log(1 - (x^3)) + 2.3094010767585034atan((1 + 2x) / 1.7320508075688772) but got: 2.3094010767585034atan((4 + 8x) / 6.928203230275509) + log(-1 + x^3) (0.9162s) [ fail?]∫( (-2 + 2x + 3(x^2)) / (-1 + x^3) )dx = log(1 - (x^3)) + 2.3094010767585034atan((1 + 2x) / 1.7320508075688772) but got: log(1 - x) + log(1 + x + x^2) + 2.30940107675850305803659512200782982259040700508050750407440930593591068921173atan(0.5773502691896257645091487805019574556476017512701268760186023264839776723029325 + 1.154700538379251529018297561003914911295203502540253752037204652967955344605865x) (0.0029s) 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(1 - x) + (1//3)*log(2 + x^2) - 0.2357022603955158atan(x / 1.4142135623730951) + 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.4221s) [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.8856180831641264905584876032662577927112579345703125atan_5486210250247913474, 1.8856180831641264905584876032662577927112579345703125x_5771757794774396048atan_5486210250247913474, 0.4714045207910316x_5771757794774396048²atan_5486210250247913474],), 0x0000000000009ca5) [ ok ]∫( 1 / (cos(x) + sin(x)) )dx = -0.7071067811865475atanh((cos(x) - sin(x)) / 1.4142135623730951) (0.0878s) [ fail ]∫( 1 / (cos(x) + sin(x)) )dx = -0.7071067811865475atanh((cos(x) - sin(x)) / 1.4142135623730951) but got: ∫(1 / (cos(x) + sin(x)), x) (0.0357s) [ 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.0815s) [ 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.0025s) [ fail?]∫( (3 + 2x) / ((5 + x)*(-2 + x)) )dx = log(5 + x) + log(2 - x) but got: log(-10 + 3x + x^2) (0.1296s) [ fail?]∫( (3 + 2x) / ((5 + x)*(-2 + x)) )dx = log(5 + x) + log(2 - x) but got: log(10 - 3x - (x^2)) (0.0011s) [ fail ]∫( x / ((2 + x)*(1 + 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.6021s) [ ok ]∫( x / ((2 + x)*(1 + x)*(3 + x)) )dx = -(1//2)*log(1 + x) + 2log(2 + x) - (3//2)*log(3 + x) (0.0013s) [ fail ]∫( x / (2 - 3x + x^3) )dx = (2//9)*log(1 - x) - (2//9)*log(2 + x) + 1 / (3(1 - x)) but got: ∫(x / (2 - 3x + x^3), x) (0.0793s) [ ok ]∫( x / (2 - 3x + x^3) )dx = (2//9)*log(1 - x) - (2//9)*log(2 + x) + 1 / (3(1 - x)) (0.0012s) Error in ext_coeff: DomainError(1 / (-2 + x + x^2), "coeff on fractions is not yet implemented.") Error in ext_coeff: DomainError(1 / (-2 + x + x^2), "coeff on fractions is not yet implemented.") [ fail ]∫( (-6 + 2x + x^4) / (-2x + x^2 + x^3) )dx = -x - log(1 - x) + log(2 + x) + 3log(x) + (x^2) / 2 but got: ∫((-6 + 2x + x^4) / (x*(-2 + x + x^2)), x) (0.2379s) [ ok ]∫( (-6 + 2x + x^4) / (-2x + x^2 + x^3) )dx = -x - log(1 - x) + log(2 + x) + 3log(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.2889s) [ 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 = 2log(1 - x) + log(1 + x + x^2) but got: -(2//3)*x + (4//3)*log(-1 + x^3) + (1//3)*x*(1 + x)*(-1 + x) (0.1288s) [ ok ]∫( (1 + x + 4(x^2)) / (-1 + x^3) )dx = 2log(1 - x) + log(1 + x + x^2) (0.0013s) [ fail?]∫( (x^4) / (4 + 5(x^2) + x^4) )dx = x - (8//3)*atan(x / 2) + atan(x) / 3 but got: x - 2.666666666666667atan(x / 2.0) + 0.3333333333333335atan(x) (0.1813s) [ fail?]∫( (x^4) / (4 + 5(x^2) + x^4) )dx = x - (8//3)*atan(x / 2) + atan(x) / 3 but got: x + (1//3)*atan(x) + (8//3)*atan((-1//2)*x) (0.002s) Warning: detected a stack overflow; program state may be corrupted, so further execution might be unreliable. Testing failed after 75.46s ERROR: LoadError: Package SymbolicIntegration errored during testing (received signal: 11) 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:221 [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 crashed after 2674.01s: a segmentation fault happened ################################################################################ # Bug reporting # Finalizing trace... BugReporting completed after 41.31s Uploaded rr trace to https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/rr/SymbolicIntegration-1772127766.tar.zst