feat: V4

[AayushSabharwal]

I managed to retain the merge structure with the rebase this time.

[github-actions]

Benchmark Results

	master	cbf10c7...	master / cbf10c7...
overhead/acrule/a+2	5.68 ± 0.1 μs	2.17 ± 0.22 μs	2.62 ± 0.27
overhead/acrule/a+2+b	0.0491 ± 0.00013 μs	0.0332 ± 0.00044 μs	1.48 ± 0.02
overhead/acrule/a+b	9.5 ± 0.31 μs	3.65 ± 0.071 μs	2.61 ± 0.099
overhead/acrule/noop:Int	1.55 ± 0.01 ns	1.56 ± 0.01 ns	0.994 ± 0.009
overhead/acrule/noop:Sym	19.9 ± 0.49 ns	18.4 ± 0.14 ns	1.08 ± 0.028
overhead/get_degrees/large_poly	0.149 ± 0.0078 s	0.0932 ± 0.008 s	1.6 ± 0.16
overhead/rule/noop:Int	0.0337 ± 0.023 μs	31.5 ± 24 ns	1.07 ± 1.1
overhead/rule/noop:Sym	0.0329 ± 0.022 μs	0.0319 ± 0.024 μs	1.03 ± 1
overhead/rule/noop:Term	0.0331 ± 0.024 μs	0.032 ± 0.024 μs	1.03 ± 1.1
overhead/ruleset/noop:Int	0.114 ± 0.0074 μs	1.55 ± 0.01 ns	73.6 ± 4.8
overhead/ruleset/noop:Sym	0.124 ± 0.012 μs	0.062 ± 0.0015 μs	2 ± 0.2
overhead/ruleset/noop:Term	4.92 ± 0.74 μs	0.693 ± 0.2 μs	7.09 ± 2.3
overhead/simplify/noop:Int	0.229 ± 0.033 μs	1.55 ± 0.01 ns	147 ± 22
overhead/simplify/noop:Sym	0.223 ± 0.034 μs	11.8 ± 0.02 ns	19 ± 2.9
overhead/simplify/noop:Term	0.0977 ± 0.011 ms	27.8 ± 2.6 μs	3.51 ± 0.51
overhead/simplify/randterm (+, *):serial	0.944 ± 0.065 s	0.249 ± 0.014 s	3.8 ± 0.33
overhead/simplify/randterm (+, *):thread	1.19 ± 0.3 s	0.192 ± 0.013 s	6.2 ± 1.6
overhead/simplify/randterm (/, *):serial	0.307 ± 0.031 ms	0.0795 ± 0.011 ms	3.86 ± 0.67
overhead/simplify/randterm (/, *):thread	0.345 ± 0.031 ms	0.0827 ± 0.012 ms	4.17 ± 0.7
overhead/substitute/a	0.103 ± 0.0089 ms	0.0356 ± 0.0031 ms	2.89 ± 0.35
overhead/substitute/a,b	0.0862 ± 0.01 ms	0.0438 ± 0.0042 ms	1.97 ± 0.29
overhead/substitute/a,b,c	20.1 ± 2.2 μs	0.0323 ± 0.0037 ms	0.623 ± 0.1
polyform/easy_iszero	0.0391 ± 0.004 ms	24.1 ± 0.48 μs	1.63 ± 0.17
polyform/isone	3.11 ± 0.01 ns	31.5 ± 0.05 ns	0.0985 ± 0.00035
polyform/iszero	1.38 ± 0.035 ms	0.809 ± 0.021 ms	1.7 ± 0.061
polyform/simplify_fractions	1.84 ± 0.066 ms	1.06 ± 0.024 ms	1.74 ± 0.073
time_to_load	1.04 ± 0.0036 s	1.24 ± 0.015 s	0.834 ± 0.011

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR.
Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).