Package evaluation to test SymbolicIntegration on Julia 1.14.0-DEV.3055 (7e75a8061a*) started at 2026-08-28T00:58:23.181 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.03s ################################################################################ # Installation # Installing SymbolicIntegration... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [315ce56f] + SymbolicIntegration v3.6.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [47edcb42] + ADTypes v1.24.0 ⌅ [c3fe647b] + AbstractAlgebra v0.49.0 [6e696c72] + AbstractPlutoDingetjes v1.4.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.45 [79e6a3ab] + Adapt v4.7.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.30.0 [e2ed5e7c] + Bijections v0.2.2 ⌅ [861a8166] + Combinatorics v1.0.2 [f70d9fcc] + CommonWorldInvalidations v1.2.0 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.19.6 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [5b8099bc] + DomainSets v0.8.1 [7c1d4256] + DynamicPolynomials v0.6.6 [b305315f] + Elliptic v1.0.1 [4e289a0a] + EnumX v1.0.7 [e2ba6199] + ExprTools v0.1.11 [55351af7] + ExproniconLite v0.10.14 [88497964] + FresnelIntegrals v0.2.0 [a85aefff] + FunctionMaps v0.1.2 [a0844989] + Gamma v1.2.0 [86223c79] + Graphs v1.14.0 [34004b35] + HypergeometricFunctions v0.3.30 [d25df0c9] + Inflate v0.1.5 [18e54dd8] + IntegerMathUtils v0.1.4 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [ae98c720] + Jieko v0.2.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [2e0e35c7] + Moshi v0.3.12 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 ⌅ [2edaba10] + Nemo v0.55.1 [bac558e1] + OrderedCollections v2.0.1 [85e3b03c] + PolyLog v2.6.2 [aea7be01] + PrecompileTools v1.3.4 [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 [7e49a35a] + RuntimeGeneratedFunctions v0.5.25 [431bcebd] + SciMLPublic v1.3.0 [efcf1570] + Setfield v1.1.2 [699a6c99] + SimpleTraits v0.9.6 [276daf66] + SpecialFunctions v2.9.0 [0c0c59c1] + StarAlgebras v0.3.0 [90137ffa] + StaticArrays v1.9.19 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.55 [315ce56f] + SymbolicIntegration v3.6.0 [19f23fe9] + SymbolicLimits v1.2.0 [d1185830] + SymbolicUtils v4.46.0 [0c5d862f] + Symbolics v7.37.0 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [d30d5f5c] + WeakCacheSets v0.1.0 ⌅ [e134572f] + FLINT_jll v301.500.0+0 [656ef2d0] + OpenBLAS32_jll v0.3.34+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.7+0 [781609d7] + GMP_jll v6.3.0+4 [3a97d323] + MPFR_jll v4.2.2+1 [4536629a] + OpenBLAS_jll v0.3.34+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.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 5.35s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 1.7 s ✓ FresnelIntegrals  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. 40.9 s ✓ SymbolicIntegration 2 dependencies successfully precompiled in 44 seconds. 130 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 70.04s ################################################################################ # Testing # Testing SymbolicIntegration Status `/tmp/jl_GHf2pH/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.49.0 ⌅ [861a8166] Combinatorics v1.0.2 [b305315f] Elliptic v1.0.1 [88497964] FresnelIntegrals v0.2.0 [34004b35] HypergeometricFunctions v0.3.30 ⌅ [2edaba10] Nemo v0.55.1 [85e3b03c] PolyLog v2.6.2 [315ce56f] SymbolicIntegration v3.6.0 [d1185830] SymbolicUtils v4.46.0 [0c5d862f] Symbolics v7.37.0 [ade2ca70] Dates v1.11.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_GHf2pH/Manifest.toml` [47edcb42] ADTypes v1.24.0 ⌅ [c3fe647b] AbstractAlgebra v0.49.0 [6e696c72] AbstractPlutoDingetjes v1.4.0 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.45 [79e6a3ab] Adapt v4.7.0 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.30.0 [e2ed5e7c] Bijections v0.2.2 ⌅ [861a8166] Combinatorics v1.0.2 [f70d9fcc] CommonWorldInvalidations v1.2.0 [b152e2b5] CompositeTypes v0.1.4 [a33af91c] CompositionsBase v0.1.2 [187b0558] ConstructionBase v1.6.0 [864edb3b] DataStructures v0.19.6 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [5b8099bc] DomainSets v0.8.1 [7c1d4256] DynamicPolynomials v0.6.6 [b305315f] Elliptic v1.0.1 [4e289a0a] EnumX v1.0.7 [e2ba6199] ExprTools v0.1.11 [55351af7] ExproniconLite v0.10.14 [88497964] FresnelIntegrals v0.2.0 [a85aefff] FunctionMaps v0.1.2 [a0844989] Gamma v1.2.0 [86223c79] Graphs v1.14.0 [34004b35] HypergeometricFunctions v0.3.30 [d25df0c9] Inflate v0.1.5 [18e54dd8] IntegerMathUtils v0.1.4 [8197267c] IntervalSets v0.7.14 [3587e190] InverseFunctions v0.1.17 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [ae98c720] Jieko v0.2.1 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [2e0e35c7] Moshi v0.3.12 [102ac46a] MultivariatePolynomials v0.5.19 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 ⌅ [2edaba10] Nemo v0.55.1 [bac558e1] OrderedCollections v2.0.1 [85e3b03c] PolyLog v2.6.2 [aea7be01] PrecompileTools v1.3.4 [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 [7e49a35a] RuntimeGeneratedFunctions v0.5.25 [431bcebd] SciMLPublic v1.3.0 [efcf1570] Setfield v1.1.2 [699a6c99] SimpleTraits v0.9.6 [276daf66] SpecialFunctions v2.9.0 [0c0c59c1] StarAlgebras v0.3.0 [90137ffa] StaticArrays v1.9.19 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [2efcf032] SymbolicIndexingInterface v0.3.55 [315ce56f] SymbolicIntegration v3.6.0 [19f23fe9] SymbolicLimits v1.2.0 [d1185830] SymbolicUtils v4.46.0 [0c5d862f] Symbolics v7.37.0 [ed4db957] TaskLocalValues v0.1.3 [8ea1fca8] TermInterface v2.0.0 [d30d5f5c] WeakCacheSets v0.1.0 ⌅ [e134572f] FLINT_jll v301.500.0+0 [656ef2d0] OpenBLAS32_jll v0.3.34+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.2.0 [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.14.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.13.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.5.7+0 [781609d7] GMP_jll v6.3.0+4 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [3a97d323] MPFR_jll v4.2.2+1 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... WARNING: Use of Nemo.QQBar is deprecated, use QQBarField() instead. likely near /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:7 [Both methods] Integration of simple functions: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:19 Test threw exception Expression: isequal(simplify(integrate(x, x) - 1 // 2 * x ^ 2; expand = true), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [4] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [5] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [6] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [7] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [8] integrate(f::Num, x::Num; verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:61 [9] integrate(f::Num, x::Num) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:60 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:11 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [14] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:17 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [16] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:19 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [Both methods] Integration of simple functions: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:20 Test threw exception Expression: isequal(simplify(integrate(x ^ 2, x) - 1 // 3 * x ^ 3; expand = true), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [9] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [10] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [11] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [12] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [13] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [14] integrate(f::Num, x::Num; verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:61 [15] integrate(f::Num, x::Num) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:60 [16] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [18] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:11 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [20] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:17 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [22] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:20 [inlined] [23] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [Both methods] Integration of simple functions: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:21 Test threw exception Expression: isequal(simplify(integrate(1 / x, x) - log(x); expand = true), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [6] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [7] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [8] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [9] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [10] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [11] integrate(f::Num, x::Num; verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:61 [12] integrate(f::Num, x::Num) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:60 [13] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [15] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:11 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [17] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:17 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [19] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:21 [inlined] [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [Both methods] Integration of simple functions: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:22 Test threw exception Expression: isequal(simplify(integrate(exp(x), x) - exp(x); expand = true), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [6] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [7] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [8] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [9] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [10] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [11] integrate(f::Num, x::Num; verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:61 [12] integrate(f::Num, x::Num) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:60 [13] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [15] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:11 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [17] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:17 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [19] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:22 [inlined] [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [Both methods] Integration of simple functions: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:23 Test threw exception Expression: isequal(simplify(integrate(log(x), x) - (-x + x * log(x)); expand = true), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [4] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [5] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [6] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [7] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [8] integrate(f::Num, x::Num; verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:61 [9] integrate(f::Num, x::Num) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:60 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:11 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [14] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:17 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [16] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:23 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] ┌ Warning: `_unsetindex!(A, i)` is deprecated, use `Base.unsetindex!(A, i)` instead. │ caller = popfirst!(d::DataStructures.Deque{Tuple{Number, Vector{Int64}}}) at deque.jl:326 [inlined] └ @ DataStructures ~/.julia/packages/DataStructures/IwRP2/src/deque.jl:326 ┌ Warning: `_unsetindex!(A, i)` is deprecated, use `Base.unsetindex!(A, i)` instead. │ caller = popfirst!(d::DataStructures.Deque{Tuple{Number, Vector{Int64}}}) at deque.jl:326 [inlined] └ @ DataStructures ~/.julia/packages/DataStructures/IwRP2/src/deque.jl:326 ┌ Warning: `zeros(R::NCRing, r::Int...)` is deprecated, use `zero_matrix(R, r...)` instead. │ caller = convolution(a::Vector{AbstractAlgebra.Generic.FracFieldElem{Nemo.QQPolyRingElem}}, b::Vector{AbstractAlgebra.Generic.FracFieldElem{Nemo.QQPolyRingElem}}, s::Int64; output_size::Int64) at frontend.jl:149 └ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/risch/frontend.jl:149 General: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:11 Test threw exception Expression: SymbolicIntegration.rule2(r1, sin(2a)) !== nothing MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 ┌[3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) │ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 ╰─── repeated 2 times [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:7 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:11 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:17 Test threw exception Expression: eq(SymbolicIntegration.rule2(rp, x), 0) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:17 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:18 Test threw exception Expression: eq(SymbolicIntegration.rule2(rp, x + 3), 3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:132 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:18 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:20 Test threw exception Expression: eq(SymbolicIntegration.rule2(rt, x), 1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:20 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:21 Test threw exception Expression: eq(SymbolicIntegration.rule2(rt, x * 3), 3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:132 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:21 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:23 Test threw exception Expression: eq(SymbolicIntegration.rule2(rpo, x), 1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:23 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:24 Test threw exception Expression: eq(SymbolicIntegration.rule2(rpo, x ^ 3), 3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:132 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:24 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:28 Test threw exception Expression: SymbolicIntegration.rule2(rmo, x ^ 3 / sqrt(4 + x ^ 3)) === nothing MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 ┌ [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) │ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 ╰──── repeated 3 times [11] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [12] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [13] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [15] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:28 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:29 Test threw exception Expression: eq(SymbolicIntegration.rule2(rmo, x ^ 3 * (4 + x ^ 3)), 1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 ┌ [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) │ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 ╰──── repeated 3 times [11] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [12] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [13] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [15] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:29 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:32 Test threw exception Expression: eq(SymbolicIntegration.rule2(rpd, x ^ 2 + 2), 2) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:32 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] defslot: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:33 Test threw exception Expression: SymbolicIntegration.rule2(rpd, x ^ 3 + 2) === nothing MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:145 [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:15 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:33 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:39 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, 1 / x ^ 3), -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:39 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:40 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, (1 / x) ^ 3), -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:40 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:41 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, 1 / x), -1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:41 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:42 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, exp(x)), x) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:42 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:43 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, sqrt(x)), 1 // 2) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:43 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:44 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, 1 / sqrt(x)), -1 // 2) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:44 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] neg exponent: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:45 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, 1 / exp(x)), -x) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Expr, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:315 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:0 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:212 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:37 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:45 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] special functions in rules: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:51 Test threw exception Expression: eq(SymbolicIntegration.rule2(rs, sqrt(x)), x) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:233 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:49 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:51 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] special functions in rules: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:52 Test threw exception Expression: eq(SymbolicIntegration.rule2(rs, x ^ (1 // 2)), x) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] operation(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/terminterface.jl:40 [inlined] [4] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:229 [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:49 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:52 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] special functions in rules: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:54 Test threw exception Expression: eq(SymbolicIntegration.rule2(rs, exp(x + 1)), x + 1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:246 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:49 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:54 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] special functions in rules: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:55 Test threw exception Expression: eq(SymbolicIntegration.rule2(rs, ℯ ^ x), x) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] variant_getfield(value::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, tag::Core.TypeEgal{SymbolicUtils.BasicSymbolicImpl.ArrayMaker}, field::Symbol) @ SymbolicUtils.BasicSymbolicImpl ~/.julia/packages/Moshi/jb5et/src/data/emit/reflect.jl:349 [inlined] [4] macro expansion @ ~/.julia/packages/Moshi/jb5et/src/match/emit/variable.jl:16 [inlined] [5] symtype(x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/types.jl:394 [inlined] [6] literal_pow(::typeof(^), x::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, ::Val{-1}) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/methods.jl:451 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:237 [8] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [9] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:49 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [11] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:55 [inlined] [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Segment: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:61 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, sin(1 + x + y + z)), 1 + x + y + z) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:156 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [3] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [4] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:59 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:61 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:146 Test threw exception Expression: eq(SymbolicIntegration.rule2(r, x ^ 2 / y ^ 3), 3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:146 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:147 Test threw exception Expression: eq(SymbolicIntegration.rule2(r2, x ^ 2 * y ^ 3), 3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:147 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:148 Test threw exception Expression: eq(SymbolicIntegration.rule2(r2, x ^ 2 / y ^ 3), -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:148 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:149 Test threw exception Expression: eq(SymbolicIntegration.rule2(r3, (x ^ 2 * y ^ 3) / z ^ 8), 8) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 ┌ [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) │ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 ╰──── repeated 2 times [10] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [11] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [13] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:149 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:150 Test threw exception Expression: eq(SymbolicIntegration.rule2(r4, x ^ 2 * y ^ 3 * z ^ 8), 8) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:150 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:151 Test threw exception Expression: eq(SymbolicIntegration.rule2(r4, (x ^ 2 * y ^ 3) / z ^ 8), -8) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] checkbounds(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, I::Int64) @ Base essentials.jl:391 [inlined] [4] getindex(A::Vector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, i::Int64) @ Base essentials.jl:1065 [inlined] [5] getindex(x::SymbolicUtils.ArgsT{SymReal}, i::Int64) @ SymbolicUtils ~/.julia/packages/SymbolicUtils/xkUyd/src/small_array.jl:277 [inlined] [6] getindex(x::ReadOnlyArrays.ReadOnlyVector{SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, SymbolicUtils.ArgsT{SymReal}}, args::Int64) @ ReadOnlyArrays ~/.julia/packages/ReadOnlyArrays/I7g0C/src/ReadOnlyArrays.jl:63 [inlined] [7] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:179 [8] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [9] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [12] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:151 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:153 Test threw exception Expression: eq(SymbolicIntegration.rule2(r6, (1 + x) / (2 + 2x) ^ 3), -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 ┌[3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) │ @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 ╰─── repeated 2 times [5] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [6] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:153 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:154 Test threw exception Expression: eq(SymbolicIntegration.rule2(r7, (x * y) / (2 + 2x) ^ 3), -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:154 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:155 Test threw exception Expression: eq((SymbolicIntegration.rule2(r8, x / (y * (2 + 2x) ^ 3)))[1], -1) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:155 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Neim Problem: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:156 Test threw exception Expression: eq((SymbolicIntegration.rule2(r8, x / (y * (2 + 2x) ^ 3)))[2], -3) MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:-1 [4] rule2(rule::Pair{Expr, Expr}, expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:397 [5] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:136 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [7] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/methods/rule_based/test_rule2.jl:156 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] ========Test results of ================================================= _____ _ _ _ ,______. / ___| | | | (_) by / Mattia \ \ `--. _ _ _ __ ___ | |__ ___ | |_ ___ (Micheletta) `--. \ | | | '_ ` _ \| '_ \ / _ \| | |/ __| \ Merlin / /\__/ / |_| | | | | | | |_) | (_) | | | (__ '‾‾‾‾‾‾° \____/ \__, |_| |_| |_|____/ \___/|_|_|\___| __/ | _____ _ _ _ _ _ |___/ |_ _| | | | | (_) (_) | | | _ __ | |_ ___ __ _ _ __ __ _| |_ _ ___ _ __ _| | | || '_ \| __/ _ \/ _` | '__/ _` | __| |/ _ \| '_ \ | | | _| || | | | || __/ (_| | | | (_| | |_| | (_) | | | |_| | | \___/_| |_|\__\___|\__, |_| \__,_|\__|_|\___/|_| |_(_) |_| __/ | _/ | |___/ |__/ Date: 2026-08-28 01:07:41 Package Version: nothing Julia Version: 1.14.0-DEV.3055 Computer: SymbolicIntegration-primary-dCfjxa27 OS: Linux x86_64 CPU Threads: 1 Memory: 32.0 GB About to test SymbolicIntegration.jl with 2 test sets ========================================================================== Difficult Tests: Error During Test at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:41 Got exception outside of a @test LoadError: MethodError: no method matching Base.ImmutableDict(::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}, ::Symbol, ::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) The type `Base.ImmutableDict` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair) where {K, V} @ Base dict.jl:807 Base.ImmutableDict(::Base.ImmutableDict{K, V}, !Matched::Pair, !Matched::Pair...) where {K, V} @ Base dict.jl:808 Base.ImmutableDict(!Matched::Pair{K, V}) where {K, V} @ Base dict.jl:806 ... Stacktrace: [1] end_of_tree(rule_symbol::Symbol, value_matched::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, current_dict::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:319 [2] check_expr_r(data::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, rule::Expr, matches::Base.ImmutableDict{Symbol, SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:123 [3] rule3(rule::Pair{Expr, Expr}, integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, integration_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/rule2.jl:420 [4] apply_rule(problem::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:24 [5] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; visited::Set{Any}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:93 [6] repeated_prewalk(expr::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:85 [7] integrate_rule_based(integrand::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}, int_var::SymbolicUtils.BasicSymbolicImpl.var"typeof(BasicSymbolicImpl)"{SymReal}; use_gamma::Bool, verbose::Bool, kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods/rule_based/frontend.jl:150 [8] integrate(f::Num, x::Num, method::RuleBasedMethod; kwargs::@Kwargs{}) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:172 [9] integrate(f::Num, x::Num, method::RuleBasedMethod) @ SymbolicIntegration ~/.julia/packages/SymbolicIntegration/FP6Ck/src/methods.jl:171 [10] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/rundifficulttests.jl:251 [11] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:335 [12] top-level scope @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:9 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [14] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:42 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [16] macro expansion @ ~/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:42 [inlined] in expression starting at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/rundifficulttests.jl:251 Test Summary: | Pass Error Broken Total Time SymbolicIntegration.jl | 128 39 1 168 7m09.1s Easy Tests | 128 38 1 167 6m55.5s Package Loading | 2 2 1.5s [Both methods] Integration of simple functions | 5 5 2m22.7s [Risch] Rational Function Integration | 17 17 53.9s [Risch] Complex Fields Operations | 10 10 0.5s [Risch] Bronstein Algorithm Examples | 10 10 1m20.8s [Risch] Algorithm Internals | 17 1 18 0.7s [Risch] Textbook transcendental integrals | 30 30 1m10.4s [Risch] Trig integrals via complex extension | 42 42 52.9s General | 1 1 0.1s defslot | 10 10 2.3s neg exponent | 7 7 0.3s special functions in rules | 4 4 0.6s Segment | 1 1 0.0s Neim Problem | 10 10 0.6s Difficult Tests | 1 1 13.6s RNG of the outermost testset: Random.Xoshiro(0x9e8a1457479dea5b, 0xd3c59ec294abc04b, 0x9cf27e8701f6f24c, 0x314e9d3dd93d7912, 0x83bdb5f300223636) ERROR: LoadError: Some tests did not pass: 128 passed, 0 failed, 39 errored, 1 broken. in expression starting at /home/pkgeval/.julia/packages/SymbolicIntegration/FP6Ck/test/runtests.jl:7 Testing failed after 471.33s 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:3283 [3] 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:587 [4] 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 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 596.5s: package tests unexpectedly errored