Date:	Wednesday, January 18th, 2023
Commit:	fcdb6f71 on main
Hostname:	nightly with Racket 8.6
Seed:	2023018
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.4min (24.2%)

Counts

14193 → 1196

Calls

152 calls:

16.3s	l
10.5s	t
7.0s	k
5.0s	x
4.0s	n

Compiler

Compiled 212099 to 108630 computations (48.8% saved)

sample2.1min (20.5%)

Results

38.7s	190123×	body	256	valid
24.8s	34313×	body	1024	valid
16.8s	82844×	body	256	invalid
7.9s	11112×	body	2048	valid
7.2s	16204×	body	512	valid
6.6s	28698×	body	256	infinite
4.2s	982×	body	4096	infinite
3.9s	6127×	body	1024	invalid
3.6s	2987×	body	4096	valid
2.6s	4312×	body	1024	infinite
2.4s	991×	body	2048	infinite
1.4s	1197×	body	8192	valid
1.3s	3198×	body	512	invalid
1.0s	2476×	body	512	infinite
58.0ms	249×	body	256	unsamplable
9.0ms	12×	body	8192	exit
2.0ms	2×	body	2048	invalid

Bogosity

eval1.3min (13.1%)

Compiler: Compiled 4249333 to 2441886 computations (42.5% saved)

simplify1.1min (11%)

Algorithm

542×	egg-herbie

Rules

328070×	`associate-/l*`
321100×	`associate-r`
298118×	`associate-/r*`
293186×	`*-commutative`
279396×	`associate-l`

Stop Event

3×	unsound
1×	done
39×	saturated
30×	fuel
500×	node limit

Counts

97047 → 110580

Compiler

Compiled 19277 to 11815 computations (38.7% saved)

prune47.3s (7.9%)

Counts: 133402 → 3771
Compiler: Compiled 127377 to 90847 computations (28.7% saved)

rewrite46.9s (7.8%)

Algorithm

480×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
6×	egg-rewrite

Rules

233992×	`add-sqr-sqrt`
228740×	`*-un-lft-identity`
215628×	`add-cube-cbrt`
215180×	`associate-*r/`
214602×	`add-cbrt-cube`

Stop Event

7×	unsound
5×	iter limit
479×	node limit

Counts

1308 → 63652

bsearch35.5s (5.9%)

Algorithm

713×	binary-search
115×	left-value

Results

16.1s	72437×	body	256	valid
8.4s	10430×	body	1024	valid
3.3s	6308×	body	512	valid
2.9s	12715×	body	256	invalid
1.5s	5855×	body	256	infinite
522.0ms	823×	body	2048	valid
376.0ms	636×	body	1024	invalid
284.0ms	421×	body	4096	valid
125.0ms	125×	body	8192	valid
86.0ms	222×	body	512	invalid
30.0ms	74×	body	512	infinite
25.0ms	29×	body	2048	infinite
22.0ms	36×	body	1024	infinite
8.0ms	6×	body	4096	infinite

Compiler

Compiled 228762 to 168811 computations (26.2% saved)

localize16.8s (2.8%)

Compiler: Compiled 40972 to 20752 computations (49.4% saved)

analyze14.7s (2.5%)

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)

soundness9.5s (1.6%)

Algorithm

99×	egg-herbie

Rules

71154×	`associate-/r*`
65278×	`*-commutative`
64984×	`associate-/l*`
59400×	`associate-r`
55388×	`associate-l`

Stop Event

4×	saturated
95×	node limit

Compiler

Compiled 19227 to 11545 computations (40% saved)

series7.3s (1.2%)

Counts

1308 → 33364

Calls

9501 calls:

Time	Variable		Point	Expression
104.0ms	f	@	inf	(-.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 1/2 f)))) 1)
94.0ms	D	@	-inf	(log.f64 (*.f64 D M))
94.0ms	v	@	inf	(exp.f64 (pow.f64 (cbrt.f64 (log.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2))
87.0ms	h	@	0	(pow.f64 (*.f64 l h) -1/2)
59.0ms	f	@	0	(.f64 (-.f64 (log.f64 4) (log.f64 (.f64 (PI.f64) f))) (/.f64 -4 (PI.f64)))

end6.9s (1.1%)

Compiler: Compiled 18894 to 9350 computations (50.5% 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.4min (24.2%)

sample2.1min (20.5%)

eval1.3min (13.1%)

simplify1.1min (11%)

prune47.3s (7.9%)

rewrite46.9s (7.8%)

bsearch35.5s (5.9%)

localize16.8s (2.8%)

analyze14.7s (2.5%)

soundness9.5s (1.6%)

series7.3s (1.2%)

end6.9s (1.1%)

preprocess2.1s (0.3%)

Profiling