Date:	Tuesday, February 14th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023045
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

regimes2.6min (25.4%)

Counts

15396 → 1319

Calls

152 calls:

18.6s	l
9.0s	t
7.0s	d
5.8s	h
5.4s	x

Compiler

Compiled 237733 to 117406 computations (50.6% saved)

sample2.1min (19.8%)

Results

38.0s	190359×	body	256	valid
23.9s	34185×	body	1024	valid
17.4s	83615×	body	256	invalid
8.1s	11244×	body	2048	valid
7.3s	16062×	body	512	valid
7.0s	29399×	body	256	infinite
4.4s	1056×	body	4096	infinite
4.3s	6202×	body	1024	invalid
3.8s	2906×	body	4096	valid
2.6s	4530×	body	1024	infinite
2.3s	972×	body	2048	infinite
1.4s	3266×	body	512	invalid
1.2s	1180×	body	8192	valid
950.0ms	2520×	body	512	infinite
66.0ms	284×	body	256	unsamplable
5.0ms	7×	body	8192	exit
2.0ms	2×	body	2048	invalid

Bogosity

eval1.3min (12.9%)

Compiler: Compiled 4348126 to 2442100 computations (43.8% saved)

simplify1.1min (10.5%)

Algorithm

537×	egg-herbie

Rules

330994×	`associate-/l*`
315014×	`associate-r`
297048×	`associate-/r*`
289950×	`*-commutative`
274262×	`associate-l`

Stop Event

2×	done
2×	unsound
39×	saturated
29×	fuel
496×	node limit

Counts

94262 → 106562

Compiler

Compiled 21202 to 13004 computations (38.7% saved)

prune47.2s (7.6%)

Counts: 131576 → 3795
Compiler: Compiled 130217 to 91630 computations (29.6% saved)

rewrite46.7s (7.5%)

Algorithm

475×	batch-egg-rewrite
10×	egg-rewrite
8×	egg-rewrite-iter-limit

Rules

245606×	`add-sqr-sqrt`
240408×	`*-un-lft-identity`
226268×	`add-cube-cbrt`
225014×	`add-cbrt-cube`
202068×	`associate-*r/`

Stop Event

9×	unsound
8×	iter limit
476×	node limit

Counts

1289 → 61554

bsearch44.9s (7.2%)

Algorithm

811×	binary-search
121×	left-value

Results

17.1s	77933×	body	256	valid
10.1s	13173×	body	1024	valid
5.8s	26052×	body	256	invalid
3.4s	7096×	body	512	valid
2.3s	7444×	body	256	infinite
1.5s	1660×	body	2048	valid
1.3s	838×	body	4096	valid
416.0ms	362×	body	2048	infinite
356.0ms	213×	body	4096	infinite
184.0ms	148×	body	8192	valid
156.0ms	214×	body	1024	infinite
103.0ms	256×	body	1024	invalid
85.0ms	186×	body	512	infinite
61.0ms	206×	body	512	invalid

Compiler

Compiled 240311 to 176947 computations (26.4% saved)

localize16.2s (2.6%)

Compiler: Compiled 39117 to 18576 computations (52.5% saved)

analyze15.2s (2.4%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

soundness8.8s (1.4%)

Algorithm

92×	egg-herbie

Rules

57218×	`associate-/r*`
56610×	`*-commutative`
55512×	`associate-/l*`
50098×	`associate-r`
48338×	`distribute-lft-in`

Stop Event

4×	saturated
88×	node limit

Compiler

Compiled 14946 to 8714 computations (41.7% saved)

series7.6s (1.2%)

Counts

1289 → 32677

Calls

9396 calls:

Time	Variable		Point	Expression
154.0ms	n	@	0	(pow.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 (PI.f64) (.f64 2 n)) (+.f64 1/2 (*.f64 k -1/2))) (sqrt.f64 k))) 3)
65.0ms	K	@	-inf	(log1p.f64 (-.f64 (exp.f64 (cos.f64 (*.f64 1/2 K))) 1))
62.0ms	v	@	0	(pow.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3) 2)
59.0ms	f	@	0	(.f64 (-.f64 (log.f64 (/.f64 2 (PI.f64))) (log.f64 (.f64 f 1/2))) (/.f64 -4 (PI.f64)))
58.0ms	t	@	0	(pow.f64 (*.f64 n t) 1/4)

end6.9s (1.1%)

Compiler: Compiled 20525 to 10197 computations (50.3% saved)

preprocess2.1s (0.3%)

Algorithm

62×	egg-herbie

Rules

16384×	`fma-def`
16276×	`*-commutative`
15394×	`associate-r`
15392×	`associate-*r/`
13040×	`associate-l`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes2.6min (25.4%)

sample2.1min (19.8%)

eval1.3min (12.9%)

simplify1.1min (10.5%)

prune47.2s (7.6%)

rewrite46.7s (7.5%)

bsearch44.9s (7.2%)

localize16.2s (2.6%)

analyze15.2s (2.4%)

soundness8.8s (1.4%)

series7.6s (1.2%)

end6.9s (1.1%)

preprocess2.1s (0.3%)

Profiling