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

sample3.3min (35.6%)

Results

1.5min	273275×	body	256	valid
43.7s	104311×	body	256	precondition
14.1s	19719×	body	1024	valid
13.6s	11512×	body	2048	valid
9.3s	25768×	body	256	infinite
7.5s	29683×	body	256	invalid
6.6s	1573×	body	8192	exit
5.5s	10572×	body	512	valid
2.3s	3583×	body	1024	infinite
1.1s	750×	body	4096	valid
719.0ms	1441×	body	512	infinite
156.0ms	132×	body	2048	infinite

Bogosity

localize1.8min (20%)

Compiler: Compiled 29738 to 16589 computations (44.2% saved)

analyze58.7s (10.6%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	58.7%	41.3%	0%	0%	0%	0
8.6%	9.3%	98.5%	-7.8%	0%	0%	0%	1
4.5%	9.3%	196.6%	-105.9%	0%	0%	0%	2
2.9%	11.5%	388%	-299.5%	0%	0%	0%	3
1.7%	13.7%	770.4%	-684.1%	0%	0%	0%	4
1.3%	20.3%	1524.8%	-1445.1%	0%	0%	0%	5
0.9%	26.9%	3032%	-2958.9%	0%	0%	0%	6
0.7%	42.1%	6023.1%	-5965.2%	0%	0%	0%	7
0.5%	57.4%	11999.6%	-11957%	0%	0%	0%	8
0.4%	89.6%	23895.1%	-23884.7%	0%	0%	0%	9
0.3%	121.9%	47664.1%	-47686%	0%	0%	0%	10
0.2%	187.7%	95042.1%	-95129.8%	0%	0%	0%	11
0.1%	253.4%	189713.1%	-189866.5%	0%	0%	0%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness47.0s (8.5%)

Rules

208020×	`fma-def`
115834×	`associate-r`
102038×	`log-prod`
101094×	`times-frac`
90950×	`distribute-lft-in`

Stop Event

7×	saturated
289×	node limit

Compiler

Compiled 30765 to 18446 computations (40% saved)

eval37.8s (6.9%)

Compiler: Compiled 1861584 to 1135505 computations (39% saved)

simplify25.2s (4.6%)

Algorithm

201×	egg-herbie

Rules

149128×	`fma-def`
71934×	`associate-r`
66192×	`distribute-lft-in`
64414×	`times-frac`
60854×	`fma-neg`

Stop Event

14×	done
58×	saturated
28×	fuel
143×	node limit

Counts

46512 → 41296

Compiler

Compiled 9530 to 6032 computations (36.7% saved)

regimes19.3s (3.5%)

Counts

4498 → 599

Calls

91 calls:

2.0s	x1
2.0s	c
1.8s	b
1.8s	x
1.5s	a

Compiler

Compiled 71031 to 41162 computations (42.1% saved)

bsearch16.3s (3%)

Algorithm

313×	binary-search
23×	left-value

Stop Event

298×	narrow-enough
15×	predicate-same

Results

7.7s	27271×	body	256	valid
3.0s	7212×	body	256	infinite
1.5s	1492×	body	1024	valid
1.2s	1225×	body	1024	infinite
796.0ms	1506×	body	512	valid
639.0ms	437×	body	2048	valid
281.0ms	1390×	body	256	invalid
187.0ms	334×	body	512	infinite
60.0ms	46×	body	2048	infinite
45.0ms	29×	body	4096	valid

Compiler

Compiled 88771 to 61127 computations (31.1% saved)

prune15.8s (2.9%)

Counts: 61022 → 2039
Compiler: Compiled 118982 to 80008 computations (32.8% saved)

rewrite13.5s (2.5%)

Algorithm

117×	batch-egg-rewrite

Rules

76714×	`pow1`
72804×	`add-exp-log`
72760×	`log1p-expm1-u`
72744×	`expm1-log1p-u`
70858×	`add-log-exp`

Stop Event

117×	node limit

Counts

878 → 28453

end5.7s (1%)

Compiler: Compiled 20836 to 11892 computations (42.9% saved)

preprocess3.0s (0.5%)

Algorithm

84×	egg-herbie

Rules

36052×	`fma-def`
15902×	`distribute-lft-in`
14450×	`distribute-rgt-in`
13270×	`distribute-lft-neg-in`
12830×	`sub-neg`

Stop Event

6×	unsound
53×	saturated
25×	node limit

Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.7s (0.5%)

Counts

878 → 18017

Calls

4785 calls:

Time	Variable		Point	Expression
76.0ms	x2	@	-inf	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
58.0ms	a	@	0	(log1p.f64 (/.f64 -2 (.f64 (/.f64 (/.f64 b a) c) (.f64 a 2))))
48.0ms	r	@	0	(/.f64 (.f64 1/8 (+.f64 3 (.f64 -2 v))) (/.f64 (-.f64 1 v) (.f64 r (.f64 r (*.f64 w w)))))
37.0ms	x	@	0	(log.f64 (sqrt.f64 (exp.f64 (atan.f64 (sqrt.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))))))
35.0ms	t1	@	inf	(pow.f64 (cbrt.f64 (+.f64 t1 u)) 2)

Herbie run

Details

sample3.3min (35.6%)

localize1.8min (20%)

analyze58.7s (10.6%)

soundness47.0s (8.5%)

eval37.8s (6.9%)

simplify25.2s (4.6%)

regimes19.3s (3.5%)

bsearch16.3s (3%)

prune15.8s (2.9%)

rewrite13.5s (2.5%)

end5.7s (1%)

preprocess3.0s (0.5%)

series2.7s (0.5%)

Profiling