Date:	Sunday, December 4th, 2022
Commit:	6874172d on main
Hostname:	nightly with Racket 8.6
Seed:	2022338
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

eval12.9s (21.8%)

Compiler: Compiled 718680 to 418331 computations (41.8% saved)

sample11.8s (20%)

Results

8.9s	70170×	body	256	valid
1.9s	4134×	body	2048	valid
449.0ms	2770×	body	256	infinite
422.0ms	2116×	body	256	invalid

Bogosity

prune7.7s (13%)

Counts: 19450 → 354
Compiler: Compiled 12304 to 8285 computations (32.7% saved)

simplify7.0s (11.9%)

Algorithm

91×	egg-herbie

Rules

29386×	`fma-def_binary64`
25510×	`fma-neg_binary64`
18531×	`times-frac_binary64`
17447×	`log-prod_binary64`
16882×	`unswap-sqr_binary64`

Stop Event

3×	unsound
15×	saturated
4×	done
5×	fuel
73×	node limit

Counts

10890 → 12398

Compiler

Compiled 2431 to 1494 computations (38.5% saved)

regimes4.9s (8.3%)

Counts

761 → 108

Calls

23 calls:

1.5s	a
1.0s	c
547.0ms	b
390.0ms	x
333.0ms	y

Compiler

Compiled 15059 to 8418 computations (44.1% saved)

rewrite4.8s (8.1%)

Algorithm

73×	batch-egg-rewrite
2×	egg-rewrite

Rules

28866×	`pow1_binary64`
27067×	`add-log-exp_binary64`
27047×	`expm1-log1p-u_binary64`
27047×	`log1p-expm1-u_binary64`
25001×	`add-exp-log_binary64`

Stop Event

75×	node limit

Counts

142 → 7970

soundness3.1s (5.2%)

Algorithm

24×	egg-herbie

Rules

12966×	`fma-def_binary64`
12749×	`fma-neg_binary64`
5437×	`times-frac_binary64`
4593×	`div-sub_binary64`
4553×	`associate-/l*_binary64`

Stop Event

2×	unsound
4×	saturated
18×	node limit

Compiler

Compiled 7771 to 5247 computations (32.5% saved)

localize2.6s (4.4%)

Compiler: Compiled 5941 to 3157 computations (46.9% saved)

analyze1.2s (2.1%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	94.4%	0.1%	0%	5.6%	0%	2
6.3%	5.6%	83.2%	0.1%	0%	11.1%	0%	3
18.3%	15.3%	68%	0.1%	2.8%	13.9%	0%	4
26.7%	21.5%	59%	0.1%	4.2%	15.3%	0%	5
33.8%	26.7%	52.4%	0.1%	4.9%	16%	0%	6
46.4%	35.7%	41.3%	0.1%	5.2%	17.7%	0%	7
52.1%	39.9%	36.8%	0.1%	5.4%	17.9%	0%	8
59.4%	45.1%	30.8%	0.1%	5.6%	18.5%	0%	9
67.1%	50.1%	24.6%	0.1%	5.7%	19.6%	0%	10
72.1%	53.5%	20.7%	0.1%	5.9%	19.8%	0%	11
76.6%	56.1%	17.2%	0.1%	6.4%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

bsearch899.0ms (1.5%)

Algorithm

39×	binary-search
18×	left-value

Results

725.0ms	4768×	body	256	valid
66.0ms	431×	body	256	invalid
30.0ms	275×	body	256	infinite

Compiler

Compiled 11670 to 8211 computations (29.6% saved)

series899.0ms (1.5%)

Counts

142 → 2911

Calls

894 calls:

Time	Variable		Point	Expression
75.0ms	x	@	0	(-.f64 (*.f64 x x) x)
47.0ms	c	@	-inf	(/.f64 (-.f64 (.f64 c (.f64 a -4)) (.f64 b (+.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 a -4))))))
39.0ms	c	@	0	(/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
34.0ms	x	@	0	(log.f64 (/.f64 1 x))
27.0ms	f	@	0	(exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))

end807.0ms (1.4%)

Compiler: Compiled 2334 to 1290 computations (44.7% saved)

preprocess497.0ms (0.8%)

Algorithm

18×	egg-herbie

Rules

2992×	`fma-neg_binary64`
2715×	`fma-def_binary64`
2317×	`div-sub_binary64`
2137×	`associate-/l*_binary64`
1898×	`times-frac_binary64`

Stop Event

1×	unsound
13×	saturated
4×	node limit

Compiler

Compiled 169 to 118 computations (30.2% saved)

Details

eval12.9s (21.8%)

sample11.8s (20%)

prune7.7s (13%)

simplify7.0s (11.9%)

regimes4.9s (8.3%)

rewrite4.8s (8.1%)

soundness3.1s (5.2%)

localize2.6s (4.4%)

analyze1.2s (2.1%)

bsearch899.0ms (1.5%)

series899.0ms (1.5%)

end807.0ms (1.4%)

preprocess497.0ms (0.8%)

Profiling