Date:	Wednesday, September 20th, 2023
Commit:	c5f986cd on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023263
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

sample4.2min (28.8%)

Results

1.0min	149510×	body	256	valid
55.5s	138333×	body	256	invalid
33.6s	31110×	body	1024	valid
28.4s	14993×	body	8192	exit
18.9s	16771×	body	2048	valid
13.4s	32600×	body	256	infinite
10.9s	15113×	body	512	valid
5.9s	7664×	body	1024	invalid
5.5s	2478×	body	4096	valid
3.8s	4313×	body	1024	infinite
2.8s	776×	body	8192	valid
2.5s	8625×	body	256	precondition
2.1s	4027×	body	512	invalid
1.8s	761×	body	4096	infinite
1.3s	722×	body	2048	infinite
1.1s	1782×	body	512	infinite
9.0ms	15×	body	2048	invalid

Bogosity

localize3.3min (22.9%)

Compiler: Compiled 39090 to 17931 computations (54.1% saved)

soundness1.6min (10.8%)

Rules

303982×	`fma-def`
243628×	`associate-r`
200242×	`times-frac`
197020×	`associate-l`
165192×	`log-prod`

Stop Event

1×	unsound
6×	saturated
464×	node limit

Compiler

Compiled 48220 to 28729 computations (40.4% saved)

regimes1.1min (7.9%)

Counts

12033 → 1088

Calls

152 calls:

5.8s	l
3.1s	t
3.1s	(sin.f64 ky)
2.9s	d
2.4s	th

Compiler

Compiled 170512 to 86212 computations (49.4% saved)

analyze1.1min (7.3%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	103.1%	-3.1%	0%	0%	0%	0
3.2%	6.4%	193.3%	-99.7%	0%	0%	0%	1
1.6%	6.4%	386.5%	-293%	0%	0%	0%	2
6.1%	45.1%	695.7%	-640.8%	0%	0%	0%	3
3.1%	45.1%	1391.4%	-1336.5%	0%	0%	0%	4
1.6%	45.1%	2782.7%	-2727.8%	0%	0%	0%	5
2.7%	148.1%	5359.5%	-5407.6%	0%	0%	0%	6
1.4%	148.1%	10719%	-10767.1%	0%	0%	0%	7
0.7%	148.1%	21437.9%	-21486%	0%	0%	0%	8
0.3%	148.1%	42875.9%	-42923.9%	0%	0%	0%	9
0.2%	148.1%	85751.7%	-85799.8%	0%	0%	0%	10
0.1%	148.1%	171503.4%	-171551.5%	0%	0%	0%	11
0%	148.1%	343006.9%	-343055%	0%	0%	0%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

bsearch1.0min (7%)

Algorithm

554×	binary-search
131×	left-value

Stop Event

541×	narrow-enough
3×	predicate-failed
10×	predicate-same

Results

15.7s	39586×	body	256	valid
10.4s	9257×	body	1024	valid
8.6s	2227×	body	8192	exit
6.5s	14894×	body	256	invalid
5.0s	12385×	body	256	infinite
4.0s	2676×	body	2048	valid
3.8s	4933×	body	512	valid
2.0s	944×	body	4096	valid
1.0s	294×	body	8192	valid
828.0ms	913×	body	1024	infinite
467.0ms	683×	body	1024	invalid
282.0ms	492×	body	512	infinite
136.0ms	306×	body	512	invalid
12.0ms	8×	body	2048	infinite

Compiler

Compiled 168736 to 123571 computations (26.8% saved)

eval48.0s (5.5%)

Compiler: Compiled 2630061 to 1548096 computations (41.1% saved)

simplify32.7s (3.8%)

Algorithm

182×	egg-herbie

Rules

133618×	`fma-def`
90500×	`associate-r`
80968×	`times-frac`
75774×	`associate-l`
64150×	`*-commutative`

Stop Event

1×	done
37×	saturated
30×	fuel
145×	node limit

Counts

61347 → 48513

Compiler

Compiled 16540 to 10497 computations (36.5% saved)

prune21.1s (2.4%)

Counts: 76585 → 3201
Compiler: Compiled 218792 to 149820 computations (31.5% saved)

rewrite14.9s (1.7%)

Algorithm

120×	batch-egg-rewrite

Rules

83464×	`pow1`
78918×	`add-exp-log`
78836×	`log1p-expm1-u`
78814×	`expm1-log1p-u`
78790×	`add-log-exp`

Stop Event

1×	unsound
119×	node limit

Counts

1317 → 28818

series7.5s (0.9%)

Counts

1317 → 32498

Calls

8907 calls:

Time	Variable		Point	Expression
279.0ms	A	@	inf	(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))
102.0ms	l	@	0	(/.f64 (hypot.f64 (.f64 (sqrt.f64 (/.f64 (+.f64 x 1) (+.f64 -1 x))) (hypot.f64 l (.f64 t (sqrt.f64 2)))) l) t)
91.0ms	v	@	0	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (acos.f64 (fma.f64 4 (fma.f64 v v (pow.f64 v 4)) -1)))) 3) 3)
89.0ms	n	@	-inf	(log1p.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 (PI.f64) (.f64 2 n)) (-.f64 1 k)) k)))
69.0ms	f	@	inf	(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) 4) f)))) (.f64 (.f64 (PI.f64) 1/2) f)))

end7.0s (0.8%)

Compiler: Compiled 32540 to 16702 computations (48.7% saved)

preprocess2.4s (0.3%)

Algorithm

62×	egg-herbie

Rules

28786×	`fma-def`
14268×	`fma-neg`
13542×	`associate-*r/`
12824×	`associate-r`
12316×	`distribute-lft-in`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Herbie run

Details

sample4.2min (28.8%)

localize3.3min (22.9%)

soundness1.6min (10.8%)

regimes1.1min (7.9%)

analyze1.1min (7.3%)

bsearch1.0min (7%)

eval48.0s (5.5%)

simplify32.7s (3.8%)

prune21.1s (2.4%)

rewrite14.9s (1.7%)

series7.5s (0.9%)

end7.0s (0.8%)

preprocess2.4s (0.3%)

Profiling