Date:	Sunday, June 19th, 2022
Commit:	d00f85d9 on main
Hostname:	warfa with Racket 8.5
Seed:	2022170
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

sample25.5min (51.2%)

Results

8.4min	3657406×	body	128	valid
3.8min	30081×	body	8192	exit
3.8min	286598×	body	1024	valid
2.1min	99706×	body	2048	valid
2.0min	586540×	body	128	invalid
1.4min	16384×	body	4096	valid
1.3min	153419×	body	512	valid
42.7s	51382×	body	1024	invalid
35.0s	2864×	body	8192	valid
33.3s	104878×	body	256	valid
16.1s	27249×	body	512	invalid
11.1s	4011×	body	2048	invalid
11.1s	1890×	body	4096	invalid
5.4s	14316×	body	256	invalid
538.0ms	33×	body	8192	invalid

Compiler

Compiled 23080 to 16006 computations (30.6% saved)

analyze8.4min (16.9%)

Algorithm

526×	search
2×	random

Search

True	Other	False	Iter
0%	87.1%	12.9%	0
1.4%	85.7%	12.9%	1
2.4%	84.1%	13.5%	2
9.2%	76%	14.8%	3
12.6%	70.9%	16.4%	4
19.2%	63.7%	17.2%	5
22.6%	58.8%	18.6%	6
28%	51.5%	20.5%	7
31.2%	47.4%	21.4%	8
35.1%	42.3%	22.6%	9
38%	38.2%	23.7%	10
40.8%	34.6%	24.5%	11
43%	31.7%	25.2%	12
45.7%	28.1%	26.2%	13
47.3%	26%	26.6%	14

Compiler

Compiled 11741 to 8133 computations (30.7% saved)

prune5.0min (10.1%)

Counts: 237578 → 12849
Compiler: Compiled 9251613 to 5218907 computations (43.6% saved)

regimes4.8min (9.7%)

Counts: 38544 → 795
Compiler: Compiled 962373 to 500411 computations (48% saved)

simplify1.8min (3.7%)

Algorithm

2603×

egg-herbie

Rules

738658×	`fma-def_binary64`
369163×	`fma-neg_binary64`
313575×	`associate-l_binary64`
291882×	`times-frac_binary64`
265636×	`associate-r_binary64`

Stop Event

1084×	saturated
1519×	node limit

Counts

225759 → 187242

rewrite1.4min (2.8%)

Algorithm

1557×	batch-egg-rewrite
19×	egg-rewrite-iter-limit
22×	egg-rewrite

Rules

513313×	`expm1-log1p-u_binary64`
510825×	`log1p-expm1-u_binary64`
413748×	`pow1_binary64`
314954×	`add-log-exp_binary64`
230436×	`prod-diff_binary64`

Stop Event

17×	unsound
19×	iter limit
1562×	node limit

Counts

3973 → 128317

end1.3min (2.5%)

Stop Event

226×	done
297×	fuel

Compiler

Compiled 144705 to 95186 computations (34.2% saved)

series33.9s (1.1%)

Counts

3973 → 96919

Calls

26403 calls:

Time	Variable		Point	Expression
180.0ms	y	@	-inf	(log.f64 (*.f64 (/.f64 -1 x) y))
133.0ms	f	@	inf	(pow.f64 (exp.f64 1/3) (log.f64 (.f64 2 (sinh.f64 (.f64 1/4 (*.f64 f (PI.f64)))))))
126.0ms	a	@	-inf	(.f64 x (.f64 (pow.f64 z y) (/.f64 (pow.f64 a t) a)))
113.0ms	x	@	0	(*.f64 (pow.f64 2 1/4) x)
99.0ms	a	@	inf	(/.f64 (.f64 x (pow.f64 (E.f64) (-.f64 (log.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) b))) y)

localize22.5s (0.8%)

Compiler: Compiled 12288 to 10240 computations (16.7% saved)

preprocess18.9s (0.6%)

Algorithm

1046×

egg-herbie

Rules

161244×	`fma-def_binary64`
118013×	`fma-neg_binary64`
63182×	`distribute-rgt-in_binary64`
55262×	`div-sub_binary64`
48661×	`times-frac_binary64`

Stop Event

649×	saturated
100×	unsound
297×	node limit

Compiler

Compiled 9716 to 6562 computations (32.5% saved)

bsearch15.6s (0.5%)

Algorithm

161×	left-value
134×	binary-search

Calls

83 calls:

6.5s	b
2.4s	y-scale
1.4s	a
1.0s	A
1.0s	x-scale

Compiler

Compiled 1483 to 1002 computations (32.4% saved)

Details

sample25.5min (51.2%)

analyze8.4min (16.9%)

prune5.0min (10.1%)

regimes4.8min (9.7%)

simplify1.8min (3.7%)

rewrite1.4min (2.8%)

end1.3min (2.5%)

series33.9s (1.1%)

localize22.5s (0.8%)

preprocess18.9s (0.6%)

bsearch15.6s (0.5%)

Profiling