Date:	Wednesday, October 4th, 2023
Commit:	39449eb5 on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023277
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

sample3.9min (43.1%)

Results

1.7min	84250×	body	8192	exit
28.7s	63706×	body	1024	valid
22.9s	36706×	body	2048	valid
19.7s	90344×	body	256	invalid
16.6s	60134×	body	256	valid
11.7s	34095×	body	512	valid
11.5s	15960×	body	4096	valid
8.1s	31021×	body	256	precondition
3.1s	9569×	body	256	infinite
2.9s	5005×	body	1024	infinite
2.4s	5214×	body	1024	invalid
1.6s	5436×	body	512	infinite
1.2s	2524×	body	512	invalid
1.1s	2079×	body	1024	unsamplable
346.0ms	509×	body	2048	infinite
238.0ms	994×	body	512	unsamplable
172.0ms	1034×	body	256	unsamplable
43.0ms	40×	body	8192	valid
38.0ms	28×	body	2048	invalid
3.0ms	6×	body	4096	infinite
2.0ms	2×	body	8192	infinite

Bogosity

localize1.8min (19.4%)

Compiler: Compiled 12963 to 6447 computations (50.3% saved)

soundness39.5s (7.2%)

Rules

153044×	`fma-def`
83638×	`fma-neg`
81818×	`associate-r`
78978×	`log-prod`
65602×	`times-frac`

Stop Event

7×	saturated
198×	node limit

Compiler

Compiled 19505 to 11967 computations (38.6% saved)

eval36.9s (6.8%)

Compiler: Compiled 1055849 to 614668 computations (41.8% saved)

analyze30.9s (5.7%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	199.9%	-99.9%	0%	0%	0%	1
3.7%	14.3%	371.1%	-285.4%	0%	0%	0%	2
8%	57.1%	656.7%	-613.7%	0%	0%	0%	3
4.2%	57.1%	1313.3%	-1270.4%	0%	0%	0%	4
2.1%	57.1%	2626.6%	-2583.7%	0%	0%	0%	5
1.1%	57.1%	5253.2%	-5210.3%	0%	0%	0%	6
0.5%	57.1%	10506.5%	-10463.6%	0%	0%	0%	7
0.3%	57.1%	21013%	-20970%	0%	0%	0%	8
0.1%	57.1%	42025.9%	-41983%	0%	0%	0%	9
0.1%	57.1%	84051.8%	-84008.9%	0%	0%	0%	10
0%	57.1%	168103.6%	-168060.7%	0%	0%	0%	11
0%	57.1%	336207.2%	-336164.3%	0%	0%	0%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

simplify24.9s (4.6%)

Algorithm

143×	egg-herbie

Rules

90498×	`fma-def`
53460×	`associate-r`
48590×	`fma-neg`
43912×	`associate-l`
43508×	`times-frac`

Stop Event

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

Counts

30630 → 30986

Compiler

Compiled 4429 to 3008 computations (32.1% saved)

prune19.9s (3.6%)

Counts: 43847 → 2156
Compiler: Compiled 111184 to 76296 computations (31.4% saved)

regimes17.2s (3.2%)

Counts

4399 → 373

Calls

43 calls:

4.0s	x
3.9s	eps
2.0s	b_2
974.0ms	a
970.0ms	c

Compiler

Compiled 52438 to 27741 computations (47.1% saved)

rewrite13.9s (2.5%)

Algorithm

87×	batch-egg-rewrite

Rules

50642×	`pow1`
48048×	`add-exp-log`
48026×	`log1p-expm1-u`
47982×	`expm1-log1p-u`
46932×	`log-prod`

Stop Event

87×	node limit

Counts

620 → 21560

bsearch8.8s (1.6%)

Algorithm

155×	binary-search
24×	left-value

Stop Event

152×	narrow-enough
3×	predicate-same

Results

3.2s	13929×	body	256	valid
2.0s	2927×	body	1024	valid
696.0ms	2248×	body	256	invalid
654.0ms	961×	body	2048	valid
571.0ms	1783×	body	512	valid
283.0ms	714×	body	1024	infinite
124.0ms	524×	body	256	infinite
117.0ms	438×	body	512	infinite
41.0ms	23×	body	8192	exit
30.0ms	60×	body	2048	infinite
18.0ms	24×	body	4096	valid

Compiler

Compiled 37972 to 26799 computations (29.4% saved)

series5.3s (1%)

Counts

620 → 9042

Calls

2865 calls:

Time	Variable		Point	Expression
140.0ms	x	@	inf	(log1p.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
135.0ms	x	@	inf	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 x))) -1/2)
117.0ms	eps	@	inf	(/.f64 eps (/.f64 (expm1.f64 (*.f64 b eps)) (pow.f64 (exp.f64 eps) b)))
94.0ms	eps	@	-inf	(log1p.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))
93.0ms	a	@	0	(log.f64 (*.f64 c (neg.f64 a)))

end4.5s (0.8%)

Compiler: Compiled 9640 to 5832 computations (39.5% saved)

preprocess2.8s (0.5%)

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

sample3.9min (43.1%)

localize1.8min (19.4%)

soundness39.5s (7.2%)

eval36.9s (6.8%)

analyze30.9s (5.7%)

simplify24.9s (4.6%)

prune19.9s (3.6%)

regimes17.2s (3.2%)

rewrite13.9s (2.5%)

bsearch8.8s (1.6%)

series5.3s (1%)

end4.5s (0.8%)

preprocess2.8s (0.5%)

Profiling