Date:	Wednesday, June 15th, 2022
Commit:	120a8734 on main
Hostname:	warfa with Racket 8.1
Seed:	2022166
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

sample47.5s (47.7%)

Results

16.4s	6371×	body	8192	exit
12.5s	17031×	body	1024	valid
8.8s	79475×	body	128	valid
3.1s	6976×	body	512	valid
2.9s	5230×	body	1024	invalid
993.0ms	2779×	body	512	invalid
991.0ms	825×	body	2048	valid
912.0ms	3021×	body	256	valid
445.0ms	2822×	body	128	invalid
327.0ms	1338×	body	256	invalid
13.0ms	3×	body	8192	invalid
3.0ms	2×	body	4096	invalid
3.0ms	4×	body	2048	invalid

Compiler

Compiled 422 to 304 computations (28% saved)

analyze29.1s (29.3%)

Algorithm

13×

Search

True	Other	False	Iter
0%	76.9%	23.1%	0
0%	76.9%	23.1%	1
0%	76.9%	23.1%	2
23.1%	53.8%	23.1%	3
32.7%	44.2%	23.1%	4
38.4%	38.4%	23.1%	5
40.8%	35.3%	23.8%	6
44.6%	31.5%	24%	7
46.2%	29.4%	24.4%	8
48.1%	27.4%	24.5%	9
49.6%	25.5%	24.9%	10
50.5%	24.3%	25.1%	11
51.3%	23.4%	25.4%	12
51.9%	22.5%	25.6%	13
52.3%	21.8%	25.9%	14

Compiler

Compiled 211 to 152 computations (28% saved)

prune8.0s (8.1%)

Counts: 6962 → 498
Compiler: Compiled 193027 to 73557 computations (61.9% saved)

regimes6.4s (6.5%)

Counts: 1482 → 15
Compiler: Compiled 32740 to 10660 computations (67.4% saved)

rewrite2.5s (2.5%)

Algorithm

48×	batch-egg-rewrite

Rules

20619×	`expm1-log1p-u_binary64`
20618×	`log1p-expm1-u_binary64`
20479×	`pow1_binary64`
13340×	`add-log-exp_binary64`
8481×	`add-exp-log_binary64`

Stop Event

48×	node limit

Counts

123 → 4459

simplify2.1s (2.1%)

Algorithm

74×	egg-herbie

Rules

18410×	`fma-def_binary64`
9986×	`associate-l_binary64`
9653×	`unswap-sqr_binary64`
6748×	`cancel-sign-sub-inv_binary64`
6544×	`times-frac_binary64`

Stop Event

39×	node limit
35×	saturated

Counts

6614 → 5422

end2.1s (2.1%)

Stop Event

1×	done
12×	fuel

Compiler

Compiled 3427 to 2111 computations (38.4% saved)

series764.0ms (0.8%)

Counts

123 → 2142

Calls

570 calls:

Time	Variable		Point	Expression
60.0ms	x	@	0	(*.f64 (pow.f64 (hypot.f64 x x) 1/4) (sqrt.f64 (hypot.f64 x x)))
47.0ms	x	@	0	(pow.f64 (hypot.f64 x x) 3/4)
21.0ms	x	@	-inf	(*.f64 (pow.f64 (cbrt.f64 2) 3/2) (pow.f64 (pow.f64 (cbrt.f64 x) 2) 3/2))
21.0ms	x	@	inf	(*.f64 (pow.f64 (hypot.f64 x x) 1/4) (sqrt.f64 (hypot.f64 x x)))
19.0ms	l	@	0	(pow.f64 l (exp.f64 w))

preprocess469.0ms (0.5%)

Algorithm

26×	egg-herbie

Rules

2808×	`unswap-sqr_binary64`
1870×	`fma-neg_binary64`
1609×	`associate-l_binary64`
1405×	`fma-def_binary64`
1313×	`sqr-pow_binary64`

Stop Event

2×	unsound
6×	node limit
18×	saturated

Compiler

Compiled 128 to 88 computations (31.3% saved)

localize410.0ms (0.4%)

bsearch135.0ms (0.1%)

Algorithm

3×	binary-search

Calls

2 calls:

121.0ms	s
13.0ms	x

Compiler

Compiled 6 to 4 computations (33.3% saved)

Details

sample47.5s (47.7%)

analyze29.1s (29.3%)

prune8.0s (8.1%)

regimes6.4s (6.5%)

rewrite2.5s (2.5%)

simplify2.1s (2.1%)

end2.1s (2.1%)

series764.0ms (0.8%)

preprocess469.0ms (0.5%)

localize410.0ms (0.4%)

bsearch135.0ms (0.1%)

Profiling