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

regimes3.6min (24.1%)

Counts

17651 → 1310

Calls

152 calls:

26.4s	l
17.3s	t
12.7s	k
10.0s	d
7.8s	EAccept

Compiler

Compiled 284076 to 143818 computations (49.4% saved)

sample2.4min (16.1%)

Results

43.1s	190295×	body	256	valid
30.1s	34340×	body	1024	valid
23.3s	84045×	body	256	invalid
8.7s	15919×	body	512	valid
7.6s	11274×	body	2048	valid
7.5s	28889×	body	256	infinite
4.6s	4360×	body	1024	infinite
4.0s	978×	body	4096	infinite
4.0s	6182×	body	1024	invalid
3.4s	2923×	body	4096	valid
2.6s	983×	body	2048	infinite
1.4s	1185×	body	8192	valid
1.2s	3169×	body	512	invalid
1.1s	2541×	body	512	infinite
61.0ms	238×	body	256	unsamplable
17.0ms	18×	body	8192	exit
3.0ms	4×	body	2048	invalid

Bogosity

soundness2.3min (15.7%)

Algorithm

112×	egg-herbie

Rules

71402×	`associate-/r*`
66456×	`associate-/l*`
64520×	`*-commutative`
59542×	`associate-r`
58916×	`associate-*r/`

Stop Event

2×	unsound
7×	saturated
103×	node limit

Results

Compiler

Compiled 17266 to 10002 computations (42.1% saved)

eval1.6min (10.9%)

Compiler: Compiled 4671446 to 2698101 computations (42.2% saved)

simplify1.3min (9.1%)

Algorithm

544×	egg-herbie

Rules

325254×	`associate-r`
324686×	`associate-/l*`
298968×	`associate-/r*`
296044×	`*-commutative`
280478×	`associate-l`

Stop Event

4×	unsound
1×	done
39×	saturated
30×	fuel
501×	node limit

Counts

99814 → 115194

Compiler

Compiled 23000 to 13999 computations (39.1% saved)

prune1.0min (7.1%)

Counts: 139888 → 3987
Compiler: Compiled 139586 to 99624 computations (28.6% saved)

rewrite48.5s (5.5%)

Algorithm

482×	batch-egg-rewrite
4×	egg-rewrite-iter-limit
3×	egg-rewrite

Rules

244064×	`add-sqr-sqrt`
238632×	`*-un-lft-identity`
224956×	`add-cube-cbrt`
222190×	`add-cbrt-cube`
205042×	`associate-*l/`

Stop Event

5×	unsound
4×	iter limit
480×	node limit

Counts

1336 → 64900

bsearch43.4s (4.9%)

Algorithm

760×	binary-search
142×	left-value

Results

21.9s	78079×	body	256	valid
7.0s	9374×	body	1024	valid
4.6s	20220×	body	256	invalid
2.9s	5976×	body	512	valid
2.1s	8316×	body	256	infinite
846.0ms	882×	body	2048	valid
793.0ms	566×	body	4096	valid
222.0ms	304×	body	8192	exit
204.0ms	490×	body	1024	invalid
198.0ms	163×	body	8192	valid
134.0ms	465×	body	512	invalid
128.0ms	40×	body	4096	infinite
99.0ms	85×	body	2048	infinite
48.0ms	72×	body	1024	infinite
33.0ms	73×	body	512	infinite

Compiler

Compiled 259246 to 188859 computations (27.2% saved)

series18.0s (2%)

Counts

1336 → 34883

Calls

9855 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)
253.0ms	f	@	inf	(.f64 (log.f64 (fma.f64 -1/4 (/.f64 (PI.f64) (.f64 (PI.f64) 1/2)) (+.f64 (/.f64 2 (.f64 (.f64 (PI.f64) 1/2) f)) (.f64 1/4 (/.f64 (PI.f64) (.f64 (PI.f64) 1/2)))))) (/.f64 -4 (PI.f64)))
124.0ms	U	@	inf	(pow.f64 (pow.f64 (.f64 t (.f64 2 (*.f64 U n))) 3/4) 1/6)

localize17.5s (2%)

Compiler: Compiled 41078 to 20525 computations (50% saved)

analyze14.8s (1.7%)

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)

end7.6s (0.9%)

Compiler: Compiled 22130 to 10899 computations (50.8% saved)

preprocess2.1s (0.2%)

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

regimes3.6min (24.1%)

sample2.4min (16.1%)

soundness2.3min (15.7%)

eval1.6min (10.9%)

simplify1.3min (9.1%)

prune1.0min (7.1%)

rewrite48.5s (5.5%)

bsearch43.4s (4.9%)

series18.0s (2%)

localize17.5s (2%)

analyze14.8s (1.7%)

end7.6s (0.9%)

preprocess2.1s (0.2%)

Profiling