Date:	Friday, June 16th, 2023
Commit:	b22679c1 on main
Hostname:	nightly with Racket 8.6
Seed:	2023167
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

sample1.4min (31.7%)

Results

30.9s	33479×	body	2048	valid
26.9s	63091×	body	1024	valid
11.6s	85988×	body	256	valid
9.0s	32866×	body	512	valid
1.7s	13350×	body	256	infinite
1.4s	2060×	body	4096	valid
1.4s	1255×	body	1024	invalid
908.0ms	7738×	body	256	unsamplable
601.0ms	5041×	body	256	invalid
255.0ms	611×	body	512	invalid
211.0ms	302×	body	2048	unsamplable
174.0ms	142×	body	1024	infinite
154.0ms	411×	body	1024	unsamplable
86.0ms	186×	body	512	infinite
60.0ms	246×	body	512	unsamplable
4.0ms	3×	body	2048	invalid
4.0ms	6×	body	2048	infinite

Bogosity

soundness40.5s (14.9%)

Rules

180562×	`fma-def`
109308×	`fma-neg`
101176×	`log-prod`
93984×	`associate-r`
77246×	`times-frac`

Stop Event

8×	saturated
245×	node limit

Compiler

Compiled 27318 to 15808 computations (42.1% saved)

localize36.4s (13.4%)

Compiler: Compiled 13391 to 6599 computations (50.7% saved)

eval30.1s (11.1%)

Compiler: Compiled 1483868 to 855352 computations (42.4% saved)

simplify19.5s (7.2%)

Algorithm

155×	egg-herbie

Rules

99538×	`fma-def`
62934×	`fma-neg`
57350×	`associate-r`
49314×	`times-frac`
47806×	`associate-l`

Stop Event

3×	done
47×	saturated
25×	fuel
108×	node limit

Counts

36056 → 36610

Compiler

Compiled 5392 to 3591 computations (33.4% saved)

prune15.1s (5.6%)

Counts: 61359 → 2384
Compiler: Compiled 122580 to 83508 computations (31.9% saved)

regimes14.9s (5.5%)

Counts

5320 → 439

Calls

43 calls:

4.2s	eps
3.8s	x
795.0ms	c
703.0ms	a
656.0ms	(/.f64 1 n)

Compiler

Compiled 65139 to 34572 computations (46.9% saved)

rewrite11.8s (4.4%)

Algorithm

99×	batch-egg-rewrite

Rules

58026×	`pow1`
55070×	`add-exp-log`
55034×	`log1p-expm1-u`
54996×	`expm1-log1p-u`
51582×	`add-log-exp`

Stop Event

99×	node limit

Counts

766 → 24804

bsearch5.5s (2%)

Algorithm

168×	binary-search
58×	left-value

Stop Event

166×	narrow-enough
2×	predicate-same

Results

2.1s	15796×	body	256	valid
1.5s	3446×	body	1024	valid
982.0ms	1174×	body	2048	valid
350.0ms	1582×	body	512	valid
124.0ms	1353×	body	256	invalid
30.0ms	134×	body	256	unsamplable
25.0ms	176×	body	256	infinite
10.0ms	11×	body	4096	valid
2.0ms	4×	body	1024	infinite
1.0ms	3×	body	512	infinite

Compiler

Compiled 38783 to 27291 computations (29.6% saved)

end3.3s (1.2%)

Compiler: Compiled 11644 to 6862 computations (41.1% saved)

analyze3.0s (1.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)

series2.9s (1.1%)

Counts

766 → 11224

Calls

3465 calls:

Time	Variable		Point	Expression
67.0ms	x	@	-inf	(log.f64 (/.f64 x (/.f64 (-.f64 1 (cos.f64 x)) x)))
63.0ms	c	@	0	(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (neg.f64 c)) (log.f64 a))))
57.0ms	a	@	inf	(/.f64 (-.f64 (neg.f64 b_2) (pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (neg.f64 c)) (log.f64 a))))) a)
46.0ms	b_2	@	-inf	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
45.0ms	x	@	inf	(.f64 1/3 (.f64 x x))

preprocess2.0s (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)

Herbie run

Details

sample1.4min (31.7%)

soundness40.5s (14.9%)

localize36.4s (13.4%)

eval30.1s (11.1%)

simplify19.5s (7.2%)

prune15.1s (5.6%)

regimes14.9s (5.5%)

rewrite11.8s (4.4%)

bsearch5.5s (2%)

end3.3s (1.2%)

analyze3.0s (1.1%)

series2.9s (1.1%)

preprocess2.0s (0.8%)

Profiling