Date:	Monday, November 21st, 2022
Commit:	70f58e2d on papers-page
Hostname:	nightly with Racket 8.6
Seed:	2022325
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

eval16.8s (25.6%)

Compiler: Compiled 848295 to 510890 computations (39.8% saved)

sample12.2s (18.6%)

Results

9.3s	70174×	body	256	valid
2.0s	4130×	body	2048	valid
497.0ms	2848×	body	256	infinite
328.0ms	1977×	body	256	invalid

Bogosity

prune9.3s (14.2%)

Counts: 20681 → 398
Compiler: Compiled 14889 to 10214 computations (31.4% saved)

simplify7.1s (10.8%)

Algorithm

90×	egg-herbie

Rules

32359×	`fma-def_binary64`
24155×	`fma-neg_binary64`
20433×	`associate-/l*_binary64`
20284×	`times-frac_binary64`
16549×	`distribute-rgt-in_binary64`

Stop Event

3×	unsound
15×	saturated
2×	done
7×	fuel
72×	node limit

Counts

10428 → 12919

Compiler

Compiled 2500 to 1566 computations (37.4% saved)

rewrite5.0s (7.6%)

Algorithm

72×	batch-egg-rewrite

Rules

28361×	`pow1_binary64`
26641×	`add-log-exp_binary64`
26627×	`expm1-log1p-u_binary64`
26626×	`log1p-expm1-u_binary64`
24577×	`add-exp-log_binary64`

Stop Event

72×	node limit

Counts

156 → 7405

regimes4.8s (7.3%)

Counts

802 → 129

Calls

23 calls:

974.0ms	a
965.0ms	c
757.0ms	b
389.0ms	x
355.0ms	z

Compiler

Compiled 17155 to 9643 computations (43.8% saved)

localize2.9s (4.3%)

Compiler: Compiled 6634 to 3477 computations (47.6% saved)

bsearch1.8s (2.7%)

Algorithm

77×	binary-search
8×	left-value

Results

1.4s	9424×	body	256	valid
182.0ms	1192×	body	256	invalid
55.0ms	465×	body	256	infinite

Compiler

Compiled 21021 to 15044 computations (28.4% saved)

soundness1.6s (2.4%)

Algorithm

13×	egg-herbie

Rules

7162×	`fma-def_binary64`
5939×	`fma-neg_binary64`
4226×	`times-frac_binary64`
3710×	`associate-/l*_binary64`
2372×	`distribute-rgt-in_binary64`

Stop Event

3×	saturated
10×	node limit

Compiler

Compiled 2627 to 1778 computations (32.3% saved)

analyze1.4s (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)

series1.2s (1.9%)

Counts

156 → 3014

Calls

996 calls:

Time	Variable		Point	Expression
55.0ms	a	@	inf	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)
42.0ms	n	@	-inf	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 3)
29.0ms	b	@	0	(cbrt.f64 (fma.f64 c (.f64 a -4) (.f64 b b)))
25.0ms	x	@	inf	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x))) 3)
24.0ms	c	@	-inf	(+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))))

end978.0ms (1.5%)

Compiler: Compiled 2414 to 1330 computations (44.9% saved)

preprocess605.0ms (0.9%)

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

eval16.8s (25.6%)

sample12.2s (18.6%)

prune9.3s (14.2%)

simplify7.1s (10.8%)

rewrite5.0s (7.6%)

regimes4.8s (7.3%)

localize2.9s (4.3%)

bsearch1.8s (2.7%)

soundness1.6s (2.4%)

analyze1.4s (2.1%)

series1.2s (1.9%)

end978.0ms (1.5%)

preprocess605.0ms (0.9%)

Profiling