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

sample43.2min (31.8%)

Results

16.6min	3102663×	body	256	valid
5.3min	961474×	body	256	invalid
4.1min	296878×	body	1024	valid
3.8min	631388×	body	256	precondition
3.4min	97771×	body	8192	exit
2.7min	453583×	body	256	infinite
2.2min	103380×	body	2048	valid
1.4min	153834×	body	512	valid
1.2min	16843×	body	4096	valid
57.8s	69964×	body	1024	infinite
23.5s	2283×	body	8192	valid
17.9s	20333×	body	1024	invalid
17.1s	30006×	body	512	infinite
8.1s	5274×	body	2048	infinite
6.6s	10990×	body	512	invalid
5.4s	1305×	body	4096	infinite
5.3s	5408×	body	2048	invalid
275.0ms	25×	body	8192	infinite
5.0ms	3×	body	4096	invalid
3.0ms	1×	body	8192	invalid

Bogosity

localize30.8min (22.7%)

Results

Compiler

Compiled 345987 to 160584 computations (53.6% saved)

analyze12.3min (9.1%)

Algorithm

540×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.6%	9.4%	0%	0%	0%	0
3.4%	5.9%	169.2%	-75.1%	0%	0%	0%	1
4.7%	15.5%	318.6%	-234.2%	0%	0%	0%	2
10.2%	61.8%	544.1%	-505.9%	0%	0%	0%	3
9.9%	109.5%	991.9%	-1001.3%	0%	0%	0%	4
7.2%	148.6%	1904.1%	-1952.7%	0%	0%	0%	5
4.1%	161.1%	3780.2%	-3841.3%	0%	0%	0%	6
2.7%	209.8%	7459.5%	-7569.3%	0%	0%	0%	7
1.6%	234.8%	14858%	-14992.8%	0%	0%	0%	8
1.1%	332%	29509%	-29741%	0%	0%	0%	9
0.9%	523.6%	58598.4%	-59021.9%	0%	0%	0%	10
0.6%	717.7%	116759.8%	-117377.4%	0%	0%	0%	11
0.3%	723.2%	233379.9%	-234003.1%	0%	0%	0%	12

Compiler

Compiled 11868 to 8225 computations (30.7% saved)

soundness11.2min (8.2%)

Rules

2624206×	`fma-def`
1519180×	`associate-r`
1317116×	`log-prod`
1250342×	`times-frac`
1206626×	`associate-l`

Stop Event

29×	unsound
211×	saturated
3401×	node limit

Results

Compiler

Compiled 314282 to 179135 computations (43% saved)

regimes8.8min (6.5%)

Counts

85623 → 10485

Calls

1069 calls:

1.0min	x
49.1s	y
43.6s	z
32.5s	t
28.9s	a

Compiler

Compiled 1240004 to 629497 computations (49.2% saved)

eval7.8min (5.7%)

Compiler: Compiled 25162933 to 13396019 computations (46.8% saved)

simplify6.2min (4.5%)

Algorithm

2598×

egg-herbie

Rules

1758848×	`fma-def`
952076×	`associate-r`
836708×	`log-prod`
823068×	`associate-l`
822884×	`fma-neg`

Stop Event

13×	unsound
783×	saturated
123×	done
386×	fuel
1802×	node limit

Counts

695204 → 544149

Compiler

Compiled 132644 to 81993 computations (38.2% saved)

bsearch5.7min (4.2%)

Algorithm

5788×	binary-search
640×	left-value

Stop Event

5674×	narrow-enough
8×	predicate-failed
106×	predicate-same

Results

2.7min	510917×	body	256	valid
59.3s	125062×	body	256	infinite
33.8s	32312×	body	1024	valid
13.4s	19655×	body	512	valid
13.0s	7885×	body	2048	valid
11.3s	32213×	body	256	invalid
10.9s	12714×	body	1024	infinite
9.1s	2333×	body	8192	exit
4.7s	9618×	body	512	infinite
3.7s	1813×	body	4096	valid
1.0s	294×	body	8192	valid
470.0ms	685×	body	1024	invalid
428.0ms	309×	body	2048	infinite
153.0ms	335×	body	512	invalid
14.0ms	2×	body	4096	infinite

Compiler

Compiled 1365725 to 1003195 computations (26.5% saved)

prune3.8min (2.8%)

Counts: 818393 → 33307
Compiler: Compiled 2134479 to 1444406 computations (32.3% saved)

rewrite3.2min (2.3%)

Algorithm

1576×

batch-egg-rewrite

Rules

1015070×	`pow1`
959076×	`add-exp-log`
958140×	`log1p-expm1-u`
957952×	`expm1-log1p-u`
926132×	`add-log-exp`

Stop Event

10×	unsound
1566×	node limit

Counts

12476 → 398849

series1.1min (0.8%)

Counts

12476 → 295842

Calls

76701 calls:

Time	Variable		Point	Expression
474.0ms	y	@	inf	(.f64 x (.f64 3 y))
330.0ms	g	@	-inf	(pow.f64 (*.f64 2 (/.f64 a g)) -1/3)
303.0ms	x	@	-inf	(log1p.f64 (log.f64 (*.f64 x (+.f64 y 1/2))))
302.0ms	alpha	@	-inf	(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (fma.f64 2 i 2))) (/.f64 (+.f64 alpha beta) (fma.f64 2 i (+.f64 alpha beta)))) 1)
279.0ms	A	@	inf	(/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))

end1.1min (0.8%)

Compiler: Compiled 265078 to 135764 computations (48.8% saved)

preprocess40.8s (0.5%)

Algorithm

1026×

egg-herbie

Rules

483960×	`fma-def`
202974×	`fma-neg`
169354×	`sub-neg`
152920×	`distribute-lft-in`
150204×	`div-sub`

Stop Event

653×	saturated
103×	unsound
270×	node limit

Compiler

Compiled 10512 to 7501 computations (28.6% saved)

Herbie run

Details

sample43.2min (31.8%)

localize30.8min (22.7%)

analyze12.3min (9.1%)

soundness11.2min (8.2%)

regimes8.8min (6.5%)

eval7.8min (5.7%)

simplify6.2min (4.5%)

bsearch5.7min (4.2%)

prune3.8min (2.8%)

rewrite3.2min (2.3%)

series1.1min (0.8%)

end1.1min (0.8%)

preprocess40.8s (0.5%)

Profiling