Date:	Monday, January 16th, 2023
Commit:	e61c3a2b on new-nightly-report
Hostname:	nightly with Racket 8.6
Seed:	2023016
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

regimes11.1min (25.8%)

Counts

42940 → 7089

Calls

490 calls:

1.7min	x
1.7min	y
1.5min	z
1.3min	t
1.1min	a

Results

Compiler

Compiled 606830 to 291059 computations (52% saved)

sample7.7min (17.9%)

Results

4.9min	2131914×	body	256	valid
1.3min	338090×	body	256	infinite
29.1s	51136×	body	1024	valid
28.4s	135470×	body	256	invalid
12.7s	35568×	body	512	valid
7.8s	10136×	body	2048	valid
3.9s	9039×	body	1024	infinite
2.0s	1621×	body	8192	exit
1.6s	5481×	body	512	infinite
555.0ms	366×	body	4096	valid
295.0ms	725×	body	1024	invalid
191.0ms	614×	body	512	invalid

Bogosity

simplify5.8min (13.5%)

Algorithm

3299×

egg-herbie

Rules

1757400×	`associate-r`
1642062×	`associate-/l*`
1546970×	`associate-l`
1531982×	`*-commutative`
1487968×	`distribute-lft-in`

Stop Event

73×	done
4×	unsound
434×	saturated
196×	fuel
2861×	node limit

Counts

491946 → 551643

Compiler

Compiled 82430 to 47845 computations (42% saved)

eval4.8min (11.2%)

Compiler: Compiled 16614047 to 7723495 computations (53.5% saved)

rewrite4.1min (9.6%)

Algorithm

2760×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2086502×	`add-sqr-sqrt`
2055684×	`*-un-lft-identity`
1924826×	`add-cube-cbrt`
1891686×	`add-cbrt-cube`
1079000×	`add-exp-log`

Stop Event

3×	unsound
3×	iter limit
2759×	node limit

Counts

5809 → 333103

prune3.4min (7.8%)

Counts: 631940 → 15723
Compiler: Compiled 430384 to 299501 computations (30.4% saved)

bsearch1.9min (4.5%)

Algorithm

4629×	binary-search
462×	left-value

Results

1.5min	552904×	body	256	valid
5.2s	7811×	body	1024	valid
5.1s	29934×	body	256	infinite
2.8s	7094×	body	512	valid
1.5s	13229×	body	256	invalid
288.0ms	451×	body	2048	valid
5.0ms	17×	body	512	infinite
2.0ms	9×	body	1024	infinite

Compiler

Compiled 1078120 to 786643 computations (27% saved)

analyze1.1min (2.5%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize58.1s (2.3%)

Compiler: Compiled 130941 to 58375 computations (55.4% saved)

soundness44.6s (1.7%)

Algorithm

333×	egg-herbie

Rules

185218×	`fma-def`
150232×	`associate-r`
148442×	`*-commutative`
143770×	`+-commutative`
135188×	`associate-/l*`

Stop Event

105×	saturated
1×	unsound
227×	node limit

Compiler

Compiled 33822 to 17372 computations (48.6% saved)

end32.9s (1.3%)

Compiler: Compiled 80585 to 36820 computations (54.3% saved)

series27.9s (1.1%)

Counts

5809 → 158573

Calls

41253 calls:

Time	Variable		Point	Expression
325.0ms	x	@	-inf	(log.f64 (/.f64 x y))
295.0ms	y	@	inf	(/.f64 (exp.f64 (.f64 1/2 (.f64 t t))) (/.f64 (fma.f64 1/2 x y) (.f64 (-.f64 (.f64 x (.f64 x 1/4)) (.f64 y y)) (sqrt.f64 (*.f64 2 z)))))
188.0ms	y	@	inf	(cbrt.f64 (+.f64 (/.f64 1/2 y) (/.f64 -1/2 x)))
188.0ms	x	@	0	(*.f64 x (log.f64 y))
143.0ms	y	@	inf	(log1p.f64 (cos.f64 y))

preprocess17.2s (0.7%)

Algorithm

540×	egg-herbie

Rules

183176×	`fma-def`
105626×	`*-commutative`
101564×	`+-commutative`
95266×	`distribute-lft-in`
86488×	`associate-+l-`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes11.1min (25.8%)

sample7.7min (17.9%)

simplify5.8min (13.5%)

eval4.8min (11.2%)

rewrite4.1min (9.6%)

prune3.4min (7.8%)

bsearch1.9min (4.5%)

analyze1.1min (2.5%)

localize58.1s (2.3%)

soundness44.6s (1.7%)

end32.9s (1.3%)

series27.9s (1.1%)

preprocess17.2s (0.7%)

Profiling