{"title":"Batches 3–9 symbolic integration benchmark","scope":"5521 supplied integrals across seven batch files","source":[{"batch":3,"count":1000,"sha256":"25dac6f2d2015e860be0d347170a8b0560908ca814701f4299a3f3612c880ba5"},{"batch":4,"count":1000,"sha256":"dac0e0a6c9ede10dd98394479fad57ed206f577ea04c04368afe8b2f1d103c19"},{"batch":5,"count":2000,"sha256":"775146c95af91f9bb150ca1e5609b70305129dedf6a31fa49e6706bebade2fb4"},{"batch":6,"count":500,"sha256":"0b138d9940ccbf5b1866917737bb063ed40974b2b204257c652d94d0eb206c5e"},{"batch":7,"count":500,"sha256":"e6834e2545082f66b6b7f16c8496355399974ed0eef8e4b23a2a6726bdb6fc82"},{"batch":8,"count":280,"sha256":"f8266d6f2e6abddb63111d334d96ddd04d09861bbfd26fc318045ee9c7a6b3cf"},{"batch":9,"count":241,"sha256":"494b3aaf187b5ec83af3f36038bb973d6a1b4f5c6adac6d6e8716310f681ae96"}],"versions":{"engine":"Oct 24 2026 18:13:04","sympy":"1.14.0"},"timeoutSeconds":10,"familySampleSeed":20261024,"familySampleCasesPerFamily":20,"batchRows":[{"batch":3,"count":1000,"engine":{"attempted":1000,"completed":900,"timeouts":0,"errors":0,"measured":1000,"totalSeconds":0.835,"averageMs":0.835},"sympy":{"attempted":1000,"completed":830,"timeouts":120,"errors":0,"measured":1000,"totalSeconds":1646.719,"averageMs":1646.719}},{"batch":4,"count":1000,"engine":{"attempted":1000,"completed":885,"timeouts":0,"errors":0,"measured":1000,"totalSeconds":1.697,"averageMs":1.697},"sympy":{"attempted":1000,"completed":598,"timeouts":281,"errors":0,"measured":1000,"totalSeconds":3577.566,"averageMs":3577.566}},{"batch":5,"count":2000,"engine":{"attempted":2000,"completed":1732,"timeouts":0,"errors":0,"measured":2000,"totalSeconds":7.252,"averageMs":3.626},"sympy":{"attempted":2000,"completed":1495,"timeouts":327,"errors":30,"measured":2000,"totalSeconds":4435.815,"averageMs":2217.908}},{"batch":6,"count":500,"engine":{"attempted":500,"completed":470,"timeouts":0,"errors":0,"measured":500,"totalSeconds":0.645,"averageMs":1.289},"sympy":{"attempted":500,"completed":420,"timeouts":18,"errors":20,"measured":485,"totalSeconds":450.17,"averageMs":928.186}},{"batch":7,"count":500,"engine":{"attempted":500,"completed":500,"timeouts":0,"errors":0,"measured":500,"totalSeconds":0.439,"averageMs":0.879},"sympy":{"attempted":500,"completed":490,"timeouts":10,"errors":0,"measured":500,"totalSeconds":276.484,"averageMs":552.969}},{"batch":8,"count":280,"engine":{"attempted":280,"completed":267,"timeouts":0,"errors":0,"measured":280,"totalSeconds":0.299,"averageMs":1.066},"sympy":{"attempted":280,"completed":271,"timeouts":1,"errors":5,"measured":280,"totalSeconds":56.005,"averageMs":200.02}},{"batch":9,"count":241,"engine":{"attempted":241,"completed":225,"timeouts":0,"errors":0,"measured":241,"totalSeconds":1.899,"averageMs":7.88},"sympy":{"attempted":241,"completed":227,"timeouts":8,"errors":0,"measured":241,"totalSeconds":132.895,"averageMs":551.433}}],"familyRows":[{"family":"rational/polynomial","label":"Polynomial / rational","fullCount":1478,"sampleCount":20,"full":{"engine":{"attempted":1478,"completed":1344,"timeouts":0,"errors":0,"measured":1478,"totalSeconds":0.996,"averageMs":0.674},"sympy":{"attempted":1478,"completed":1434,"timeouts":0,"errors":39,"measured":1478,"totalSeconds":239.247,"averageMs":161.872}},"sample":{"engine":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":0.009,"averageMs":0.442},"sympy":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":2.921,"averageMs":146.075}}},{"family":"algebraic radical","label":"Algebraic radicals","fullCount":322,"sampleCount":20,"full":{"engine":{"attempted":322,"completed":318,"timeouts":0,"errors":0,"measured":322,"totalSeconds":0.22,"averageMs":0.682},"sympy":{"attempted":322,"completed":319,"timeouts":1,"errors":0,"measured":322,"totalSeconds":110.131,"averageMs":342.021}},"sample":{"engine":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":0.006,"averageMs":0.318},"sympy":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":6.177,"averageMs":308.858}}},{"family":"trigonometric/hyperbolic","label":"Trigonometric / hyperbolic","fullCount":1804,"sampleCount":20,"full":{"engine":{"attempted":1804,"completed":1643,"timeouts":0,"errors":0,"measured":1804,"totalSeconds":5.688,"averageMs":3.153},"sympy":{"attempted":1804,"completed":1192,"timeouts":411,"errors":0,"measured":1804,"totalSeconds":5364.726,"averageMs":2973.795}},"sample":{"engine":{"attempted":20,"completed":16,"timeouts":0,"errors":0,"measured":20,"totalSeconds":0.014,"averageMs":0.696},"sympy":{"attempted":20,"completed":10,"timeouts":6,"errors":0,"measured":20,"totalSeconds":69.635,"averageMs":3481.73}}},{"family":"exponential/logarithmic","label":"Exponential / logarithmic","fullCount":1700,"sampleCount":20,"full":{"engine":{"attempted":1700,"completed":1459,"timeouts":0,"errors":0,"measured":1700,"totalSeconds":5.317,"averageMs":3.128},"sympy":{"attempted":1700,"completed":1176,"timeouts":347,"errors":16,"measured":1685,"totalSeconds":4755.177,"averageMs":2822.063}},"sample":{"engine":{"attempted":20,"completed":18,"timeouts":0,"errors":0,"measured":20,"totalSeconds":0.06,"averageMs":3.012},"sympy":{"attempted":20,"completed":14,"timeouts":5,"errors":0,"measured":20,"totalSeconds":55.969,"averageMs":2798.448}}},{"family":"inverse function","label":"Inverse functions","fullCount":217,"sampleCount":20,"full":{"engine":{"attempted":217,"completed":215,"timeouts":0,"errors":0,"measured":217,"totalSeconds":0.844,"averageMs":3.89},"sympy":{"attempted":217,"completed":210,"timeouts":6,"errors":0,"measured":217,"totalSeconds":106.375,"averageMs":490.208}},"sample":{"engine":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":0.077,"averageMs":3.872},"sympy":{"attempted":20,"completed":20,"timeouts":0,"errors":0,"measured":20,"totalSeconds":4.785,"averageMs":239.225}}}],"trajectory":[{"n":0,"engineSeconds":0,"sympySeconds":0},{"n":25,"engineSeconds":0.012,"sympySeconds":1.721},{"n":50,"engineSeconds":0.024,"sympySeconds":3.366},{"n":75,"engineSeconds":0.043,"sympySeconds":5.182},{"n":100,"engineSeconds":0.066,"sympySeconds":6.929},{"n":125,"engineSeconds":0.071,"sympySeconds":9.332},{"n":150,"engineSeconds":0.078,"sympySeconds":13.313},{"n":175,"engineSeconds":0.08,"sympySeconds":15.454},{"n":200,"engineSeconds":0.082,"sympySeconds":17.714},{"n":225,"engineSeconds":0.083,"sympySeconds":22.588},{"n":250,"engineSeconds":0.085,"sympySeconds":45.026},{"n":275,"engineSeconds":0.089,"sympySeconds":48.103},{"n":300,"engineSeconds":0.093,"sympySeconds":51.403},{"n":325,"engineSeconds":0.103,"sympySeconds":56.138},{"n":350,"engineSeconds":0.143,"sympySeconds":69.063},{"n":375,"engineSeconds":0.146,"sympySeconds":72.28},{"n":400,"engineSeconds":0.153,"sympySeconds":77.013},{"n":425,"engineSeconds":0.156,"sympySeconds":80.036},{"n":450,"engineSeconds":0.159,"sympySeconds":83.143},{"n":475,"engineSeconds":0.164,"sympySeconds":87.577},{"n":500,"engineSeconds":0.168,"sympySeconds":92.895},{"n":525,"engineSeconds":0.172,"sympySeconds":95.172},{"n":550,"engineSeconds":0.18,"sympySeconds":97.166},{"n":575,"engineSeconds":0.204,"sympySeconds":99.779},{"n":600,"engineSeconds":0.292,"sympySeconds":102.884},{"n":625,"engineSeconds":0.293,"sympySeconds":120.584},{"n":650,"engineSeconds":0.295,"sympySeconds":226.595},{"n":675,"engineSeconds":0.328,"sympySeconds":248.345},{"n":700,"engineSeconds":0.346,"sympySeconds":444.93},{"n":725,"engineSeconds":0.36,"sympySeconds":533.022},{"n":750,"engineSeconds":0.395,"sympySeconds":783.022},{"n":775,"engineSeconds":0.503,"sympySeconds":787.638},{"n":800,"engineSeconds":0.764,"sympySeconds":795.121},{"n":825,"engineSeconds":0.771,"sympySeconds":798.454},{"n":850,"engineSeconds":0.78,"sympySeconds":803.426},{"n":875,"engineSeconds":0.782,"sympySeconds":1026.565},{"n":900,"engineSeconds":0.784,"sympySeconds":1276.565},{"n":925,"engineSeconds":0.786,"sympySeconds":1381.034},{"n":950,"engineSeconds":0.788,"sympySeconds":1631.034},{"n":975,"engineSeconds":0.812,"sympySeconds":1638.294},{"n":1000,"engineSeconds":0.835,"sympySeconds":1646.719},{"n":1025,"engineSeconds":0.837,"sympySeconds":1719.569},{"n":1050,"engineSeconds":0.84,"sympySeconds":1819.628},{"n":1075,"engineSeconds":0.841,"sympySeconds":1853.068},{"n":1100,"engineSeconds":0.842,"sympySeconds":2019.547},{"n":1125,"engineSeconds":0.846,"sympySeconds":2087.471},{"n":1150,"engineSeconds":0.85,"sympySeconds":2178.27},{"n":1175,"engineSeconds":0.852,"sympySeconds":2392.803},{"n":1200,"engineSeconds":0.854,"sympySeconds":2642.803},{"n":1225,"engineSeconds":0.889,"sympySeconds":2718.527},{"n":1250,"engineSeconds":0.898,"sympySeconds":2968.527},{"n":1275,"engineSeconds":0.947,"sympySeconds":3218.527},{"n":1300,"engineSeconds":0.984,"sympySeconds":3468.527},{"n":1325,"engineSeconds":0.989,"sympySeconds":3470.555},{"n":1350,"engineSeconds":0.999,"sympySeconds":3472.651},{"n":1375,"engineSeconds":1.138,"sympySeconds":3496.465},{"n":1400,"engineSeconds":1.797,"sympySeconds":3633.756},{"n":1425,"engineSeconds":1.874,"sympySeconds":3642.344},{"n":1450,"engineSeconds":1.985,"sympySeconds":3651.931},{"n":1475,"engineSeconds":1.994,"sympySeconds":3656.72},{"n":1500,"engineSeconds":2.038,"sympySeconds":3664.983},{"n":1525,"engineSeconds":2.041,"sympySeconds":3668.529},{"n":1550,"engineSeconds":2.047,"sympySeconds":3673.315},{"n":1575,"engineSeconds":2.097,"sympySeconds":3827.003},{"n":1600,"engineSeconds":2.162,"sympySeconds":4077.003},{"n":1625,"engineSeconds":2.214,"sympySeconds":4079.901},{"n":1650,"engineSeconds":2.337,"sympySeconds":4082.803},{"n":1675,"engineSeconds":2.344,"sympySeconds":4138.149},{"n":1700,"engineSeconds":2.35,"sympySeconds":4218.071},{"n":1725,"engineSeconds":2.4,"sympySeconds":4222.997},{"n":1750,"engineSeconds":2.461,"sympySeconds":4232.127},{"n":1775,"engineSeconds":2.464,"sympySeconds":4236.686},{"n":1800,"engineSeconds":2.47,"sympySeconds":4255.751},{"n":1825,"engineSeconds":2.478,"sympySeconds":4258.284},{"n":1850,"engineSeconds":2.49,"sympySeconds":4261.045},{"n":1875,"engineSeconds":2.492,"sympySeconds":4482.901},{"n":1900,"engineSeconds":2.494,"sympySeconds":4732.901},{"n":1925,"engineSeconds":2.499,"sympySeconds":4966.227},{"n":1950,"engineSeconds":2.504,"sympySeconds":5216.227},{"n":1975,"engineSeconds":2.516,"sympySeconds":5219.394},{"n":2000,"engineSeconds":2.532,"sympySeconds":5224.285},{"n":2025,"engineSeconds":2.629,"sympySeconds":5226.978},{"n":2050,"engineSeconds":3.457,"sympySeconds":5319.612},{"n":2075,"engineSeconds":4.294,"sympySeconds":5412.809},{"n":2100,"engineSeconds":5.114,"sympySeconds":5506.28},{"n":2125,"engineSeconds":5.148,"sympySeconds":5549.702},{"n":2150,"engineSeconds":5.19,"sympySeconds":5593.398},{"n":2175,"engineSeconds":5.233,"sympySeconds":5637.116},{"n":2200,"engineSeconds":5.279,"sympySeconds":5680.644},{"n":2225,"engineSeconds":5.334,"sympySeconds":5684.044},{"n":2250,"engineSeconds":5.425,"sympySeconds":5687.944},{"n":2275,"engineSeconds":5.591,"sympySeconds":5693.098},{"n":2300,"engineSeconds":5.86,"sympySeconds":5700.162},{"n":2325,"engineSeconds":5.863,"sympySeconds":5702.602},{"n":2350,"engineSeconds":5.865,"sympySeconds":5705.048},{"n":2375,"engineSeconds":5.867,"sympySeconds":5707.468},{"n":2400,"engineSeconds":5.87,"sympySeconds":5709.969},{"n":2425,"engineSeconds":6.203,"sympySeconds":5882.127},{"n":2450,"engineSeconds":7.018,"sympySeconds":6091.529},{"n":2475,"engineSeconds":7.413,"sympySeconds":6268.972},{"n":2500,"engineSeconds":8.26,"sympySeconds":6481.109},{"n":2525,"engineSeconds":8.302,"sympySeconds":6484.585},{"n":2550,"engineSeconds":8.349,"sympySeconds":6487.961},{"n":2575,"engineSeconds":8.398,"sympySeconds":6491.442},{"n":2600,"engineSeconds":8.448,"sympySeconds":6495.237},{"n":2625,"engineSeconds":8.456,"sympySeconds":6567.183},{"n":2650,"engineSeconds":8.466,"sympySeconds":6669.202},{"n":2675,"engineSeconds":8.477,"sympySeconds":6764.051},{"n":2700,"engineSeconds":8.488,"sympySeconds":6876.035},{"n":2725,"engineSeconds":8.508,"sympySeconds":6945.586},{"n":2750,"engineSeconds":8.532,"sympySeconds":7026.721},{"n":2775,"engineSeconds":8.56,"sympySeconds":7122.754},{"n":2800,"engineSeconds":8.594,"sympySeconds":7210.052},{"n":2825,"engineSeconds":8.601,"sympySeconds":7389.358},{"n":2850,"engineSeconds":8.607,"sympySeconds":7595.044},{"n":2875,"engineSeconds":8.614,"sympySeconds":7777.65},{"n":2900,"engineSeconds":8.621,"sympySeconds":7984.665},{"n":2925,"engineSeconds":8.628,"sympySeconds":8146.013},{"n":2950,"engineSeconds":8.632,"sympySeconds":8324.926},{"n":2975,"engineSeconds":8.636,"sympySeconds":8498.818},{"n":3000,"engineSeconds":8.641,"sympySeconds":8690.766},{"n":3025,"engineSeconds":8.644,"sympySeconds":8864.627},{"n":3050,"engineSeconds":8.646,"sympySeconds":9049.831},{"n":3075,"engineSeconds":8.649,"sympySeconds":9257.402},{"n":3100,"engineSeconds":8.651,"sympySeconds":9486.833},{"n":3125,"engineSeconds":8.659,"sympySeconds":9491.257},{"n":3150,"engineSeconds":8.668,"sympySeconds":9495.729},{"n":3175,"engineSeconds":8.678,"sympySeconds":9500.303},{"n":3200,"engineSeconds":8.691,"sympySeconds":9505.17},{"n":3225,"engineSeconds":8.707,"sympySeconds":9511.237},{"n":3250,"engineSeconds":8.726,"sympySeconds":9517.656},{"n":3275,"engineSeconds":8.745,"sympySeconds":9524.149},{"n":3300,"engineSeconds":8.772,"sympySeconds":9531.032},{"n":3325,"engineSeconds":8.785,"sympySeconds":9533.741},{"n":3350,"engineSeconds":8.797,"sympySeconds":9536.676},{"n":3375,"engineSeconds":8.81,"sympySeconds":9539.793},{"n":3400,"engineSeconds":8.826,"sympySeconds":9543.22},{"n":3425,"engineSeconds":8.829,"sympySeconds":9546.023},{"n":3450,"engineSeconds":8.833,"sympySeconds":9549.027},{"n":3475,"engineSeconds":8.837,"sympySeconds":9552.264},{"n":3500,"engineSeconds":8.843,"sympySeconds":9555.726},{"n":3525,"engineSeconds":8.984,"sympySeconds":9560.573},{"n":3550,"engineSeconds":9.133,"sympySeconds":9566.236},{"n":3575,"engineSeconds":9.299,"sympySeconds":9571.513},{"n":3600,"engineSeconds":9.476,"sympySeconds":9576.875},{"n":3625,"engineSeconds":9.485,"sympySeconds":9586.048},{"n":3650,"engineSeconds":9.494,"sympySeconds":9595.614},{"n":3675,"engineSeconds":9.503,"sympySeconds":9605.845},{"n":3700,"engineSeconds":9.514,"sympySeconds":9618.333},{"n":3725,"engineSeconds":9.525,"sympySeconds":9621.134},{"n":3750,"engineSeconds":9.533,"sympySeconds":9623.991},{"n":3775,"engineSeconds":9.537,"sympySeconds":9626.586},{"n":3800,"engineSeconds":9.544,"sympySeconds":9629.998},{"n":3825,"engineSeconds":9.558,"sympySeconds":9632.387},{"n":3850,"engineSeconds":9.573,"sympySeconds":9634.727},{"n":3875,"engineSeconds":9.589,"sympySeconds":9636.989},{"n":3900,"engineSeconds":9.607,"sympySeconds":9639.303},{"n":3925,"engineSeconds":9.644,"sympySeconds":9643.177},{"n":3950,"engineSeconds":9.689,"sympySeconds":9648.731},{"n":3975,"engineSeconds":9.737,"sympySeconds":9654.513},{"n":4000,"engineSeconds":9.784,"sympySeconds":9660.1},{"n":4025,"engineSeconds":9.8,"sympySeconds":9747.012},{"n":4050,"engineSeconds":9.817,"sympySeconds":9839.025},{"n":4075,"engineSeconds":9.885,"sympySeconds":9857.849},{"n":4100,"engineSeconds":9.961,"sympySeconds":9884.551},{"n":4125,"engineSeconds":9.999,"sympySeconds":9891.268},{"n":4150,"engineSeconds":10.046,"sympySeconds":9901.11},{"n":4175,"engineSeconds":10.049,"sympySeconds":9904.483},{"n":4200,"engineSeconds":10.052,"sympySeconds":9907.344},{"n":4225,"engineSeconds":10.096,"sympySeconds":9919.242},{"n":4250,"engineSeconds":10.129,"sympySeconds":9928.219},{"n":4275,"engineSeconds":10.135,"sympySeconds":9932.535},{"n":4300,"engineSeconds":10.14,"sympySeconds":9937.25},{"n":4325,"engineSeconds":10.149,"sympySeconds":9946.671},{"n":4350,"engineSeconds":10.16,"sympySeconds":9955.333},{"n":4375,"engineSeconds":10.185,"sympySeconds":9993.578},{"n":4400,"engineSeconds":10.208,"sympySeconds":10051.206},{"n":4425,"engineSeconds":10.228,"sympySeconds":10053.398},{"n":4450,"engineSeconds":10.248,"sympySeconds":10055.737},{"n":4475,"engineSeconds":10.416,"sympySeconds":10107.935},{"n":4500,"engineSeconds":10.428,"sympySeconds":10110.27},{"n":4525,"engineSeconds":10.454,"sympySeconds":10116.985},{"n":4550,"engineSeconds":10.484,"sympySeconds":10124.43},{"n":4575,"engineSeconds":10.516,"sympySeconds":10132.071},{"n":4600,"engineSeconds":10.546,"sympySeconds":10139.509},{"n":4625,"engineSeconds":10.555,"sympySeconds":10142.636},{"n":4650,"engineSeconds":10.567,"sympySeconds":10146.346},{"n":4675,"engineSeconds":10.579,"sympySeconds":10150.035},{"n":4700,"engineSeconds":10.591,"sympySeconds":10153.685},{"n":4725,"engineSeconds":10.625,"sympySeconds":10156.744},{"n":4750,"engineSeconds":10.658,"sympySeconds":10159.84},{"n":4775,"engineSeconds":10.691,"sympySeconds":10162.914},{"n":4800,"engineSeconds":10.723,"sympySeconds":10166.023},{"n":4825,"engineSeconds":10.738,"sympySeconds":10170.486},{"n":4850,"engineSeconds":10.756,"sympySeconds":10175.253},{"n":4875,"engineSeconds":10.774,"sympySeconds":10180.078},{"n":4900,"engineSeconds":10.792,"sympySeconds":10184.85},{"n":4925,"engineSeconds":10.818,"sympySeconds":10191.448},{"n":4950,"engineSeconds":10.848,"sympySeconds":10198.788},{"n":4975,"engineSeconds":10.859,"sympySeconds":10292.046},{"n":5000,"engineSeconds":10.868,"sympySeconds":10386.755},{"n":5025,"engineSeconds":10.908,"sympySeconds":10389.635},{"n":5050,"engineSeconds":10.926,"sympySeconds":10393.902},{"n":5075,"engineSeconds":10.973,"sympySeconds":10398.681},{"n":5100,"engineSeconds":11.024,"sympySeconds":10403.388},{"n":5125,"engineSeconds":11.038,"sympySeconds":10420.962},{"n":5150,"engineSeconds":11.045,"sympySeconds":10424.422},{"n":5175,"engineSeconds":11.052,"sympySeconds":10428.352},{"n":5200,"engineSeconds":11.076,"sympySeconds":10431.225},{"n":5225,"engineSeconds":11.1,"sympySeconds":10435.218},{"n":5250,"engineSeconds":11.131,"sympySeconds":10438.617},{"n":5275,"engineSeconds":11.164,"sympySeconds":10442.167},{"n":5300,"engineSeconds":11.181,"sympySeconds":10449.593},{"n":5325,"engineSeconds":11.189,"sympySeconds":10452.117},{"n":5350,"engineSeconds":11.2,"sympySeconds":10465.76},{"n":5375,"engineSeconds":11.252,"sympySeconds":10492.914},{"n":5400,"engineSeconds":11.3,"sympySeconds":10496.822},{"n":5425,"engineSeconds":11.31,"sympySeconds":10499.169},{"n":5450,"engineSeconds":11.32,"sympySeconds":10503.479},{"n":5475,"engineSeconds":11.346,"sympySeconds":10521.682},{"n":5500,"engineSeconds":11.377,"sympySeconds":10533.795},{"n":5521,"engineSeconds":13.065,"sympySeconds":10575.656}],"fullTotals":{"engine":{"attempted":5521,"completed":4979,"timeouts":0,"errors":0,"measured":5521,"totalSeconds":13.065,"averageMs":2.367},"sympy":{"attempted":5521,"completed":4331,"timeouts":765,"errors":55,"measured":5506,"totalSeconds":10575.656,"averageMs":1920.751}}}