Date:	Friday, November 25th, 2022
Commit:	cf54083d on main
Hostname:	nightly with Racket 8.6
Seed:	2022329
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

sample3.6s (72.3%)

Results

1.3s	7507×	body	1024	valid
1.2s	4712×	body	2048	valid
659.0ms	9218×	body	256	valid
384.0ms	3314×	body	512	valid
5.0ms	17×	body	4096	valid

Bogosity

soundness387.0ms (7.8%)

Algorithm

3×	egg-herbie

Rules

3892×	`fma-neg_binary64`
1524×	`unsub-neg_binary64`
1342×	`fma-def_binary64`
1131×	`distribute-rgt-in_binary64`
938×	`distribute-neg-in_binary64`

Stop Event

1×	saturated
2×	node limit

Compiler

Compiled 130 to 96 computations (26.2% saved)

simplify296.0ms (5.9%)

Algorithm

8×	egg-herbie

Rules

4667×	`fma-neg_binary64`
1836×	`fma-def_binary64`
1553×	`unsub-neg_binary64`
1431×	`distribute-rgt-in_binary64`
1185×	`distribute-lft-in_binary64`

Stop Event

1×	done
4×	saturated
2×	fuel
4×	node limit

Counts

87 → 99

Compiler

Compiled 42 to 28 computations (33.3% saved)

preprocess275.0ms (5.5%)

Algorithm

6×	egg-herbie

Rules

4414×	`fma-neg_binary64`
1453×	`fma-def_binary64`
1196×	`sub-neg_binary64`
1192×	`distribute-neg-in_binary64`
884×	`unsub-neg_binary64`

Stop Event

1×	unsound
3×	saturated
2×	node limit

Compiler

Compiled 35 to 25 computations (28.6% saved)

analyze175.0ms (3.5%)

Algorithm

3×

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%	99.9%	0.1%	0%	0%	0%	2
33.3%	33.3%	66.6%	0.1%	0%	0%	0%	3
45.5%	41.6%	49.9%	0.1%	8.3%	0%	0%	4
54.6%	50%	41.6%	0.1%	8.3%	0%	0%	5
59.1%	54.1%	37.4%	0.1%	8.3%	0%	0%	6
65.9%	60.4%	31.2%	0.1%	8.3%	0%	0%	7
69.3%	63.5%	28.1%	0.1%	8.3%	0%	0%	8
73.3%	67.1%	24.4%	0.1%	8.3%	0%	0%	9
78.7%	72.1%	19.5%	0.1%	8.3%	0%	0%	10
81.4%	74.6%	17%	0.1%	8.3%	0%	0%	11
84.5%	77.4%	14.2%	0.1%	8.3%	0%	0%	12

Compiler

Compiled 33 to 23 computations (30.3% saved)

rewrite79.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

1276×	`pow1_binary64`
1198×	`add-log-exp_binary64`
1196×	`expm1-log1p-u_binary64`
1196×	`log1p-expm1-u_binary64`
1175×	`add-exp-log_binary64`

Stop Event

2×	node limit

Counts

2 → 60

end43.0ms (0.9%)

Compiler: Compiled 47 to 32 computations (31.9% saved)

regimes38.0ms (0.8%)

Counts

14 → 7

Calls

8 calls:

20.0ms	x
3.0ms	(+.f64 x 1)
2.0ms	(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)
2.0ms	z
2.0ms	(*.f64 (+.f64 x 1) (+.f64 x 1))

Compiler

Compiled 131 to 84 computations (35.9% saved)

bsearch26.0ms (0.5%)

Algorithm

2×	binary-search

Results

22.0ms

288×

body

256

valid

Compiler

Compiled 194 to 137 computations (29.4% saved)

eval23.0ms (0.5%)

Compiler: Compiled 1158 to 745 computations (35.7% saved)

prune18.0ms (0.4%)

Counts: 115 → 19
Compiler: Compiled 80 to 62 computations (22.5% saved)

localize14.0ms (0.3%)

Compiler: Compiled 38 to 21 computations (44.7% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 x (+.f64 x 2))
1.0ms	x	@	inf	(*.f64 x (+.f64 x 2))
0.0ms	x	@	0	(*.f64 x (+.f64 x 2))
0.0ms	x	@	0	(+.f64 (.f64 x x) (.f64 x 2))
0.0ms	x	@	-inf	(+.f64 (.f64 x x) (.f64 x 2))

Details

sample3.6s (72.3%)

soundness387.0ms (7.8%)

simplify296.0ms (5.9%)

preprocess275.0ms (5.5%)

analyze175.0ms (3.5%)

rewrite79.0ms (1.6%)

end43.0ms (0.9%)

regimes38.0ms (0.8%)

bsearch26.0ms (0.5%)

eval23.0ms (0.5%)

prune18.0ms (0.4%)

localize14.0ms (0.3%)

series3.0ms (0.1%)

Profiling