{
"categories": {
"definite_integral": "Definite integral values via F(hi)-F(lo)",
"ftc_check": "FTC verification: f(x) values and F(x) values at test points",
"gosper_sum": "Closed-form sums vs brute-force computation",
"ode_verify": "ODE solution residuals (should be zero)",
"series_verify": "Truncated series vs exact function at nearby points",
"simplify_verify": "Numerical equivalence of original and simplified expressions"
},
"description": "Correctness audit fixtures for symplex new capabilities",
"fixture_count": 108,
"fixtures": [
{
"antiderivative": "x**3/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2916666666666667
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.390625
},
"integrand_value": {
"im": 0.0,
"re": 0.390625
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5625
},
"integrand_value": {
"im": 0.0,
"re": 0.5625
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.765625
},
"integrand_value": {
"im": 0.0,
"re": 0.765625
},
"x": 0.875
}
],
"hi": 1.0,
"id": 1,
"input": "x**2",
"label": "x_squared",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "x**4/4",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.234375
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.244140625
},
"integrand_value": {
"im": 0.0,
"re": 0.244140625
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.421875
},
"integrand_value": {
"im": 0.0,
"re": 0.421875
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.669921875
},
"integrand_value": {
"im": 0.0,
"re": 0.669921875
},
"x": 0.875
}
],
"hi": 1.0,
"id": 2,
"input": "x**3",
"label": "x_cubed",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "-cos(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.337280256022233
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5850972729404622
},
"integrand_value": {
"im": 0.0,
"re": 0.5850972729404622
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6816387600233341
},
"integrand_value": {
"im": 0.0,
"re": 0.6816387600233341
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7675435022360271
},
"integrand_value": {
"im": 0.0,
"re": 0.7675435022360271
},
"x": 0.875
}
],
"hi": 1.0,
"id": 3,
"input": "sin(x)",
"label": "sin_x",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "sin(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.3620454462036935
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.8109631195052179
},
"integrand_value": {
"im": 0.0,
"re": 0.8109631195052179
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7316888688738209
},
"integrand_value": {
"im": 0.0,
"re": 0.7316888688738209
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6409968581633251
},
"integrand_value": {
"im": 0.0,
"re": 0.6409968581633251
},
"x": 0.875
}
],
"hi": 1.0,
"id": 4,
"input": "cos(x)",
"label": "cos_x",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "exp(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.0695605577589171
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.8682459574322223
},
"integrand_value": {
"im": 0.0,
"re": 1.8682459574322223
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.117000016612675
},
"integrand_value": {
"im": 0.0,
"re": 2.117000016612675
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.398875293967098
},
"integrand_value": {
"im": 0.0,
"re": 2.398875293967098
},
"x": 0.875
}
],
"hi": 1.0,
"id": 5,
"input": "exp(x)",
"label": "exp_x",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "log(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.3862943611198906
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1428571428571428
},
"integrand_value": {
"im": 0.0,
"re": 1.1428571428571428
},
"x": 0.875
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.8
},
"integrand_value": {
"im": 0.0,
"re": 0.8
},
"x": 1.25
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6153846153846154
},
"integrand_value": {
"im": 0.0,
"re": 0.6153846153846154
},
"x": 1.625
}
],
"hi": 2.0,
"id": 6,
"input": "1/x",
"label": "one_over_x",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "-log(cos(x))",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.5840454191385447
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4677300254523918
},
"integrand_value": {
"im": 0.0,
"re": 0.4677300254523918
},
"x": 0.4375
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7214844409909045
},
"integrand_value": {
"im": 0.0,
"re": 0.7214844409909045
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.05572763941192
},
"integrand_value": {
"im": 0.0,
"re": 1.05572763941192
},
"x": 0.8125
}
],
"hi": 1.0,
"id": 7,
"input": "tan(x)",
"label": "tan_x",
"lo": 0.25,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "x*log(x) - x",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.23286795139986327
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": -0.13353139262452263
},
"integrand_value": {
"im": 0.0,
"re": -0.13353139262452263
},
"x": 0.875
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.22314355131420976
},
"integrand_value": {
"im": 0.0,
"re": 0.22314355131420976
},
"x": 1.25
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4855078157817008
},
"integrand_value": {
"im": 0.0,
"re": 0.4855078157817008
},
"x": 1.625
}
],
"hi": 2.0,
"id": 8,
"input": "log(x)",
"label": "ln_x",
"lo": 0.5,
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "(x - 1)*exp(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.8243606353500641
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.167653723395139
},
"integrand_value": {
"im": 0.0,
"re": 1.167653723395139
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.587750012459506
},
"integrand_value": {
"im": 0.0,
"re": 1.587750012459506
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.099015882221211
},
"integrand_value": {
"im": 0.0,
"re": 2.099015882221211
},
"x": 0.875
}
],
"hi": 1.0,
"id": 9,
"input": "x*exp(x)",
"label": "x_exp_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "-x*cos(x) + sin(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.26053442128074017
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.36568579558778885
},
"integrand_value": {
"im": 0.0,
"re": 0.36568579558778885
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5112290700175006
},
"integrand_value": {
"im": 0.0,
"re": 0.5112290700175006
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6716005644565236
},
"integrand_value": {
"im": 0.0,
"re": 0.6716005644565236
},
"x": 0.875
}
],
"hi": 1.0,
"id": 10,
"input": "x*sin(x)",
"label": "x_sin_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x*sin(x) + cos(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.264477959483562
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5068519496907612
},
"integrand_value": {
"im": 0.0,
"re": 0.5068519496907612
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5487666516553656
},
"integrand_value": {
"im": 0.0,
"re": 0.5487666516553656
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5608722508929095
},
"integrand_value": {
"im": 0.0,
"re": 0.5608722508929095
},
"x": 0.875
}
],
"hi": 1.0,
"id": 11,
"input": "x*cos(x)",
"label": "x_cos_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "(x**2 - 2*x + 2)*exp(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.6573802400838851
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7297835771219618
},
"integrand_value": {
"im": 0.0,
"re": 0.7297835771219618
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1908125093446296
},
"integrand_value": {
"im": 0.0,
"re": 1.1908125093446296
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.8366388969435594
},
"integrand_value": {
"im": 0.0,
"re": 1.8366388969435594
},
"x": 0.875
}
],
"hi": 1.0,
"id": 12,
"input": "x**2*exp(x)",
"label": "x2_exp_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x**2*log(x)/2 - x**2/4",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.5354377586898837
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": -0.1168399685464573
},
"integrand_value": {
"im": 0.0,
"re": -0.1168399685464573
},
"x": 0.875
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.2789294391427622
},
"integrand_value": {
"im": 0.0,
"re": 0.2789294391427622
},
"x": 1.25
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7889502006452638
},
"integrand_value": {
"im": 0.0,
"re": 0.7889502006452638
},
"x": 1.625
}
],
"hi": 2.0,
"id": 13,
"input": "x*log(x)",
"label": "x_ln_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x*log(x)**2 - 2*x*log(x) + 2*x",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2549436180775756
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.017830632816244415
},
"integrand_value": {
"im": 0.0,
"re": 0.017830632816244415
},
"x": 0.875
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.04979304449311736
},
"integrand_value": {
"im": 0.0,
"re": 0.04979304449311736
},
"x": 1.25
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.23571783918511793
},
"integrand_value": {
"im": 0.0,
"re": 0.23571783918511793
},
"x": 1.625
}
],
"hi": 2.0,
"id": 14,
"input": "log(x)**2",
"label": "ln_x_sq",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "-x**2*cos(x) + 2*x*sin(x) + 2*cos(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.20804925357157747
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.22855362224236803
},
"integrand_value": {
"im": 0.0,
"re": 0.22855362224236803
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.38342180251312546
},
"integrand_value": {
"im": 0.0,
"re": 0.38342180251312546
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5876504938994582
},
"integrand_value": {
"im": 0.0,
"re": 0.5876504938994582
},
"x": 0.875
}
],
"hi": 1.0,
"id": 15,
"input": "x**2*sin(x)",
"label": "x2_sin_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "(x**3 - 3*x**2 + 6*x - 6)*exp(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.5400509493698741
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4561147357012262
},
"integrand_value": {
"im": 0.0,
"re": 0.4561147357012262
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.8931093820084721
},
"integrand_value": {
"im": 0.0,
"re": 0.8931093820084721
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.6070590348256144
},
"integrand_value": {
"im": 0.0,
"re": 1.6070590348256144
},
"x": 0.875
}
],
"hi": 1.0,
"id": 16,
"input": "x**3*exp(x)",
"label": "x3_exp_x",
"lo": 0.5,
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x/2 - sin(x)*cos(x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2330433894955537
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.34233881880236566
},
"integrand_value": {
"im": 0.0,
"re": 0.34233881880236566
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.46463139916614854
},
"integrand_value": {
"im": 0.0,
"re": 0.46463139916614854
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.589123027824746
},
"integrand_value": {
"im": 0.0,
"re": 0.589123027824746
},
"x": 0.875
}
],
"hi": 1.0,
"id": 17,
"input": "sin(x)**2",
"label": "sin2_x",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "x/2 + sin(x)*cos(x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2669566105044463
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6576611811976343
},
"integrand_value": {
"im": 0.0,
"re": 0.6576611811976343
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5353686008338514
},
"integrand_value": {
"im": 0.0,
"re": 0.5353686008338514
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.41087697217525393
},
"integrand_value": {
"im": 0.0,
"re": 0.41087697217525393
},
"x": 0.875
}
],
"hi": 1.0,
"id": 18,
"input": "cos(x)**2",
"label": "cos2_x",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "cos(x)**3/3 - cos(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.16456605049432904
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.20030150930292318
},
"integrand_value": {
"im": 0.0,
"re": 0.20030150930292318
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.3167107707955203
},
"integrand_value": {
"im": 0.0,
"re": 0.3167107707955203
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.452177552024498
},
"integrand_value": {
"im": 0.0,
"re": 0.452177552024498
},
"x": 0.875
}
],
"hi": 1.0,
"id": 19,
"input": "sin(x)**3",
"label": "sin3_x",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "3*x/8 - sin(x)**3*cos(x)/4 - 3*sin(x)*cos(x)/8",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.11847776692887839
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.11719586685899895
},
"integrand_value": {
"im": 0.0,
"re": 0.11719586685899895
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.21588233709109286
},
"integrand_value": {
"im": 0.0,
"re": 0.21588233709109286
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.3470659419133965
},
"integrand_value": {
"im": 0.0,
"re": 0.3470659419133965
},
"x": 0.875
}
],
"hi": 1.0,
"id": 20,
"input": "sin(x)**4",
"label": "sin4_x",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "-x + sin(x)/cos(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.5520658034338659
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.21877137670969507
},
"integrand_value": {
"im": 0.0,
"re": 0.21877137670969507
},
"x": 0.4375
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5205397985919579
},
"integrand_value": {
"im": 0.0,
"re": 0.5205397985919579
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1145608486182648
},
"integrand_value": {
"im": 0.0,
"re": 1.1145608486182648
},
"x": 0.8125
}
],
"hi": 1.0,
"id": 21,
"input": "tan(x)**2",
"label": "tan2_x",
"lo": 0.25,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "sin(x)**2/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.23911228560382053
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4744923096777931
},
"integrand_value": {
"im": 0.0,
"re": 0.4744923096777931
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4987474933020272
},
"integrand_value": {
"im": 0.0,
"re": 0.4987474933020272
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.49199297343696846
},
"integrand_value": {
"im": 0.0,
"re": 0.49199297343696846
},
"x": 0.875
}
],
"hi": 1.0,
"id": 22,
"input": "sin(x)*cos(x)",
"label": "sin_x_cos_x",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "x/8 - sin(2*x)*cos(2*x)/16",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.11456562256667531
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.22514295194336673
},
"integrand_value": {
"im": 0.0,
"re": 0.22514295194336673
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.24874906207505568
},
"integrand_value": {
"im": 0.0,
"re": 0.24874906207505568
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.24205708591134953
},
"integrand_value": {
"im": 0.0,
"re": 0.24205708591134953
},
"x": 0.875
}
],
"hi": 1.0,
"id": 23,
"input": "sin(x)**2*cos(x)**2",
"label": "sin2_cos2",
"lo": 0.5,
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "atan(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.3217505543966422
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7191011235955056
},
"integrand_value": {
"im": 0.0,
"re": 0.7191011235955056
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.64
},
"integrand_value": {
"im": 0.0,
"re": 0.64
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5663716814159292
},
"integrand_value": {
"im": 0.0,
"re": 0.5663716814159292
},
"x": 0.875
}
],
"hi": 1.0,
"id": 24,
"input": "1/(x**2 + 1)",
"label": "inv_x2p1",
"lo": 0.5,
"subcategory": "rational",
"variable": "x"
},
{
"antiderivative": "log(x - 1)/2 - log(x + 1)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2027325540540822
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.24615384615384617
},
"integrand_value": {
"im": 0.0,
"re": 0.24615384615384617
},
"x": 2.25
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.19047619047619047
},
"integrand_value": {
"im": 0.0,
"re": 0.19047619047619047
},
"x": 2.5
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.1523809523809524
},
"integrand_value": {
"im": 0.0,
"re": 0.1523809523809524
},
"x": 2.75
}
],
"hi": 3.0,
"id": 25,
"input": "1/(x**2 - 1)",
"label": "inv_x2m1",
"lo": 2.0,
"subcategory": "rational",
"variable": "x"
},
{
"antiderivative": "-1/(2*x**2 + 2)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.15
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.32319151622269915
},
"integrand_value": {
"im": 0.0,
"re": 0.32319151622269915
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.3072
},
"integrand_value": {
"im": 0.0,
"re": 0.3072
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.28067977132116845
},
"integrand_value": {
"im": 0.0,
"re": 0.28067977132116845
},
"x": 0.875
}
],
"hi": 1.0,
"id": 26,
"input": "x/(x**2 + 1)**2",
"label": "x_over_x2p1_sq",
"lo": 0.5,
"subcategory": "rational",
"variable": "x"
},
{
"antiderivative": "asin(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2709185204562202
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.0527227119356304
},
"integrand_value": {
"im": 0.0,
"re": 1.0527227119356304
},
"x": 0.3125
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.0787197799411874
},
"integrand_value": {
"im": 0.0,
"re": 1.0787197799411874
},
"x": 0.375
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1120768749710654
},
"integrand_value": {
"im": 0.0,
"re": 1.1120768749710654
},
"x": 0.4375
}
],
"hi": 0.5,
"id": 27,
"input": "1/sqrt(1 - x**2)",
"label": "inv_sqrt_1mx2",
"lo": 0.25,
"subcategory": "sqrt",
"variable": "x"
},
{
"antiderivative": "asinh(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.4001617619599396
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.847998304005088
},
"integrand_value": {
"im": 0.0,
"re": 0.847998304005088
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.8
},
"integrand_value": {
"im": 0.0,
"re": 0.8
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7525766947068778
},
"integrand_value": {
"im": 0.0,
"re": 0.7525766947068778
},
"x": 0.875
}
],
"hi": 1.0,
"id": 28,
"input": "1/sqrt(x**2 + 1)",
"label": "inv_sqrt_x2p1",
"lo": 0.5,
"subcategory": "sqrt",
"variable": "x"
},
{
"antiderivative": "sqrt(x**2 + 1)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2961795736232002
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.52999894000318
},
"integrand_value": {
"im": 0.0,
"re": 0.52999894000318
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6
},
"integrand_value": {
"im": 0.0,
"re": 0.6
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.658504607868518
},
"integrand_value": {
"im": 0.0,
"re": 0.658504607868518
},
"x": 0.875
}
],
"hi": 1.0,
"id": 29,
"input": "x/sqrt(x**2 + 1)",
"label": "x_over_sqrt_x2p1",
"lo": 0.5,
"subcategory": "sqrt",
"variable": "x"
},
{
"antiderivative": "exp(x)*sin(x)/2 - exp(x)*cos(x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.7375556503167557
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.0931056148756362
},
"integrand_value": {
"im": 0.0,
"re": 1.0931056148756362
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.4430292662932414
},
"integrand_value": {
"im": 0.0,
"re": 1.4430292662932414
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.8412411445589851
},
"integrand_value": {
"im": 0.0,
"re": 1.8412411445589851
},
"x": 0.875
}
],
"hi": 1.0,
"id": 30,
"input": "exp(x)*sin(x)",
"label": "exp_sin",
"lo": 0.5,
"subcategory": "cyclic",
"variable": "x"
},
{
"antiderivative": "exp(x)*sin(x)/2 + exp(x)*cos(x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.7593605536484718
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.5150785696422475
},
"integrand_value": {
"im": 0.0,
"re": 1.5150785696422475
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.5489853475611879
},
"integrand_value": {
"im": 0.0,
"re": 1.5489853475611879
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.5376715265585328
},
"integrand_value": {
"im": 0.0,
"re": 1.5376715265585328
},
"x": 0.875
}
],
"hi": 1.0,
"id": 31,
"input": "exp(x)*cos(x)",
"label": "exp_cos",
"lo": 0.5,
"subcategory": "cyclic",
"variable": "x"
},
{
"antiderivative": "x*asin(x) + sqrt(1 - x**2)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.0964088912462142
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.31782370392788073
},
"integrand_value": {
"im": 0.0,
"re": 0.31782370392788073
},
"x": 0.3125
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.3843967744956391
},
"integrand_value": {
"im": 0.0,
"re": 0.3843967744956391
},
"x": 0.375
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4528165947449256
},
"integrand_value": {
"im": 0.0,
"re": 0.4528165947449256
},
"x": 0.4375
}
],
"hi": 0.5,
"id": 32,
"input": "asin(x)",
"label": "asin_x",
"lo": 0.25,
"subcategory": "inv_trig",
"variable": "x"
},
{
"antiderivative": "x*acos(x) - sqrt(1 - x**2)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.29629019045251
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.252972622867016
},
"integrand_value": {
"im": 0.0,
"re": 1.252972622867016
},
"x": 0.3125
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1863995522992576
},
"integrand_value": {
"im": 0.0,
"re": 1.1863995522992576
},
"x": 0.375
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.1179797320499711
},
"integrand_value": {
"im": 0.0,
"re": 1.1179797320499711
},
"x": 0.4375
}
],
"hi": 0.5,
"id": 33,
"input": "acos(x)",
"label": "acos_x",
"lo": 0.25,
"subcategory": "inv_trig",
"variable": "x"
},
{
"antiderivative": "x*atan(x) - log(x**2 + 1)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.31857254427417747
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5585993153435624
},
"integrand_value": {
"im": 0.0,
"re": 0.5585993153435624
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6435011087932844
},
"integrand_value": {
"im": 0.0,
"re": 0.6435011087932844
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7188299996216245
},
"integrand_value": {
"im": 0.0,
"re": 0.7188299996216245
},
"x": 0.875
}
],
"hi": 1.0,
"id": 34,
"input": "atan(x)",
"label": "atan_x",
"lo": 0.5,
"subcategory": "inv_trig",
"variable": "x"
},
{
"antiderivative": "-cos(2*x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.47822457120764106
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9489846193555862
},
"integrand_value": {
"im": 0.0,
"re": 0.9489846193555862
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"integrand_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9839859468739369
},
"integrand_value": {
"im": 0.0,
"re": 0.9839859468739369
},
"x": 0.875
}
],
"hi": 1.0,
"id": 35,
"input": "sin(2*x)",
"label": "sin_2x",
"lo": 0.5,
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "exp(2*x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 2.3353871352358024
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.4903429574618414
},
"integrand_value": {
"im": 0.0,
"re": 3.4903429574618414
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"integrand_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 5.754602676005731
},
"integrand_value": {
"im": 0.0,
"re": 5.754602676005731
},
"x": 0.875
}
],
"hi": 1.0,
"id": 36,
"input": "exp(2*x)",
"label": "exp_2x",
"lo": 0.5,
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "-cos(3*x)/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.3535765660893828
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9540857816096938
},
"integrand_value": {
"im": 0.0,
"re": 0.9540857816096938
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7780731968879212
},
"integrand_value": {
"im": 0.0,
"re": 0.7780731968879212
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4939202986100892
},
"integrand_value": {
"im": 0.0,
"re": 0.4939202986100892
},
"x": 0.875
}
],
"hi": 1.0,
"id": 37,
"input": "sin(3*x)",
"label": "sin_3x",
"lo": 0.5,
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "(2*x - 1)*exp(2*x)/4",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.8472640247326626
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.181464348413651
},
"integrand_value": {
"im": 0.0,
"re": 2.181464348413651
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.3612668027535486
},
"integrand_value": {
"im": 0.0,
"re": 3.3612668027535486
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 5.035277341505014
},
"integrand_value": {
"im": 0.0,
"re": 5.035277341505014
},
"x": 0.875
}
],
"hi": 1.0,
"id": 38,
"input": "x*exp(2*x)",
"label": "x_exp_2x",
"lo": 0.5,
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "cosh(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.415454669608863
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6664922644566161
},
"integrand_value": {
"im": 0.0,
"re": 0.6664922644566161
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.82231673193583
},
"integrand_value": {
"im": 0.0,
"re": 0.82231673193583
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9910066371442947
},
"integrand_value": {
"im": 0.0,
"re": 0.9910066371442947
},
"x": 0.875
}
],
"hi": 1.0,
"id": 39,
"input": "sinh(x)",
"label": "sinh_x",
"lo": 0.5,
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "sinh(x)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.6541058881500541
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.2017536929756063
},
"integrand_value": {
"im": 0.0,
"re": 1.2017536929756063
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.2946832846768448
},
"integrand_value": {
"im": 0.0,
"re": 1.2946832846768448
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.4078686568228032
},
"integrand_value": {
"im": 0.0,
"re": 1.4078686568228032
},
"x": 0.875
}
],
"hi": 1.0,
"id": 40,
"input": "cosh(x)",
"label": "cosh_x",
"lo": 0.5,
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "x - log(tanh(x) + 1)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.31366632352474966
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.5545997223493823
},
"integrand_value": {
"im": 0.0,
"re": 0.5545997223493823
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6351489523872873
},
"integrand_value": {
"im": 0.0,
"re": 0.6351489523872873
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.703905603936621
},
"integrand_value": {
"im": 0.0,
"re": 0.703905603936621
},
"x": 0.875
}
],
"hi": 1.0,
"id": 41,
"input": "tanh(x)",
"label": "tanh_x",
"lo": 0.5,
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "x*sinh(x)**2/2 - x*cosh(x)**2/2 + sinh(x)*cosh(x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.36291480355080435
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4442119385805079
},
"integrand_value": {
"im": 0.0,
"re": 0.4442119385805079
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.6762048076216237
},
"integrand_value": {
"im": 0.0,
"re": 0.6762048076216237
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9820941548640439
},
"integrand_value": {
"im": 0.0,
"re": 0.9820941548640439
},
"x": 0.875
}
],
"hi": 1.0,
"id": 42,
"input": "sinh(x)**2",
"label": "sinh2_x",
"lo": 0.5,
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "16*x**6/3 + 16*x**5 + 20*x**4 + 40*x**3/3 + 5*x**2 + x",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 55.416666666666664
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 57.6650390625
},
"integrand_value": {
"im": 0.0,
"re": 57.6650390625
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 97.65625
},
"integrand_value": {
"im": 0.0,
"re": 97.65625
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 157.2763671875
},
"integrand_value": {
"im": 0.0,
"re": 157.2763671875
},
"x": 0.875
}
],
"hi": 1.0,
"id": 43,
"input": "(2*x + 1)**5",
"label": "2x_plus_1_pow5",
"lo": 0.5,
"subcategory": "linear_sub",
"variable": "x"
},
{
"antiderivative": "log(3*x + 2)/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.11889164797957746
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.25806451612903225
},
"integrand_value": {
"im": 0.0,
"re": 0.25806451612903225
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.23529411764705882
},
"integrand_value": {
"im": 0.0,
"re": 0.23529411764705882
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.21621621621621623
},
"integrand_value": {
"im": 0.0,
"re": 0.21621621621621623
},
"x": 0.875
}
],
"hi": 1.0,
"id": 44,
"input": "1/(3*x + 2)",
"label": "inv_3x_plus_2",
"lo": 0.5,
"subcategory": "linear_sub",
"variable": "x"
},
{
"antiderivative": "(2*x + 1)**(3/2)/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.789241765986814
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.5
},
"integrand_value": {
"im": 0.0,
"re": 1.5
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.5811388300841898
},
"integrand_value": {
"im": 0.0,
"re": 1.5811388300841898
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.6583123951777
},
"integrand_value": {
"im": 0.0,
"re": 1.6583123951777
},
"x": 0.875
}
],
"hi": 1.0,
"id": 45,
"input": "sqrt(2*x + 1)",
"label": "sqrt_2x_plus_1",
"lo": 0.5,
"subcategory": "linear_sub",
"variable": "x"
},
{
"antiderivative": "exp(x**2)",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.4342564117713037
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.847380244264673
},
"integrand_value": {
"im": 0.0,
"re": 1.847380244264673
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.632581985440448
},
"integrand_value": {
"im": 0.0,
"re": 2.632581985440448
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.763091352916525
},
"integrand_value": {
"im": 0.0,
"re": 3.763091352916525
},
"x": 0.875
}
],
"hi": 1.0,
"id": 46,
"input": "2*x*exp(x**2)",
"label": "2x_exp_x2",
"lo": 0.5,
"subcategory": "u_sub",
"variable": "x"
},
{
"antiderivative": "exp(sin(x))",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.7046305282737695
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.4558130935314038
},
"integrand_value": {
"im": 0.0,
"re": 1.4558130935314038
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.4466331082663368
},
"integrand_value": {
"im": 0.0,
"re": 1.4466331082663368
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.3810067728191697
},
"integrand_value": {
"im": 0.0,
"re": 1.3810067728191697
},
"x": 0.875
}
],
"hi": 1.0,
"id": 47,
"input": "exp(sin(x))*cos(x)",
"label": "cos_exp_sin",
"lo": 0.5,
"subcategory": "u_sub",
"variable": "x"
},
{
"antiderivative": "log(x**2 + 1)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.2350018146228678
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.449438202247191
},
"integrand_value": {
"im": 0.0,
"re": 0.449438202247191
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.48
},
"integrand_value": {
"im": 0.0,
"re": 0.48
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.49557522123893805
},
"integrand_value": {
"im": 0.0,
"re": 0.49557522123893805
},
"x": 0.875
}
],
"hi": 1.0,
"id": 48,
"input": "x/(x**2 + 1)",
"label": "x_over_x2p1",
"lo": 0.5,
"subcategory": "u_sub",
"variable": "x"
},
{
"antiderivative": "atan(x/2 + 1/2)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.07094852730208197
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.15058823529411763
},
"integrand_value": {
"im": 0.0,
"re": 0.15058823529411763
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.1415929203539823
},
"integrand_value": {
"im": 0.0,
"re": 0.1415929203539823
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.13305613305613306
},
"integrand_value": {
"im": 0.0,
"re": 0.13305613305613306
},
"x": 0.875
}
],
"hi": 1.0,
"id": 49,
"input": "1/(x**2 + 2*x + 5)",
"label": "inv_x2_2x_5",
"lo": 0.5,
"subcategory": "complete_sq",
"variable": "x"
},
{
"antiderivative": "x**3/3",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.041666666666666664
},
"integrand_value": {
"im": 0.0,
"re": 0.25
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.140625
},
"integrand_value": {
"im": 0.0,
"re": 0.5625
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.3333333333333333
},
"integrand_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.125
},
"integrand_value": {
"im": 0.0,
"re": 2.25
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.6666666666666665
},
"integrand_value": {
"im": 0.0,
"re": 4.0
},
"x": 2.0
}
],
"id": 50,
"input": "x**2",
"label": "x^2",
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "-cos(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": -0.8775825618903728
},
"integrand_value": {
"im": 0.0,
"re": 0.479425538604203
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.7316888688738209
},
"integrand_value": {
"im": 0.0,
"re": 0.6816387600233341
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.5403023058681398
},
"integrand_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.0707372016677029
},
"integrand_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.4161468365471424
},
"integrand_value": {
"im": 0.0,
"re": 0.9092974268256817
},
"x": 2.0
}
],
"id": 51,
"input": "sin(x)",
"label": "sin(x)",
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "sin(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.479425538604203
},
"integrand_value": {
"im": 0.0,
"re": 0.8775825618903728
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.6816387600233341
},
"integrand_value": {
"im": 0.0,
"re": 0.7316888688738209
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"integrand_value": {
"im": 0.0,
"re": 0.5403023058681398
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"integrand_value": {
"im": 0.0,
"re": 0.0707372016677029
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.9092974268256817
},
"integrand_value": {
"im": 0.0,
"re": -0.4161468365471424
},
"x": 2.0
}
],
"id": 52,
"input": "cos(x)",
"label": "cos(x)",
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "exp(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.6487212707001282
},
"integrand_value": {
"im": 0.0,
"re": 1.6487212707001282
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.117000016612675
},
"integrand_value": {
"im": 0.0,
"re": 2.117000016612675
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.718281828459045
},
"integrand_value": {
"im": 0.0,
"re": 2.718281828459045
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"integrand_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 7.38905609893065
},
"integrand_value": {
"im": 0.0,
"re": 7.38905609893065
},
"x": 2.0
}
],
"id": 53,
"input": "exp(x)",
"label": "exp(x)",
"subcategory": "basic",
"variable": "x"
},
{
"antiderivative": "(x - 1)*exp(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": -0.8243606353500641
},
"integrand_value": {
"im": 0.0,
"re": 0.8243606353500641
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.5292500041531687
},
"integrand_value": {
"im": 0.0,
"re": 1.587750012459506
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.0
},
"integrand_value": {
"im": 0.0,
"re": 2.718281828459045
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.2408445351690323
},
"integrand_value": {
"im": 0.0,
"re": 6.722533605507097
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 7.38905609893065
},
"integrand_value": {
"im": 0.0,
"re": 14.7781121978613
},
"x": 2.0
}
],
"id": 54,
"input": "x*exp(x)",
"label": "x*exp(x)",
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "-x*cos(x) + sin(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.04063425765901664
},
"integrand_value": {
"im": 0.0,
"re": 0.2397127693021015
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.1328721083679685
},
"integrand_value": {
"im": 0.0,
"re": 0.5112290700175006
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.3011686789397568
},
"integrand_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8913891841025001
},
"integrand_value": {
"im": 0.0,
"re": 1.4962424799060816
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.7415910999199664
},
"integrand_value": {
"im": 0.0,
"re": 1.8185948536513634
},
"x": 2.0
}
],
"id": 55,
"input": "x*sin(x)",
"label": "x*sin(x)",
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x*log(x)**2 - 2*x*log(x) + 2*x",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.933373687519046
},
"integrand_value": {
"im": 0.0,
"re": 0.48045301391820144
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.9935938397852853
},
"integrand_value": {
"im": 0.0,
"re": 0.08276097481015172
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.0
},
"integrand_value": {
"im": 0.0,
"re": 0.0
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.030207606515255
},
"integrand_value": {
"im": 0.0,
"re": 0.16440195389316542
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.1883173055966214
},
"integrand_value": {
"im": 0.0,
"re": 0.48045301391820144
},
"x": 2.0
}
],
"id": 56,
"input": "log(x)**2",
"label": "ln(x)^2",
"subcategory": "by_parts",
"variable": "x"
},
{
"antiderivative": "x/2 - sin(x)*cos(x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.039632253798025874
},
"integrand_value": {
"im": 0.0,
"re": 0.22984884706593015
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.1256262533489864
},
"integrand_value": {
"im": 0.0,
"re": 0.46463139916614854
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.2726756432935796
},
"integrand_value": {
"im": 0.0,
"re": 0.7080734182735712
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.7147199979850332
},
"integrand_value": {
"im": 0.0,
"re": 0.9949962483002227
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.189200623826982
},
"integrand_value": {
"im": 0.0,
"re": 0.8268218104318059
},
"x": 2.0
}
],
"id": 57,
"input": "sin(x)**2",
"label": "sin^2(x)",
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "x/2 + sin(x)*cos(x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.4603677462019741
},
"integrand_value": {
"im": 0.0,
"re": 0.7701511529340699
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.6243737466510136
},
"integrand_value": {
"im": 0.0,
"re": 0.5353686008338514
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.7273243567064204
},
"integrand_value": {
"im": 0.0,
"re": 0.2919265817264288
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.7852800020149668
},
"integrand_value": {
"im": 0.0,
"re": 0.005003751699777272
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8107993761730179
},
"integrand_value": {
"im": 0.0,
"re": 0.17317818956819403
},
"x": 2.0
}
],
"id": 58,
"input": "cos(x)**2",
"label": "cos^2(x)",
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "-x + sin(x)/cos(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.04630248984379051
},
"integrand_value": {
"im": 0.0,
"re": 0.29844641040952485
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.18159645994407247
},
"integrand_value": {
"im": 0.0,
"re": 0.8678719641803279
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.5574077246549022
},
"integrand_value": {
"im": 0.0,
"re": 2.4255188208147596
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 12.601419947171719
},
"integrand_value": {
"im": 0.0,
"re": 198.85004452649247
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": -4.185039863261519
},
"integrand_value": {
"im": 0.0,
"re": 4.774399204041917
},
"x": 2.0
}
],
"id": 59,
"input": "tan(x)**2",
"label": "tan^2(x)",
"subcategory": "trig_power",
"variable": "x"
},
{
"antiderivative": "x*sinh(x)**2/2 - x*cosh(x)**2/2 + sinh(x)*cosh(x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.043800298410950365
},
"integrand_value": {
"im": 0.0,
"re": 0.2715403174076219
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.15731986377370438
},
"integrand_value": {
"im": 0.0,
"re": 0.6762048076216237
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.4067151019617547
},
"integrand_value": {
"im": 0.0,
"re": 1.3810978455418157
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.7544687318524754
},
"integrand_value": {
"im": 0.0,
"re": 4.533830997888883
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 5.822479299281938
},
"integrand_value": {
"im": 0.0,
"re": 13.154116418008243
},
"x": 2.0
}
],
"id": 60,
"input": "sinh(x)**2",
"label": "sinh^2(x)",
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "exp(x)*sin(x)/2 - exp(x)*cos(x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": -0.3282249766852771
},
"integrand_value": {
"im": 0.0,
"re": 0.7904390832136149
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.05297804063397328
},
"integrand_value": {
"im": 0.0,
"re": 1.4430292662932414
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.4093306736314786
},
"integrand_value": {
"im": 0.0,
"re": 2.2873552871788423
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.076720117799981
},
"integrand_value": {
"im": 0.0,
"re": 4.470462379180405
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 4.896891009033804
},
"integrand_value": {
"im": 0.0,
"re": 6.71884969742825
},
"x": 2.0
}
],
"id": 61,
"input": "exp(x)*sin(x)",
"label": "exp(x)*sin(x)",
"subcategory": "cyclic",
"variable": "x"
},
{
"antiderivative": "exp(x)*sin(x)/2 + exp(x)*cos(x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.118664059898892
},
"integrand_value": {
"im": 0.0,
"re": 1.4468890365841691
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.4960073069272146
},
"integrand_value": {
"im": 0.0,
"re": 1.5489853475611879
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.8780246135473637
},
"integrand_value": {
"im": 0.0,
"re": 1.4686939399158851
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.3937422613804245
},
"integrand_value": {
"im": 0.0,
"re": 0.31702214358044367
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.8219586883944456
},
"integrand_value": {
"im": 0.0,
"re": -3.074932320639359
},
"x": 2.0
}
],
"id": 62,
"input": "exp(x)*cos(x)",
"label": "exp(x)*cos(x)",
"subcategory": "cyclic",
"variable": "x"
},
{
"antiderivative": "atan(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.4636476090008061
},
"integrand_value": {
"im": 0.0,
"re": 0.8
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.6435011087932844
},
"integrand_value": {
"im": 0.0,
"re": 0.64
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.7853981633974483
},
"integrand_value": {
"im": 0.0,
"re": 0.5
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.982793723247329
},
"integrand_value": {
"im": 0.0,
"re": 0.3076923076923077
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.1071487177940904
},
"integrand_value": {
"im": 0.0,
"re": 0.2
},
"x": 2.0
}
],
"id": 63,
"input": "1/(x**2 + 1)",
"label": "1/(x^2+1)",
"subcategory": "rational",
"variable": "x"
},
{
"antiderivative": "x*asin(x) + sqrt(1 - x**2)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.031415900337374
},
"integrand_value": {
"im": 0.0,
"re": 0.25268025514207865
},
"x": 0.25
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.056088011400104
},
"integrand_value": {
"im": 0.0,
"re": 0.3398369094541219
},
"x": 0.3333333333333333
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.1278247915835882
},
"integrand_value": {
"im": 0.0,
"re": 0.5235987755982989
},
"x": 0.5
}
],
"id": 64,
"input": "asin(x)",
"label": "asin(x)",
"subcategory": "inv_trig",
"variable": "x"
},
{
"antiderivative": "x*atan(x) - log(x**2 + 1)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.12025202884329818
},
"integrand_value": {
"im": 0.0,
"re": 0.4636476090008061
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.25948228028075354
},
"integrand_value": {
"im": 0.0,
"re": 0.6435011087932844
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.43882457311747564
},
"integrand_value": {
"im": 0.0,
"re": 0.7853981633974483
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8848630867001706
},
"integrand_value": {
"im": 0.0,
"re": 0.982793723247329
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.4095784793711308
},
"integrand_value": {
"im": 0.0,
"re": 1.1071487177940904
},
"x": 2.0
}
],
"id": 65,
"input": "atan(x)",
"label": "atan(x)",
"subcategory": "inv_trig",
"variable": "x"
},
{
"antiderivative": "-cos(2*x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": -0.2701511529340699
},
"integrand_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": -0.03536860083385145
},
"integrand_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.2080734182735712
},
"integrand_value": {
"im": 0.0,
"re": 0.9092974268256817
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.4949962483002227
},
"integrand_value": {
"im": 0.0,
"re": 0.1411200080598672
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.32682181043180597
},
"integrand_value": {
"im": 0.0,
"re": -0.7568024953079282
},
"x": 2.0
}
],
"id": 66,
"input": "sin(2*x)",
"label": "sin(2*x)",
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "exp(2*x)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.3591409142295225
},
"integrand_value": {
"im": 0.0,
"re": 2.718281828459045
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.2408445351690323
},
"integrand_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 3.694528049465325
},
"integrand_value": {
"im": 0.0,
"re": 7.38905609893065
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 10.042768461593834
},
"integrand_value": {
"im": 0.0,
"re": 20.085536923187668
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 27.299075016572118
},
"integrand_value": {
"im": 0.0,
"re": 54.598150033144236
},
"x": 2.0
}
],
"id": 67,
"input": "exp(2*x)",
"label": "exp(2*x)",
"subcategory": "parametric",
"variable": "x"
},
{
"antiderivative": "cosh(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.1276259652063807
},
"integrand_value": {
"im": 0.0,
"re": 0.5210953054937474
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.2946832846768448
},
"integrand_value": {
"im": 0.0,
"re": 0.82231673193583
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.5430806348152437
},
"integrand_value": {
"im": 0.0,
"re": 1.1752011936438014
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.352409615243247
},
"integrand_value": {
"im": 0.0,
"re": 2.1292794550948173
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 3.7621956910836314
},
"integrand_value": {
"im": 0.0,
"re": 3.6268604078470186
},
"x": 2.0
}
],
"id": 68,
"input": "sinh(x)",
"label": "sinh(x)",
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "sinh(x)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.5210953054937474
},
"integrand_value": {
"im": 0.0,
"re": 1.1276259652063807
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.82231673193583
},
"integrand_value": {
"im": 0.0,
"re": 1.2946832846768448
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.1752011936438014
},
"integrand_value": {
"im": 0.0,
"re": 1.5430806348152437
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.1292794550948173
},
"integrand_value": {
"im": 0.0,
"re": 2.352409615243247
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 3.6268604078470186
},
"integrand_value": {
"im": 0.0,
"re": 3.7621956910836314
},
"x": 2.0
}
],
"id": 69,
"input": "cosh(x)",
"label": "cosh(x)",
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "x - log(tanh(x) + 1)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.12011450695827752
},
"integrand_value": {
"im": 0.0,
"re": 0.46211715726000974
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.2582660974228071
},
"integrand_value": {
"im": 0.0,
"re": 0.6351489523872873
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.4337808304830272
},
"integrand_value": {
"im": 0.0,
"re": 0.7615941559557649
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8554401710137968
},
"integrand_value": {
"im": 0.0,
"re": 0.9051482536448664
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.3250027473578645
},
"integrand_value": {
"im": 0.0,
"re": 0.9640275800758169
},
"x": 2.0
}
],
"id": 70,
"input": "tanh(x)",
"label": "tanh(x)",
"subcategory": "hyperbolic",
"variable": "x"
},
{
"antiderivative": "16*x**6/3 + 16*x**5 + 20*x**4 + 40*x**3/3 + 5*x**2 + x",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 5.25
},
"integrand_value": {
"im": 0.0,
"re": 32.0
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 20.26171875
},
"integrand_value": {
"im": 0.0,
"re": 97.65625
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 60.666666666666664
},
"integrand_value": {
"im": 0.0,
"re": 243.0
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 341.25
},
"integrand_value": {
"im": 0.0,
"re": 1024.0
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1302.0
},
"integrand_value": {
"im": 0.0,
"re": 3125.0
},
"x": 2.0
}
],
"id": 71,
"input": "(2*x + 1)**5",
"label": "(2x+1)^5",
"subcategory": "linear_sub",
"variable": "x"
},
{
"antiderivative": "(2*x + 1)**(3/2)/3",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.9428090415820634
},
"integrand_value": {
"im": 0.0,
"re": 1.4142135623730951
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.3176156917368247
},
"integrand_value": {
"im": 0.0,
"re": 1.5811388300841898
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.7320508075688772
},
"integrand_value": {
"im": 0.0,
"re": 1.7320508075688772
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.6666666666666665
},
"integrand_value": {
"im": 0.0,
"re": 2.0
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 3.7267799624996494
},
"integrand_value": {
"im": 0.0,
"re": 2.23606797749979
},
"x": 2.0
}
],
"id": 72,
"input": "sqrt(2*x + 1)",
"label": "sqrt(2x+1)",
"subcategory": "linear_sub",
"variable": "x"
},
{
"antiderivative": "exp(x**2)",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 1.2840254166877414
},
"integrand_value": {
"im": 0.0,
"re": 1.2840254166877414
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 1.7550546569602985
},
"integrand_value": {
"im": 0.0,
"re": 2.632581985440448
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 2.718281828459045
},
"integrand_value": {
"im": 0.0,
"re": 5.43656365691809
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 9.487735836358526
},
"integrand_value": {
"im": 0.0,
"re": 28.463207509075577
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 54.598150033144236
},
"integrand_value": {
"im": 0.0,
"re": 218.39260013257694
},
"x": 2.0
}
],
"id": 73,
"input": "2*x*exp(x**2)",
"label": "2x*exp(x^2)",
"subcategory": "u_sub",
"variable": "x"
},
{
"antiderivative": "log(x**2 + 1)/2",
"category": "ftc_check",
"eval_points": [
{
"antideriv_value": {
"im": 0.0,
"re": 0.11157177565710488
},
"integrand_value": {
"im": 0.0,
"re": 0.4
},
"x": 0.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.22314355131420976
},
"integrand_value": {
"im": 0.0,
"re": 0.48
},
"x": 0.75
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.34657359027997264
},
"integrand_value": {
"im": 0.0,
"re": 0.5
},
"x": 1.0
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.5893274981708231
},
"integrand_value": {
"im": 0.0,
"re": 0.46153846153846156
},
"x": 1.5
},
{
"antideriv_value": {
"im": 0.0,
"re": 0.8047189562170501
},
"integrand_value": {
"im": 0.0,
"re": 0.4
},
"x": 2.0
}
],
"id": 74,
"input": "x/(x**2 + 1)",
"label": "x/(x^2+1)",
"subcategory": "u_sub",
"variable": "x"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 2.0
}
],
"expected": "1",
"id": 75,
"input": "sin(x)**2 + cos(x)**2",
"label": "sin2+cos2=1",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 1.06519949673285
},
"simplified_value": {
"im": 0.0,
"re": 1.06519949673285
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 1.2984464104095248
},
"simplified_value": {
"im": 0.0,
"re": 1.2984464104095248
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 3.4255188208147596
},
"simplified_value": {
"im": 0.0,
"re": 3.4255188208147596
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 199.85004452649247
},
"simplified_value": {
"im": 0.0,
"re": 199.85004452649247
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 5.774399204041917
},
"simplified_value": {
"im": 0.0,
"re": 5.774399204041917
},
"x": 2.0
}
],
"expected": "cos(x)**(-2)",
"id": 76,
"input": "tan(x)**2 + 1",
"label": "tan2+1=sec2",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 0.9387912809451864
},
"simplified_value": {
"im": 0.0,
"re": 0.9387912809451864
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 0.7701511529340699
},
"simplified_value": {
"im": 0.0,
"re": 0.7701511529340699
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 0.2919265817264288
},
"simplified_value": {
"im": 0.0,
"re": 0.2919265817264288
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 0.005003751699777272
},
"simplified_value": {
"im": 0.0,
"re": 0.005003751699777272
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 0.17317818956819403
},
"simplified_value": {
"im": 0.0,
"re": 0.17317818956819403
},
"x": 2.0
}
],
"expected": "cos(x)**2",
"id": 77,
"input": "1 - sin(x)**2",
"label": "1-sin2=cos2",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 2.0
}
],
"expected": "1",
"id": 78,
"input": "-sinh(x)**2 + cosh(x)**2",
"label": "cosh2-sinh2=1",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 0.479425538604203
},
"simplified_value": {
"im": 0.0,
"re": 0.479425538604203
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"simplified_value": {
"im": 0.0,
"re": 0.8414709848078965
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 0.9092974268256817
},
"simplified_value": {
"im": 0.0,
"re": 0.9092974268256817
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 0.1411200080598672
},
"simplified_value": {
"im": 0.0,
"re": 0.1411200080598672
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": -0.7568024953079282
},
"simplified_value": {
"im": 0.0,
"re": -0.7568024953079282
},
"x": 2.0
}
],
"expected": "sin(2*x)",
"id": 79,
"input": "2*sin(x)*cos(x)",
"label": "2sin_cos=sin2x",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 0.8775825618903728
},
"simplified_value": {
"im": 0.0,
"re": 0.8775825618903728
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 0.5403023058681398
},
"simplified_value": {
"im": 0.0,
"re": 0.5403023058681398
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": -0.4161468365471424
},
"simplified_value": {
"im": 0.0,
"re": -0.4161468365471424
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": -0.9899924966004454
},
"simplified_value": {
"im": 0.0,
"re": -0.9899924966004454
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": -0.6536436208636119
},
"simplified_value": {
"im": 0.0,
"re": -0.6536436208636119
},
"x": 2.0
}
],
"expected": "cos(2*x)",
"id": 80,
"input": "-sin(x)**2 + cos(x)**2",
"label": "cos2x_identity",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 0.25
},
"simplified_value": {
"im": 0.0,
"re": 0.25
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 0.5
},
"simplified_value": {
"im": 0.0,
"re": 0.5
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 1.5
},
"simplified_value": {
"im": 0.0,
"re": 1.5
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 2.0
},
"simplified_value": {
"im": 0.0,
"re": 2.0
},
"x": 2.0
}
],
"expected": "x",
"id": 81,
"input": "x",
"label": "exp_ln_x",
"subcategory": "trig_identity"
},
{
"category": "simplify_verify",
"eval_points": [
{
"original_value": {
"im": 0.0,
"re": 0.25
},
"simplified_value": {
"im": 0.0,
"re": 0.25
},
"x": 0.25
},
{
"original_value": {
"im": 0.0,
"re": 0.5
},
"simplified_value": {
"im": 0.0,
"re": 0.5
},
"x": 0.5
},
{
"original_value": {
"im": 0.0,
"re": 1.0
},
"simplified_value": {
"im": 0.0,
"re": 1.0
},
"x": 1.0
},
{
"original_value": {
"im": 0.0,
"re": 1.5
},
"simplified_value": {
"im": 0.0,
"re": 1.5
},
"x": 1.5
},
{
"original_value": {
"im": 0.0,
"re": 2.0
},
"simplified_value": {
"im": 0.0,
"re": 2.0
},
"x": 2.0
}
],
"expected": "x",
"id": 82,
"input": "log(exp(x))",
"label": "ln_exp_x",
"subcategory": "trig_identity"
},
{
"brute_force_value": {
"im": 0.0,
"re": 5050.0
},
"category": "gosper_sum",
"closed_form": "5050",
"closed_value": {
"im": 0.0,
"re": 5050.0
},
"hi": 100,
"id": 83,
"input": "k",
"label": "sum_k",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 42925.0
},
"category": "gosper_sum",
"closed_form": "42925",
"closed_value": {
"im": 0.0,
"re": 42925.0
},
"hi": 50,
"id": 84,
"input": "k**2",
"label": "sum_k2",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 216225.0
},
"category": "gosper_sum",
"closed_form": "216225",
"closed_value": {
"im": 0.0,
"re": 216225.0
},
"hi": 30,
"id": 85,
"input": "k**3",
"label": "sum_k3",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 65535.0
},
"category": "gosper_sum",
"closed_form": "65535",
"closed_value": {
"im": 0.0,
"re": 65535.0
},
"hi": 15,
"id": 86,
"input": "2**k",
"label": "sum_2k",
"lo": 0,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 0.9900990099009901
},
"category": "gosper_sum",
"closed_form": "100/101",
"closed_value": {
"im": 0.0,
"re": 0.9900990099009901
},
"hi": 100,
"id": 87,
"input": "1/(k*(k + 1))",
"label": "sum_1_over_k_kp1",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 0.24981146304675717
},
"category": "gosper_sum",
"closed_form": "1325/5304",
"closed_value": {
"im": 0.0,
"re": 0.24981146304675717
},
"hi": 50,
"id": 88,
"input": "1/(k*(k + 1)*(k + 2))",
"label": "sum_1_over_k_kp1_kp2",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": 1540.0
},
"category": "gosper_sum",
"closed_form": "1540",
"closed_value": {
"im": 0.0,
"re": 1540.0
},
"hi": 20,
"id": 89,
"input": "k*(k + 1)/2",
"label": "sum_fib_like",
"lo": 1,
"variable": "k"
},
{
"brute_force_value": {
"im": 0.0,
"re": -50.0
},
"category": "gosper_sum",
"closed_form": "-50",
"closed_value": {
"im": 0.0,
"re": -50.0
},
"hi": 99,
"id": 90,
"input": "(-1)**k*k",
"label": "sum_alternating_k",
"lo": 1,
"variable": "k"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.09983341664682815
},
"series_value": {
"im": 0.0,
"re": 0.0998334166468254
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.19866933079506122
},
"series_value": {
"im": 0.0,
"re": 0.1986693307936508
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.2955202066613396
},
"series_value": {
"im": 0.0,
"re": 0.29552020660714284
},
"x": 0.3
}
],
"id": 91,
"input": "sin(x)",
"label": "sin_x",
"order": 8,
"point": 0.0,
"series_str": "-x**7/5040 + x**5/120 - x**3/6 + x",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.9950041652780258
},
"series_value": {
"im": 0.0,
"re": 0.9950041652777778
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.9800665778412416
},
"series_value": {
"im": 0.0,
"re": 0.9800665777777777
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.955336489125606
},
"series_value": {
"im": 0.0,
"re": 0.9553364875
},
"x": 0.3
}
],
"id": 92,
"input": "cos(x)",
"label": "cos_x",
"order": 8,
"point": 0.0,
"series_str": "-x**6/720 + x**4/24 - x**2/2 + 1",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 1.1051709180756477
},
"series_value": {
"im": 0.0,
"re": 1.1051709180753968
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 1.2214027581601699
},
"series_value": {
"im": 0.0,
"re": 1.221402758095238
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 1.3498588075760032
},
"series_value": {
"im": 0.0,
"re": 1.3498588058928571
},
"x": 0.3
}
],
"id": 93,
"input": "exp(x)",
"label": "exp_x",
"order": 8,
"point": 0.0,
"series_str": "x**7/5040 + x**6/720 + x**5/120 + x**4/24 + x**3/6 + x**2/2 + x + 1",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.09531017980432487
},
"series_value": {
"im": 0.0,
"re": 0.09531018095238095
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.18232155679395462
},
"series_value": {
"im": 0.0,
"re": 0.18232182857142856
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.26236426446749106
},
"series_value": {
"im": 0.0,
"re": 0.26237074285714285
},
"x": 0.3
}
],
"id": 94,
"input": "log(x + 1)",
"label": "ln_1px",
"order": 8,
"point": 0.0,
"series_str": "x**7/7 - x**6/6 + x**5/5 - x**4/4 + x**3/3 - x**2/2 + x",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 1.1111111111111112
},
"series_value": {
"im": 0.0,
"re": 1.1111111
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 1.25
},
"series_value": {
"im": 0.0,
"re": 1.2499968
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 1.4285714285714286
},
"series_value": {
"im": 0.0,
"re": 1.4284777
},
"x": 0.3
}
],
"id": 95,
"input": "1/(1 - x)",
"label": "inv_1mx",
"order": 8,
"point": 0.0,
"series_str": "x**7 + x**6 + x**5 + x**4 + x**3 + x**2 + x + 1",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.09966865249116202
},
"series_value": {
"im": 0.0,
"re": 0.09966865238095238
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.19739555984988075
},
"series_value": {
"im": 0.0,
"re": 0.19739550476190476
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.2914567944778671
},
"series_value": {
"im": 0.0,
"re": 0.2914547571428571
},
"x": 0.3
}
],
"id": 96,
"input": "atan(x)",
"label": "atan_x",
"order": 8,
"point": 0.0,
"series_str": "-x**7/7 + x**5/5 - x**3/3 + x",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.10016675001984403
},
"series_value": {
"im": 0.0,
"re": 0.10016675001984127
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.201336002541094
},
"series_value": {
"im": 0.0,
"re": 0.20133600253968253
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.3045202934471426
},
"series_value": {
"im": 0.0,
"re": 0.30452029339285713
},
"x": 0.3
}
],
"id": 97,
"input": "sinh(x)",
"label": "sinh_x",
"order": 8,
"point": 0.0,
"series_str": "x**7/5040 + x**5/120 + x**3/6 + x",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 1.0050041680558035
},
"series_value": {
"im": 0.0,
"re": 1.0050041680555555
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 1.020066755619076
},
"series_value": {
"im": 0.0,
"re": 1.0200667555555556
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 1.0453385141288605
},
"series_value": {
"im": 0.0,
"re": 1.0453385125
},
"x": 0.3
}
],
"id": 98,
"input": "cosh(x)",
"label": "cosh_x",
"order": 8,
"point": 0.0,
"series_str": "x**6/720 + x**4/24 + x**2/2 + 1",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.09966799462495582
},
"series_value": {
"im": 0.0,
"re": 0.0996679946031746
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.197375320224904
},
"series_value": {
"im": 0.0,
"re": 0.19737530920634921
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.2913126124515909
},
"series_value": {
"im": 0.0,
"re": 0.29131219714285717
},
"x": 0.3
}
],
"id": 99,
"input": "tanh(x)",
"label": "tanh_x",
"order": 8,
"point": 0.0,
"series_str": "-17*x**7/315 + 2*x**5/15 - x**3/3 + x",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 1.0488088481701516
},
"series_value": {
"im": 0.0,
"re": 1.0488088671875
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 1.0954451150103321
},
"series_value": {
"im": 0.0,
"re": 1.09544625
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 1.140175425099138
},
"series_value": {
"im": 0.0,
"re": 1.1401875390625
},
"x": 0.3
}
],
"id": 100,
"input": "sqrt(x + 1)",
"label": "sqrt_1px",
"order": 6,
"point": 0.0,
"series_str": "7*x**5/256 - 5*x**4/128 + x**3/16 - x**2/8 + x/2 + 1",
"variable": "x"
},
{
"category": "series_verify",
"eval_points": [
{
"exact_value": {
"im": 0.0,
"re": 0.1001674211615598
},
"series_value": {
"im": 0.0,
"re": 0.10016742113095238
},
"x": 0.1
},
{
"exact_value": {
"im": 0.0,
"re": 0.2013579207903308
},
"series_value": {
"im": 0.0,
"re": 0.20135790476190477
},
"x": 0.2
},
{
"exact_value": {
"im": 0.0,
"re": 0.3046926540153975
},
"series_value": {
"im": 0.0,
"re": 0.3046920133928571
},
"x": 0.3
}
],
"id": 101,
"input": "asin(x)",
"label": "asin_x",
"order": 8,
"point": 0.0,
"series_str": "5*x**7/112 + 3*x**5/40 + x**3/6 + x",
"variable": "x"
},
{
"antiderivative": "-cos(2*x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.47822457120764106
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9489846193555862
},
"integrand_value": {
"im": 0.0,
"re": 0.9489846193555862
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"integrand_value": {
"im": 0.0,
"re": 0.9974949866040544
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9839859468739369
},
"integrand_value": {
"im": 0.0,
"re": 0.9839859468739369
},
"x": 0.875
}
],
"hi": 1.0,
"id": 102,
"input": "sin(2*x)",
"label": "sin_ax_a2",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "exp(2*x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 2.3353871352358024
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.4903429574618414
},
"integrand_value": {
"im": 0.0,
"re": 3.4903429574618414
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"integrand_value": {
"im": 0.0,
"re": 4.4816890703380645
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 5.754602676005731
},
"integrand_value": {
"im": 0.0,
"re": 5.754602676005731
},
"x": 0.875
}
],
"hi": 1.0,
"id": 103,
"input": "exp(2*x)",
"label": "exp_ax_a2",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "-cos(3*x)/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.3535765660893828
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.9540857816096938
},
"integrand_value": {
"im": 0.0,
"re": 0.9540857816096938
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.7780731968879212
},
"integrand_value": {
"im": 0.0,
"re": 0.7780731968879212
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.4939202986100892
},
"integrand_value": {
"im": 0.0,
"re": 0.4939202986100892
},
"x": 0.875
}
],
"hi": 1.0,
"id": 104,
"input": "sin(3*x)",
"label": "sin_ax_a3",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "sin(2*x)/2",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.033913221008892595
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.3153223623952687
},
"integrand_value": {
"im": 0.0,
"re": 0.3153223623952687
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.0707372016677029
},
"integrand_value": {
"im": 0.0,
"re": 0.0707372016677029
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": -0.17824605564949209
},
"integrand_value": {
"im": 0.0,
"re": -0.17824605564949209
},
"x": 0.875
}
],
"hi": 1.0,
"id": 105,
"input": "cos(2*x)",
"label": "cos_ax_a2",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "(2*x - 1)*exp(2*x)/4",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.8472640247326626
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.181464348413651
},
"integrand_value": {
"im": 0.0,
"re": 2.181464348413651
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.3612668027535486
},
"integrand_value": {
"im": 0.0,
"re": 3.3612668027535486
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 5.035277341505014
},
"integrand_value": {
"im": 0.0,
"re": 5.035277341505014
},
"x": 0.875
}
],
"hi": 1.0,
"id": 106,
"input": "x*exp(2*x)",
"label": "x_exp_ax_a2",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "atan(x/3)/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 0.05220062566067178
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.1064891846921797
},
"integrand_value": {
"im": 0.0,
"re": 0.1064891846921797
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.10457516339869281
},
"integrand_value": {
"im": 0.0,
"re": 0.10457516339869281
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 0.1024
},
"integrand_value": {
"im": 0.0,
"re": 0.1024
},
"x": 0.875
}
],
"hi": 1.0,
"id": 107,
"input": "1/(x**2 + 9)",
"label": "inv_x2pa2_a3",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
},
{
"antiderivative": "5*x**3/3",
"category": "definite_integral",
"definite_value": {
"im": 0.0,
"re": 1.4583333333333333
},
"ftc_points": [
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 1.953125
},
"integrand_value": {
"im": 0.0,
"re": 1.953125
},
"x": 0.625
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 2.8125
},
"integrand_value": {
"im": 0.0,
"re": 2.8125
},
"x": 0.75
},
{
"antideriv_deriv_value": {
"im": 0.0,
"re": 3.828125
},
"integrand_value": {
"im": 0.0,
"re": 3.828125
},
"x": 0.875
}
],
"hi": 1.0,
"id": 108,
"input": "5*x**2",
"label": "ax2_a5",
"lo": 0.5,
"subcategory": "parametric_concrete",
"variable": "x"
}
],
"generated_by": "SymPy 1.14.0",
"generator": "scripts/generate_new_fixtures.py"
}