Date:	Tuesday, June 20th, 2023
Commit:	2052806f on main
Hostname:	nightly with Racket 8.6
Seed:	2023171
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

localize12.7s (23.9%)

Compiler: Compiled 6190 to 3192 computations (48.4% saved)

sample11.7s (22.1%)

Results

8.4s	62943×	body	256	valid
1.6s	4119×	body	2048	valid
1.2s	7242×	body	256	infinite
365.0ms	1839×	body	256	invalid

Bogosity

soundness6.8s (12.8%)

Rules

47778×	`fma-def`
22144×	`associate-r`
19376×	`times-frac`
17452×	`associate-l`
13308×	`distribute-rgt-in`

Stop Event

4×	saturated
42×	node limit

Compiler

Compiled 4922 to 2879 computations (41.5% saved)

eval6.5s (12.3%)

Compiler: Compiled 389844 to 231607 computations (40.6% saved)

simplify4.2s (8%)

Algorithm

39×	egg-herbie

Rules

32612×	`fma-def`
16768×	`times-frac`
14936×	`associate-r`
13606×	`associate-l`
9806×	`distribute-lft-in`

Stop Event

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

Counts

6991 → 6236

Compiler

Compiled 1427 to 894 computations (37.4% saved)

prune3.3s (6.3%)

Counts: 10387 → 339
Compiler: Compiled 27721 to 17903 computations (35.4% saved)

rewrite2.4s (4.5%)

Algorithm

21×	batch-egg-rewrite

Rules

14818×	`pow1`
13966×	`add-exp-log`
13954×	`expm1-log1p-u`
13954×	`log1p-expm1-u`
13862×	`add-log-exp`

Stop Event

21×	node limit

Counts

144 → 3793

regimes1.8s (3.3%)

Counts

464 → 91

Calls

23 calls:

324.0ms	b
284.0ms	a
279.0ms	c
190.0ms	x
135.0ms	y

Compiler

Compiled 9924 to 5769 computations (41.9% saved)

end833.0ms (1.6%)

Compiler: Compiled 3012 to 1654 computations (45.1% saved)

bsearch771.0ms (1.5%)

Algorithm

1×	left-value
44×	binary-search

Stop Event

36×	narrow-enough
8×	predicate-same

Results

571.0ms	4598×	body	256	valid
70.0ms	442×	body	256	infinite
56.0ms	435×	body	256	invalid

Compiler

Compiled 11491 to 8200 computations (28.6% saved)

analyze751.0ms (1.4%)

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)

series662.0ms (1.2%)

Counts

144 → 3189

Calls

981 calls:

Time	Variable		Point	Expression
41.0ms	c	@	inf	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c)
37.0ms	a	@	-inf	(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4)))))
28.0ms	f	@	inf	(*.f64 2 (/.f64 f n))
20.0ms	c	@	inf	(/.f64 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))) c)
15.0ms	a	@	-inf	(sqrt.f64 (.f64 c (.f64 a -4)))

preprocess591.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)

Herbie run

Details

localize12.7s (23.9%)

sample11.7s (22.1%)

soundness6.8s (12.8%)

eval6.5s (12.3%)

simplify4.2s (8%)

prune3.3s (6.3%)

rewrite2.4s (4.5%)

regimes1.8s (3.3%)

end833.0ms (1.6%)

bsearch771.0ms (1.5%)

analyze751.0ms (1.4%)

series662.0ms (1.2%)

preprocess591.0ms (1.1%)

Profiling