Date:	Thursday, February 23rd, 2023
Commit:	f090ba30 on fix-report-link
Hostname:	nightly with Racket 8.6
Seed:	2023054
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:simplify` default

Details

sample1.6min (31.5%)

Results

35.5s	36681×	body	2048	valid
31.3s	66155×	body	1024	valid
11.8s	91016×	body	256	valid
9.8s	35131×	body	512	valid
1.4s	2182×	body	4096	valid
1.3s	1419×	body	1024	invalid
730.0ms	5918×	body	256	invalid
435.0ms	3051×	body	256	infinite
398.0ms	795×	body	512	invalid
246.0ms	483×	body	1024	unsamplable
207.0ms	301×	body	2048	unsamplable
199.0ms	1061×	body	256	unsamplable
198.0ms	193×	body	1024	infinite
128.0ms	251×	body	512	infinite
66.0ms	241×	body	512	unsamplable
6.0ms	3×	body	8192	valid
6.0ms	5×	body	2048	invalid
2.0ms	2×	body	2048	infinite

Bogosity

eval49.6s (16.6%)

Compiler: Compiled 2604564 to 1419288 computations (45.5% saved)

simplify40.5s (13.5%)

Algorithm

358×	egg-herbie

Rules

208114×	`associate-r`
180486×	`associate-/l*`
177534×	`associate-/r*`
177272×	`associate-l`
166026×	`associate-+r+`

Stop Event

1×	unsound
4×	done
47×	saturated
24×	fuel
310×	node limit

Counts

53090 → 71250

Compiler

Compiled 3971 to 2756 computations (30.6% saved)

prune29.8s (10%)

Counts: 89771 → 2477
Compiler: Compiled 60825 to 41994 computations (31% saved)

rewrite28.7s (9.6%)

Algorithm

302×	batch-egg-rewrite

Rules

196458×	`add-sqr-sqrt`
192524×	`*-un-lft-identity`
181346×	`add-cube-cbrt`
179976×	`add-cbrt-cube`
124330×	`add-exp-log`

Stop Event

302×	node limit

Counts

694 → 42141

regimes24.0s (8%)

Counts

4902 → 352

Calls

43 calls:

5.2s	c
4.4s	a
3.8s	x
1.9s	eps
1.8s	b

Compiler

Compiled 58662 to 30703 computations (47.7% saved)

soundness7.2s (2.4%)

Algorithm

53×	egg-herbie

Rules

33264×	`associate-r`
27926×	`associate-/l*`
26046×	`associate-l`
24922×	`fma-def`
24782×	`+-commutative`

Stop Event

14×	saturated
39×	node limit

Compiler

Compiled 5473 to 2996 computations (45.3% saved)

bsearch6.8s (2.3%)

Algorithm

164×	binary-search
15×	left-value

Results

3.2s	16801×	body	256	valid
1.4s	3464×	body	1024	valid
562.0ms	801×	body	2048	valid
394.0ms	1266×	body	256	invalid
376.0ms	1329×	body	512	valid
146.0ms	300×	body	256	unsamplable
135.0ms	108×	body	1024	infinite
116.0ms	579×	body	256	infinite
28.0ms	63×	body	512	infinite
5.0ms	8×	body	4096	valid

Compiler

Compiled 33281 to 24684 computations (25.8% saved)

localize6.2s (2.1%)

Compiler: Compiled 14229 to 7237 computations (49.1% saved)

analyze4.3s (1.4%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series3.2s (1.1%)

Counts

694 → 10921

Calls

3387 calls:

Time	Variable		Point	Expression
124.0ms	a	@	inf	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
79.0ms	a	@	inf	(pow.f64 (cbrt.f64 (.f64 (/.f64 1/2 a) (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b))) 3)
77.0ms	n	@	0	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
77.0ms	eps	@	-inf	(log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))
75.0ms	eps	@	0	(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)

end2.9s (1%)

Compiler: Compiled 3879 to 2329 computations (40% saved)

preprocess1.8s (0.6%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.6min (31.5%)

eval49.6s (16.6%)

simplify40.5s (13.5%)

prune29.8s (10%)

rewrite28.7s (9.6%)

regimes24.0s (8%)

soundness7.2s (2.4%)

bsearch6.8s (2.3%)

localize6.2s (2.1%)

analyze4.3s (1.4%)

series3.2s (1.1%)

end2.9s (1%)

preprocess1.8s (0.6%)

Profiling