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

sample15.8min (29.5%)

Results

9.2min	1769471×	body	256	valid
2.6min	429878×	body	256	invalid
1.8min	308159×	body	256	infinite
41.4s	56952×	body	1024	valid
21.4s	7937×	body	8192	exit
19.7s	26078×	body	1024	infinite
16.7s	34739×	body	512	valid
14.6s	13259×	body	2048	valid
5.4s	10850×	body	512	infinite
1.9s	1383×	body	2048	infinite
1.3s	1884×	body	1024	invalid
625.0ms	1272×	body	512	invalid
236.0ms	195×	body	4096	valid
2.0ms	3×	body	2048	invalid

Bogosity

localize9.3min (17.5%)

Compiler: Compiled 116643 to 46694 computations (60% saved)

soundness5.0min (9.4%)

Rules

1226648×	`fma-def`
649904×	`associate-r`
602224×	`log-prod`
574606×	`times-frac`
538740×	`associate-l`

Stop Event

135×	saturated
11×	unsound
1440×	node limit

Results

Compiler

Compiled 105116 to 57086 computations (45.7% saved)

regimes5.0min (9.4%)

Counts

35614 → 6132

Calls

481 calls:

49.6s	x
48.2s	y
43.1s	z
28.6s	t
20.8s	a

Compiler

Compiled 401563 to 214709 computations (46.5% saved)

analyze5.0min (9.3%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
2.5%	4.8%	190.1%	-94.9%	0%	0%	0%	1
5.5%	20.4%	349.1%	-269.4%	0%	0%	0%	2
13.1%	85.5%	567.9%	-553.4%	0%	0%	0%	3
14.8%	168.3%	970.1%	-1038.5%	0%	0%	0%	4
10.5%	215.6%	1845.6%	-1961.3%	0%	0%	0%	5
5.5%	215.6%	3691.3%	-3806.9%	0%	0%	0%	6
4.1%	310.2%	7193.5%	-7403.6%	0%	0%	0%	7
2.4%	357.4%	14292.4%	-14549.8%	0%	0%	0%	8
1.9%	546.3%	28207.1%	-28653.4%	0%	0%	0%	9
1.6%	923.9%	55659%	-56482.9%	0%	0%	0%	10
1.2%	1301.3%	110563.1%	-111764.4%	0%	0%	0%	11
0.6%	1301.3%	221126.2%	-222327.5%	0%	0%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

bsearch3.1min (5.9%)

Algorithm

3675×	binary-search
330×	left-value

Stop Event

3627×	narrow-enough
3×	predicate-failed
45×	predicate-same

Results

1.8min	343599×	body	256	valid
47.9s	93449×	body	256	infinite
6.7s	7441×	body	1024	valid
4.0s	4594×	body	1024	infinite
3.5s	5787×	body	512	valid
2.9s	10220×	body	256	invalid
2.6s	1503×	body	2048	valid
2.0s	4093×	body	512	infinite
241.0ms	180×	body	2048	infinite
64.0ms	29×	body	4096	valid
14.0ms	25×	body	512	invalid

Compiler

Compiled 823435 to 613869 computations (25.5% saved)

simplify3.1min (5.7%)

Algorithm

1367×

egg-herbie

Rules

902040×	`fma-def`
494182×	`log-prod`
480192×	`associate-r`
450744×	`fma-neg`
431002×	`times-frac`

Stop Event

6×	unsound
66×	done
436×	saturated
203×	fuel
925×	node limit

Counts

381705 → 279857

Compiler

Compiled 68179 to 40754 computations (40.2% saved)

eval2.5min (4.6%)

Compiler: Compiled 8280485 to 3906810 computations (52.8% saved)

rewrite1.7min (3.1%)

Algorithm

829×	batch-egg-rewrite

Rules

511888×	`pow1`
482236×	`add-exp-log`
481924×	`log1p-expm1-u`
481896×	`expm1-log1p-u`
461552×	`add-log-exp`

Stop Event

1×	unsound
828×	node limit

Counts

5926 → 219038

prune1.6min (3%)

Counts: 359566 → 14013
Compiler: Compiled 697096 to 472320 computations (32.2% saved)

end33.5s (1%)

Compiler: Compiled 128734 to 63370 computations (50.8% saved)

series28.9s (0.9%)

Counts

5926 → 162398

Calls

41214 calls:

Time	Variable		Point	Expression
474.0ms	y	@	inf	(.f64 x (.f64 3 y))
259.0ms	y	@	inf	(-.f64 (-.f64 x (.f64 (+.f64 y -1) z)) (-.f64 (.f64 b (-.f64 2 y)) a))
258.0ms	x	@	inf	(.f64 (.f64 3 (sqrt.f64 x)) (+.f64 y (-.f64 (pow.f64 (sqrt.f64 (/.f64 1/9 x)) 2) 1)))
169.0ms	x	@	0	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 27061/100000) x)))
161.0ms	y	@	0	(-.f64 (log.f64 (/.f64 y (cbrt.f64 x))) (log.f64 (cbrt.f64 (*.f64 x x))))

preprocess20.7s (0.6%)

Algorithm

538×	egg-herbie

Rules

268020×	`fma-def`
110988×	`fma-neg`
101794×	`sub-neg`
90584×	`div-sub`
79094×	`distribute-lft-in`

Stop Event

58×	unsound
353×	saturated
127×	node limit

Compiler

Compiled 4532 to 3289 computations (27.4% saved)

Herbie run

Details

sample15.8min (29.5%)

localize9.3min (17.5%)

soundness5.0min (9.4%)

regimes5.0min (9.4%)

analyze5.0min (9.3%)

bsearch3.1min (5.9%)

simplify3.1min (5.7%)

eval2.5min (4.6%)

rewrite1.7min (3.1%)

prune1.6min (3%)

end33.5s (1%)

series28.9s (0.9%)

preprocess20.7s (0.6%)

Profiling