diff options
Diffstat (limited to 'chomp-bench/benches/arith/data/4371.arith')
| -rw-r--r-- | chomp-bench/benches/arith/data/4371.arith | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chomp-bench/benches/arith/data/4371.arith b/chomp-bench/benches/arith/data/4371.arith new file mode 100644 index 0000000..60e07a0 --- /dev/null +++ b/chomp-bench/benches/arith/data/4371.arith @@ -0,0 +1 @@ +(12979 + (298 - 26481 * ((5923 - 6726 + 19168 / -25914 * 13914 * 23609) - -26903 + 3276 + -19404 - 1703 / -25235) / -17437 / (-2842) + -18818 + -16243 / 27336 - 27685 + (-18865 * (-18480 - -17478 - -9375 - 3372 + ((-24167 * -3007 / 5464 + -2137 * 4221 / (-15020 - 10776 + (32357 + 473 - 10821 - -2703 / 4115 / -23982 + -31973 * -30998 * (24811 - -4678 - 28662 + 10412 - -4113 - -3262 - 15999 * 3211 / -3020 * -6464) / 19146 / -4619 - (10771 / 11031 - -25649 - -7294) + (24054 * -12149 / 16568 * -12166 - -26474 - 4943 - 22824) - -22765) - -25755 * -11499 / (18888 - -14928 + 16058 * -4315 + -13126 / 25068 * (32626 + 17867 - 15824 * -1774 + ((-15480 / 19091 * -30564 + -17240) / -9200 / 29188 * -29786 / ((-982) + 14073 + -5634 + -7815 + 29947 / 10520 + 2927 * -8309) / -19134 * (-22986 / 15655 * 29077 * 23443 * 1825 / 23225 - 6852 - 15002 * -23685 - 32055 - 30674 / 986 + -6494) - -17414 * 31020 - (32479 / -28036 * 28599 * (28017 + 29925 - -165) * 28625 + -26315 - -31881 - 21934 + -21972 / (10646 - 26483 / -16697 * 24089 + 11495 - 6621 / -15025 - 2264) * (22670 * (-23759 + -11209 + 32324 + 28251 * 29072 / 11025 + -14724 * 31395 / (27313 / 4137 - 24327 / -30597 * 32152 - -13938 * 27773 / -26771 * ((-27219) / -22901) * -16091 + 5628) + 5655 * -3423 / -30790 * -29574 * 5658 * -24322) * 29173 + 19653 * 9820 - -10342 + 11260 / ((20087 * 29479 - 25646 + -14298)) - 10248) + -4591 - 14790 - 22636 - (19020 / -19470 + -4446 * 7130 - 2792 / 26197 * 4808 / 17490 - (-24149 / 19555 + -26628 + -30998 * -294)) / -7222) * 25697) - 25234) - ((11214 - -31564 + -10569 * (-4725) + (458 - 6879) - -9642 * 9799 / 26368 + 15916 * (-20414 / 5890 + 18922 * -9200 - 9208 * -8747 * (-9368 * -11378 / -7692 * 29902 * 29046 / -16717 + -26066 - 18115 + -18655 * 31486 * 20675 * 5649 - -8691) * 18040 + -19577 * ((-19713 + 10607 * ((9940 + -22331 / -7784 - -7728) * -31226 - -25168 - -26834) - -30717 - -21378 / -15243) + 22146) + -12430 - 30571 / (14939 * 24736)) - 23495 + -32181) / (11070 - -18373 * -20704 / 27354 - -14691 / -5124 * 138 * (9555 + -1883 - -28082 + -16267) / 11533 * -9131 - -22290 / -21173) - 8241 * -22064) - -20958 * -27858 * ((((465 * -26923 - -6191 - 32129 / -1975 + -11590 / 13945 / -10407 / 5364 - -15271 + -25231 + -26030 + 149 * 27863 * 24846 - 10876 * -4830) + 11095 - 14985 - 14794 * -7514 / -18341 + 15650 + (-17855) * 5609 + -14090 - 15229 / -6822 * 8778 / -26898 - 23536 + 9570 * -10457 + 30425 / (7749 * -942) * 872 - -4219 - -12045 + -22119 + -26592 - (3684 * 30521) / -30462 * -7894 + -13625 / 31285 * 11306 / -1579 * 27867 * 25023 * 27415)) * 7677 * (4351 / 1900) - -6939 * -23160)) / 16987 + -6719 / -23373 / (2642) * 28444 + -19212 * -11699 - 27354 / 32706 - -11474 * -10886) + -4212 - (29297 * 23971 / -7597) + -1913 + -24005 / -14712 * 18366 * -12986 / -13173 * (18126 + -23610 * -20339 * 32318 - 14749 * 19735 + -10451 / -27794 - 23756 / 2209 - 6534 * -2505) - 7498 / 8931) - 22490 + 10622 - 7610 * (-17030 * -21501 * (-11016 - 1621 * (-18097) - 12156 + 6527 - -4665 - -17944 * 29826 / -25521 / 29923)) + -29062 * (-3788 / -1915 + (-12670) - 5482 / 7055 + -3398 * (-10656 - 653) * 10720 * 19085 + 20268 * -10871 * 20253 * 15558) / 29909 + 20958 / -19165 * -22428 + 10859 * -5280 / -14587 - (6866 - 18222 / -29698 - 15291 - 14540 - -29608 * -29165 + 14193 / (-28121 + -4893 / 19775 - 10147 * (5616 * -23200) * 3640 * 1237 * -13558 * -1763 + (-8178) / 11790 + (17429 - 21854 * -3927 / 23656 + 12348 * 5137 / 14309 * -18488 * 13020) - 10561) / 29765 + -13417 * 2810 + (-28366 / 29629 - (14959 / 18167 * 286 - 18116 + 7058 - 10855 + 4562 * 11602 / 23425) - -2778 * -14207 / 3758 / -11312 * 6178 - ((8997 * 11541)) / -5691 * -31585 - (-24515 / (-30755) + -7348 + 27659) + -15052) / -7756 * -26870 / -2390 + 1451 / -4749 - 21657 + 30323 - 3963 / -27057 - ((9329 * -161 + -24823 + 4302 + (-28999 / 28055 * -30801 * -21663 / -31240 / -8237 * -19504 - -25665 * 14154 - -23326 / -3055 * -19901) + 8918 - -28896 / -16208 + -22354 / 22638 - 3948 * 25715 - -14005 + 1308 * 30051 * 32473 / -26979 - -25371 / 6007) / 9961 * -29370 / -22262 * 16101 / (-15091) + -14525 - 1190 / -18352 * 23841 * 21697) - 10379 - 19122 - -16478 - -24285 * ((19493 / 11580 * -32162 / 21522 - -7116 * 31276 - 17760 / -1269) + 17912 - -31889 / -2570) + 11872 - 29767) + -3577 * -25613) + -28246 / -25575 - 21962 + 20271) * 20671 + -12290 * 13347) * -32599) + 17055 - 14648 * -32470)
\ No newline at end of file |