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

sample1.7min (61%)

Results

37.4s	36817×	body	2048	valid
34.6s	66207×	body	1024	valid
11.8s	34910×	body	512	valid
8.8s	74339×	body	128	valid
3.8s	16638×	body	256	valid
2.3s	2159×	body	1024	invalid
1.8s	2257×	body	4096	valid
899.0ms	1234×	body	512	invalid
837.0ms	5950×	body	128	invalid
276.0ms	688×	body	256	invalid
256.0ms	298×	body	2048	invalid

Compiler

Compiled 750 to 556 computations (25.9% saved)

regimes21.1s (12.5%)

Counts: 2903 → 45
Compiler: Compiled 53767 to 26829 computations (50.1% saved)

analyze14.7s (8.7%)

Algorithm

28×

Search

True	Other	False	Iter
0%	90.9%	9.1%	0
10.7%	80.2%	9.1%	1
14.2%	74.9%	10.9%	2
29.6%	55.3%	15.1%	3
35.9%	45.9%	18.2%	4
40.9%	39.1%	19.9%	5
43.3%	35.7%	20.9%	6
44.9%	32.7%	22.4%	7
46.4%	30.8%	22.9%	8
47.4%	28.9%	23.7%	9
48.4%	27.2%	24.5%	10
49.5%	25.5%	25%	11
50.6%	23.8%	25.6%	12
51.3%	22.6%	26.1%	13
52.1%	21.5%	26.4%	14

Compiler

Compiled 375 to 278 computations (25.9% saved)

prune13.7s (8.1%)

Counts: 14608 → 673
Compiler: Compiled 423766 to 225324 computations (46.8% saved)

rewrite4.8s (2.9%)

Algorithm

85×	batch-egg-rewrite

Rules

27987×	`expm1-log1p-u_binary64`
27980×	`log1p-expm1-u_binary64`
20775×	`pow1_binary64`
16378×	`add-log-exp_binary64`
13284×	`prod-diff_binary64`

Stop Event

85×	node limit

Counts

231 → 9044

simplify4.5s (2.7%)

Algorithm

141×	egg-herbie

Rules

47976×	`fma-def_binary64`
24356×	`associate-l_binary64`
21819×	`times-frac_binary64`
19201×	`unswap-sqr_binary64`
18337×	`associate-r_binary64`

Stop Event

52×	saturated
89×	node limit

Counts

12605 → 11920

end3.7s (2.2%)

Stop Event

10×	done
18×	fuel

Compiler

Compiled 5476 to 3745 computations (31.6% saved)

series1.2s (0.7%)

Counts

231 → 3533

Calls

1047 calls:

Time	Variable		Point	Expression
69.0ms	x	@	0	(pow.f64 (exp.f64 -1/2) (log.f64 x))
58.0ms	n	@	0	(-.f64 (/.f64 (pow.f64 (log1p.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 x) 2) n))
40.0ms	x	@	inf	(/.f64 (pow.f64 (exp.f64 -1/2) (log.f64 x)) x)
33.0ms	eps	@	inf	(pow.f64 (exp.f64 eps) b)
24.0ms	x	@	-inf	(pow.f64 (exp.f64 -1/2) (log.f64 x))

preprocess836.0ms (0.5%)

Algorithm

56×	egg-herbie

Rules

7403×	`fma-def_binary64`
6638×	`fma-neg_binary64`
3136×	`div-sub_binary64`
2857×	`distribute-rgt-in_binary64`
2373×	`associate-/l*_binary64`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 325 to 236 computations (27.4% saved)

localize817.0ms (0.5%)

bsearch516.0ms (0.3%)

Algorithm

4×	left-value
13×	binary-search

Calls

7 calls:

157.0ms	b_2
127.0ms	b
112.0ms	x
104.0ms	eps
0.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))

Compiler

Compiled 71 to 52 computations (26.8% saved)

Details

sample1.7min (61%)

regimes21.1s (12.5%)

analyze14.7s (8.7%)

prune13.7s (8.1%)

rewrite4.8s (2.9%)

simplify4.5s (2.7%)

end3.7s (2.2%)

series1.2s (0.7%)

preprocess836.0ms (0.5%)

localize817.0ms (0.5%)

bsearch516.0ms (0.3%)

Profiling