{"_meta": {"battery": "5s", "sub_battery": "semantics", "version": "v1", "task_count": 12, "notes": "calculus-limit@v1 semantics — same limit collapses regardless of f spelling; oo-direction-distinct."}}
{"id": "5s-sem-lim-001", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"sin(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"sin(x)*1/x\", \"x\": \"x\", \"point\": \"0\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-002", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"2*sin(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"2*sin(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-003", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"point\": \"1\"}", "expected_equivalent": false}
{"id": "5s-sem-lim-004", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"sin(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"cos(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "expected_equivalent": false}
{"id": "5s-sem-lim-005", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"1/x\", \"x\": \"x\", \"point\": \"0\", \"dir\": \"+\"}", "input_b": "{\"f\": \"1/x\", \"x\": \"x\", \"point\": \"0\", \"dir\": \"+\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-006", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"1/x\", \"x\": \"x\", \"point\": \"0\", \"dir\": \"+\"}", "input_b": "{\"f\": \"1/x\", \"x\": \"x\", \"point\": \"0\", \"dir\": \"-\"}", "expected_equivalent": false}
{"id": "5s-sem-lim-007", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"x**2\", \"x\": \"x\", \"point\": \"3\"}", "input_b": "{\"f\": \"x*x\", \"x\": \"x\", \"point\": \"3\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-008", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"point\": \"oo\"}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"point\": \"-oo\"}", "expected_equivalent": false}
{"id": "5s-sem-lim-009", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"0\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"0\", \"x\": \"x\", \"point\": \"5\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-010", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"y**2\", \"x\": \"y\", \"point\": \"2\"}", "input_b": "{\"f\": \"x**2\", \"x\": \"x\", \"point\": \"2\"}", "expected_equivalent": true}
{"id": "5s-sem-lim-011", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"sin(x)/x\", \"x\": \"x\", \"point\": \"0\"}", "input_b": "{\"f\": \"1/x\", \"x\": \"x\", \"point\": \"oo\"}", "expected_equivalent": false}
{"id": "5s-sem-lim-012", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "calculus", "domain": "json_object", "pi_star_ref": "calculus-limit@v1", "input_a": "{\"f\": \"log(x)\", \"x\": \"x\", \"point\": \"1\"}", "input_b": "{\"f\": \"0\", \"x\": \"x\", \"point\": \"5\"}", "expected_equivalent": true}
