Date:	Tuesday, June 27th, 2023
Commit:	ae82c11d on minor-fixups
Hostname:	nightly with Racket 8.6
Seed:	2023178
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

Details

sample11.2s (21.9%)

Results

8.4s	63141×	body	256	valid
1.2s	4116×	body	2048	valid
900.0ms	7047×	body	256	infinite
475.0ms	1978×	body	256	invalid

Bogosity

localize10.2s (19.8%)

Compiler: Compiled 5622 to 2860 computations (49.1% saved)

soundness8.0s (15.6%)

Rules

41576×	`fma-def`
16808×	`associate-r`
15414×	`fma-neg`
14908×	`associate-l`
13868×	`log-prod`

Stop Event

4×	saturated
36×	node limit

Compiler

Compiled 4052 to 2393 computations (40.9% saved)

eval7.3s (14.3%)

Compiler: Compiled 371056 to 212652 computations (42.7% saved)

simplify4.0s (7.7%)

Algorithm

36×	egg-herbie

Rules

28740×	`fma-def`
12930×	`times-frac`
12616×	`associate-r`
11128×	`fma-neg`
10442×	`associate-l`

Stop Event

15×	saturated
4×	done
5×	fuel
21×	node limit

Counts

6584 → 6157

Compiler

Compiled 1028 to 689 computations (33% saved)

prune2.8s (5.4%)

Counts: 10169 → 313
Compiler: Compiled 24148 to 15867 computations (34.3% saved)

rewrite2.6s (5.1%)

Algorithm

18×	batch-egg-rewrite

Rules

12348×	`pow1`
11700×	`add-exp-log`
11696×	`expm1-log1p-u`
11696×	`log1p-expm1-u`
11626×	`add-log-exp`

Stop Event

18×	node limit

Counts

138 → 4044

regimes2.0s (3.9%)

Counts

442 → 76

Calls

23 calls:

308.0ms	b
298.0ms	a
298.0ms	x
261.0ms	c
149.0ms	z

Compiler

Compiled 8347 to 4581 computations (45.1% saved)

series780.0ms (1.5%)

Counts

138 → 2531

Calls

882 calls:

Time	Variable		Point	Expression
146.0ms	a	@	0	(/.f64 (.f64 2 c) (pow.f64 (cbrt.f64 (-.f64 (neg.f64 b) (+.f64 b (.f64 -2 (/.f64 c (/.f64 b a)))))) 3))
41.0ms	y	@	0	(/.f64 (+.f64 4 (*.f64 (-.f64 1 z) x)) y)
31.0ms	f	@	-inf	(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)
13.0ms	c	@	-inf	(+.f64 b (hypot.f64 b (.f64 (sqrt.f64 (.f64 a -4)) (sqrt.f64 c))))
12.0ms	b	@	inf	(.f64 c (/.f64 1 (+.f64 b (hypot.f64 b (.f64 (sqrt.f64 (*.f64 a -4)) (sqrt.f64 c))))))

analyze657.0ms (1.3%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

end624.0ms (1.2%)

Compiler: Compiled 2232 to 1328 computations (40.5% saved)

preprocess573.0ms (1.1%)

Algorithm

18×	egg-herbie

Rules

8158×	`fma-def`
4716×	`div-sub`
3918×	`associate-/r*`
3722×	`times-frac`
3438×	`associate-/l*`

Stop Event

1×	unsound
13×	saturated
4×	node limit

Compiler

Compiled 169 to 118 computations (30.2% saved)

bsearch521.0ms (1%)

Algorithm

36×	binary-search

Stop Event

29×	narrow-enough
7×	predicate-same

Results

405.0ms	3458×	body	256	valid
53.0ms	446×	body	256	infinite
6.0ms	47×	body	256	invalid

Compiler

Compiled 7414 to 5329 computations (28.1% saved)

Herbie run

Details

sample11.2s (21.9%)

localize10.2s (19.8%)

soundness8.0s (15.6%)

eval7.3s (14.3%)

simplify4.0s (7.7%)

prune2.8s (5.4%)

rewrite2.6s (5.1%)

regimes2.0s (3.9%)

series780.0ms (1.5%)

analyze657.0ms (1.3%)

end624.0ms (1.2%)

preprocess573.0ms (1.1%)

bsearch521.0ms (1%)

Profiling