Date:	Wednesday, February 8th, 2023
Commit:	bca17af9 on oflatt-ian-bench
Hostname:	nightly with Racket 8.6
Seed:	2023039
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

sample26.9min (23.5%)

Results

10.3min	3843063×	body	256	valid
3.9min	29820×	body	8192	exit
3.6min	302883×	body	1024	valid
2.0min	100644×	body	2048	valid
1.7min	443034×	body	256	infinite
1.2min	16469×	body	4096	valid
1.1min	162944×	body	512	valid
1.0min	267604×	body	256	invalid
33.9s	2836×	body	8192	valid
28.4s	34595×	body	1024	infinite
10.2s	1859×	body	4096	infinite
9.0s	14945×	body	1024	invalid
9.0s	18725×	body	512	infinite
8.1s	2424×	body	2048	infinite
6.7s	24033×	body	256	unsamplable
3.0s	8072×	body	512	invalid
1.2s	1253×	body	2048	invalid
1.2s	2946×	body	256	precondition
523.0ms	35×	body	8192	infinite
277.0ms	448×	body	1024	unsamplable
220.0ms	334×	body	2048	unsamplable
85.0ms	226×	body	512	unsamplable
35.0ms	1×	body	8192	unsamplable
8.0ms	3×	body	8192	invalid
4.0ms	3×	body	4096	invalid

Bogosity

regimes21.6min (18.9%)

Counts

122889 → 12442

Calls

1162 calls:

2.1min	x
1.7min	y
1.6min	a
1.6min	z
1.6min	t

Results

Compiler

Compiled 2102089 to 1118642 computations (46.8% saved)

eval15.7min (13.7%)

Compiler: Compiled 49845489 to 26786189 computations (46.3% saved)

simplify13.5min (11.8%)

Algorithm

7087×

egg-herbie

Rules

3936176×	`associate-r`
3670278×	`associate-/l*`
3479160×	`*-commutative`
3412846×	`associate-l`
3237998×	`distribute-lft-in`

Stop Event

37×	unsound
817×	saturated
115×	done
419×	fuel
6233×	node limit

Counts

1071886 → 1267164

Compiler

Compiled 168042 to 101976 computations (39.3% saved)

prune9.6min (8.4%)

Counts: 1538817 → 44191
Compiler: Compiled 1562113 to 1108077 computations (29.1% saved)

rewrite9.4min (8.2%)

Algorithm

6017×	batch-egg-rewrite
52×	egg-rewrite
43×	egg-rewrite-iter-limit

Rules

4188144×	`add-sqr-sqrt`
4113492×	`*-un-lft-identity`
3863176×	`add-cube-cbrt`
3811308×	`add-cbrt-cube`
2376740×	`add-exp-log`

Stop Event

47×	unsound
43×	iter limit
6022×	node limit

Counts

13778 → 745111

bsearch4.4min (3.9%)

Algorithm

7516×	binary-search
776×	left-value

Results

2.5min	829595×	body	256	valid
36.0s	40286×	body	1024	valid
15.2s	11201×	body	2048	valid
14.7s	4192×	body	4096	valid
12.1s	23254×	body	512	valid
8.1s	42646×	body	256	infinite
7.7s	41057×	body	256	invalid
1.7s	235×	body	8192	valid
747.0ms	132×	body	4096	infinite
731.0ms	237×	body	2048	infinite
550.0ms	439×	body	1024	infinite
371.0ms	477×	body	512	infinite
222.0ms	304×	body	8192	exit
216.0ms	511×	body	1024	invalid
145.0ms	796×	body	256	unsamplable
139.0ms	479×	body	512	invalid
14.0ms	1×	body	8192	infinite
8.0ms	21×	body	1024	unsamplable
3.0ms	13×	body	512	unsamplable
3.0ms	4×	body	2048	unsamplable
3.0ms	4×	body	2048	invalid

Compiler

Compiled 1840058 to 1333385 computations (27.5% saved)

soundness3.8min (3.4%)

Algorithm

807×	egg-herbie

Rules

411536×	`*-commutative`
407960×	`fma-def`
407098×	`associate-r`
376260×	`associate-/l*`
365236×	`associate-/r*`

Stop Event

3×	unsound
164×	saturated
640×	node limit

Results

Compiler

Compiled 99098 to 55792 computations (43.7% saved)

localize3.5min (3%)

Compiler: Compiled 420608 to 214510 computations (49% saved)

analyze2.8min (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)

series1.4min (1.2%)

Counts

13778 → 326239

Calls

86322 calls:

Time	Variable		Point	Expression
3.9s	A	@	inf	(pow.f64 (*.f64 (/.f64 V A) l) -1/2)
2.1s	t	@	0	(/.f64 2 (/.f64 t (pow.f64 (cbrt.f64 l) 2)))
1.8s	t	@	-inf	(pow.f64 (pow.f64 (.f64 t (.f64 2 (*.f64 U n))) 3/4) 1/6)
623.0ms	x	@	-inf	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
469.0ms	y	@	inf	(log1p.f64 (.f64 1/3 (acos.f64 (/.f64 1/18 (/.f64 (.f64 (/.f64 z x) y) (sqrt.f64 t))))))

end1.1min (1%)

Compiler: Compiled 163295 to 79466 computations (51.3% saved)

preprocess35.4s (0.5%)

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

sample26.9min (23.5%)

regimes21.6min (18.9%)

eval15.7min (13.7%)

simplify13.5min (11.8%)

prune9.6min (8.4%)

rewrite9.4min (8.2%)

bsearch4.4min (3.9%)

soundness3.8min (3.4%)

localize3.5min (3%)

analyze2.8min (2.4%)

series1.4min (1.2%)

end1.1min (1%)

preprocess35.4s (0.5%)

Profiling