Date:	Monday, May 15th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023135
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

sample28.6min (23.1%)

Results

10.9min	3842926×	body	256	valid
4.0min	302151×	body	1024	valid
3.9min	29892×	body	8192	exit
2.1min	101214×	body	2048	valid
1.9min	450197×	body	256	infinite
1.4min	16570×	body	4096	valid
1.2min	163042×	body	512	valid
1.0min	268637×	body	256	invalid
36.1s	2809×	body	8192	valid
30.2s	35089×	body	1024	infinite
11.6s	1959×	body	4096	infinite
10.4s	15416×	body	1024	invalid
10.2s	18854×	body	512	infinite
9.4s	2446×	body	2048	infinite
6.9s	23420×	body	256	unsamplable
3.7s	8197×	body	512	invalid
1.3s	1287×	body	2048	invalid
1.2s	3166×	body	256	precondition
883.0ms	42×	body	8192	infinite
299.0ms	458×	body	1024	unsamplable
242.0ms	303×	body	2048	unsamplable
102.0ms	267×	body	512	unsamplable
36.0ms	1×	body	8192	unsamplable
13.0ms	1×	body	4096	unsamplable
9.0ms	3×	body	8192	invalid
8.0ms	5×	body	4096	invalid

Bogosity

regimes21.7min (17.6%)

Counts

119540 → 12013

Calls

1164 calls:

2.1min	x
1.8min	y
1.6min	a
1.6min	z
1.5min	t

Results

Compiler

Compiled 2136936 to 1141389 computations (46.6% saved)

eval17.6min (14.3%)

Compiler: Compiled 49970084 to 27031370 computations (45.9% saved)

simplify14.4min (11.7%)

Algorithm

7059×

egg-herbie

Rules

3909212×	`associate-r`
3621918×	`associate-/l*`
3477350×	`*-commutative`
3405010×	`associate-l`
3241120×	`distribute-lft-in`

Stop Event

24×	unsound
821×	saturated
122×	done
412×	fuel
6214×	node limit

Counts

1062517 → 1258695

Compiler

Compiled 164678 to 100224 computations (39.1% saved)

rewrite14.1min (11.4%)

Algorithm

5989×	batch-egg-rewrite
54×	egg-rewrite
43×	egg-rewrite-iter-limit

Rules

4209358×	`add-sqr-sqrt`
4134770×	`*-un-lft-identity`
3883186×	`add-cube-cbrt`
3831202×	`add-cbrt-cube`
2360450×	`add-exp-log`

Stop Event

44×	unsound
43×	iter limit
5999×	node limit

Counts

13844 → 736179

prune9.9min (8%)

Counts: 1535739 → 44158
Compiler: Compiled 1604730 to 1138249 computations (29.1% saved)

bsearch4.8min (3.9%)

Algorithm

7136×	binary-search
782×	left-value

Stop Event

6975×	narrow-enough
3×	predicate-failed
158×	predicate-same

Results

2.5min	780806×	body	256	valid
40.5s	39637×	body	1024	valid
23.0s	5204×	body	4096	valid
15.5s	9008×	body	2048	valid
12.2s	22740×	body	512	valid
9.5s	40367×	body	256	infinite
8.9s	40790×	body	256	invalid
5.0s	701×	body	8192	valid
1.8s	1228×	body	1024	infinite
832.0ms	109×	body	4096	infinite
712.0ms	177×	body	2048	infinite
448.0ms	625×	body	512	infinite
142.0ms	332×	body	1024	invalid
137.0ms	5×	body	8192	infinite
49.0ms	159×	body	512	invalid
13.0ms	12×	body	2048	invalid
10.0ms	58×	body	256	unsamplable
3.0ms	7×	body	1024	unsamplable
1.0ms	1×	body	2048	unsamplable
0.0ms	2×	body	512	unsamplable

Compiler

Compiled 1739935 to 1263508 computations (27.4% saved)

localize3.8min (3.1%)

Compiler: Compiled 418540 to 212676 computations (49.2% saved)

analyze3.0min (2.4%)

Algorithm

539×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
2.4%	2.1%	84.7%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.5%	9.8%	74.8%	13.3%	0.3%	1.8%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.3%	0.2%	4
23.9%	19.7%	62.6%	13.3%	1.6%	2.7%	0.2%	5
28.6%	23.1%	57.7%	13.3%	2.5%	3.1%	0.3%	6
36%	28.4%	50.5%	13.3%	3.5%	3.9%	0.3%	7
40.5%	31.6%	46.4%	13.3%	4%	4.2%	0.4%	8
46%	35.4%	41.5%	13.3%	4.7%	4.6%	0.4%	9
50.6%	38.3%	37.4%	13.3%	5.4%	5%	0.4%	10
54.8%	41.1%	33.9%	13.3%	5.9%	5.3%	0.4%	11
58.2%	43.3%	31%	13.3%	6.4%	5.6%	0.5%	12

Compiler

Compiled 11861 to 8220 computations (30.7% saved)

soundness2.4min (2%)

Algorithm

812×	egg-herbie

Rules

520640×	`*-commutative`
513992×	`associate-/r*`
510212×	`associate-/l*`
490198×	`associate-r`
480372×	`distribute-lft-in`

Stop Event

2×	unsound
162×	saturated
1×	iter limit
1080×	node limit

Compiler

Compiled 166690 to 93041 computations (44.2% saved)

series1.4min (1.1%)

Counts

13844 → 325802

Calls

86085 calls:

Time	Variable		Point	Expression
401.0ms	c	@	-inf	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))) b)
378.0ms	x	@	inf	(/.f64 (exp.f64 (log1p.f64 (neg.f64 (cos.f64 x)))) (*.f64 x x))
320.0ms	s	@	0	(*.f32 s (log1p.f32 -37/64))
278.0ms	sinTheta_O	@	0	(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 v sinTheta_O))) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (.f32 v v)))
272.0ms	y	@	inf	(log.f64 (.f64 x (.f64 27 y)))

end1.2min (1%)

Compiler: Compiled 159250 to 77664 computations (51.2% saved)

preprocess41.0s (0.6%)

Algorithm

1072×

egg-herbie

Rules

321884×	`fma-def`
215744×	`*-commutative`
191086×	`distribute-lft-in`
189794×	`+-commutative`
168944×	`associate-r`

Stop Event

684×	saturated
99×	unsound
289×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Details

sample28.6min (23.1%)

regimes21.7min (17.6%)

eval17.6min (14.3%)

simplify14.4min (11.7%)

rewrite14.1min (11.4%)

prune9.9min (8%)

bsearch4.8min (3.9%)

localize3.8min (3.1%)

analyze3.0min (2.4%)

soundness2.4min (2%)

series1.4min (1.1%)

end1.2min (1%)

preprocess41.0s (0.6%)

Profiling