Metrics for Herbie run

Date:	Saturday, July 1st, 2023
Commit:	1e3c827b on main
Hostname:	nightly with Racket 8.6
Seed:	2023182
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

sample1.3min (29.9%)

Results

29.0s	33524×	body	2048	valid
26.3s	62144×	body	1024	valid
10.9s	87294×	body	256	valid
8.4s	32726×	body	512	valid
1.5s	13088×	body	256	infinite
1.3s	2057×	body	4096	valid
850.0ms	1159×	body	1024	invalid
661.0ms	7231×	body	256	unsamplable
579.0ms	4864×	body	256	invalid
280.0ms	597×	body	512	invalid
185.0ms	302×	body	2048	unsamplable
177.0ms	474×	body	1024	unsamplable
119.0ms	135×	body	1024	infinite
111.0ms	196×	body	512	infinite
47.0ms	190×	body	512	unsamplable
4.0ms	5×	body	2048	invalid
2.0ms	3×	body	2048	infinite
2.0ms	1×	body	8192	valid

Bogosity

localize44.7s (16.6%)

Compiler: Compiled 14351 to 6788 computations (52.7% saved)

soundness36.3s (13.4%)

Rules

160152×	`fma-def`
80106×	`fma-neg`
77880×	`log-prod`
76468×	`associate-r`
69430×	`associate-l`

Stop Event

7×	saturated
205×	node limit

Compiler

Compiled 19876 to 12036 computations (39.4% saved)

eval28.6s (10.6%)

Compiler: Compiled 1527262 to 826186 computations (45.9% saved)

simplify19.9s (7.4%)

Algorithm

157×	egg-herbie

Rules

108404×	`fma-def`
59162×	`associate-r`
52818×	`associate-l`
52270×	`fma-neg`
52192×	`times-frac`

Stop Event

4×	done
47×	saturated
24×	fuel
110×	node limit

Counts

38327 → 37881

Compiler

Compiled 4893 to 3178 computations (35.1% saved)

prune14.0s (5.2%)

Counts: 62602 → 2278
Compiler: Compiled 124958 to 84354 computations (32.5% saved)

regimes13.5s (5%)

Counts

4563 → 398

Calls

43 calls:

3.1s	x
2.7s	eps
1.1s	(/.f64 1 n)
1.0s	n
943.0ms	a

Compiler

Compiled 54572 to 28703 computations (47.4% saved)

rewrite12.0s (4.5%)

Algorithm

101×	batch-egg-rewrite

Rules

63090×	`pow1`
59924×	`add-exp-log`
59896×	`log1p-expm1-u`
59832×	`expm1-log1p-u`
54776×	`add-log-exp`

Stop Event

101×	node limit

Counts

816 → 25893

bsearch6.9s (2.6%)

Algorithm

170×	binary-search
37×	left-value

Stop Event

167×	narrow-enough
3×	predicate-same

Results

2.2s	4147×	body	1024	valid
2.0s	12120×	body	256	valid
1.0s	2234×	body	512	valid
735.0ms	1038×	body	2048	valid
278.0ms	1124×	body	256	infinite
116.0ms	71×	body	1024	infinite
101.0ms	1071×	body	256	invalid
9.0ms	21×	body	512	infinite
9.0ms	68×	body	256	unsamplable
5.0ms	13×	body	4096	valid
5.0ms	14×	body	1024	unsamplable
3.0ms	7×	body	2048	unsamplable
0.0ms	2×	body	512	unsamplable

Compiler

Compiled 38589 to 26696 computations (30.8% saved)

series5.0s (1.9%)

Counts

816 → 12406

Calls

3753 calls:

Time	Variable		Point	Expression
278.0ms	c	@	0	(pow.f64 (.f64 -4 (.f64 c a)) 3/2)
170.0ms	n	@	0	(*.f64 n (log.f64 n))
77.0ms	x	@	inf	(log.f64 (/.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (+.f64 1 x)))) (exp.f64 (cbrt.f64 x))))
69.0ms	x	@	-inf	(pow.f64 x (/.f64 1 n))
65.0ms	N	@	inf	(*.f64 (pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4) (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))

end3.4s (1.3%)

Compiler: Compiled 10720 to 6108 computations (43% saved)

analyze2.7s (1%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
27.4%	24.9%	66%	9.1%	0%	0%	0%	1
39%	34.7%	54.4%	9.1%	0%	1.8%	0%	2
51%	44.1%	42.4%	9.1%	0%	4.5%	0%	3
58.9%	50.1%	35%	9.1%	0%	5.8%	0%	4
65.5%	55%	29%	9.1%	0%	6.9%	0%	5
67.8%	56.6%	26.9%	9.1%	0%	7.5%	0%	6
70.2%	57.8%	24.6%	9.1%	0%	8.4%	0.1%	7
72.2%	59.3%	22.8%	9.1%	0%	8.7%	0.1%	8
73.5%	60%	21.6%	9.1%	0%	9.1%	0.3%	9
74.7%	60.5%	20.4%	9.1%	0%	9.7%	0.3%	10
76.2%	61.5%	19.2%	9.1%	0%	9.9%	0.4%	11
76.9%	61.8%	18.5%	9.1%	0%	10.2%	0.4%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess2.1s (0.8%)

Algorithm

56×	egg-herbie

Rules

25662×	`fma-def`
8366×	`div-sub`
7144×	`distribute-lft-in`
6960×	`distribute-rgt-in`
6546×	`fma-neg`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

sample1.3min (29.9%)

localize44.7s (16.6%)

soundness36.3s (13.4%)

eval28.6s (10.6%)

simplify19.9s (7.4%)

prune14.0s (5.2%)

regimes13.5s (5%)

rewrite12.0s (4.5%)

bsearch6.9s (2.6%)

series5.0s (1.9%)

end3.4s (1.3%)

analyze2.7s (1%)

preprocess2.1s (0.8%)

Profiling