Date:	Saturday, November 26th, 2022
Commit:	ce9ba413 on main
Hostname:	nightly with Racket 8.6
Seed:	2022330
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.4s (26.3%)

Compiler: Compiled 874503 to 520163 computations (40.5% saved)

sample12.3s (19.7%)

Results

9.5s	70207×	body	256	valid
1.8s	4097×	body	2048	valid
428.0ms	2786×	body	256	infinite
409.0ms	2167×	body	256	invalid

Bogosity

prune9.2s (14.7%)

Counts: 21651 → 425
Compiler: Compiled 17230 to 11675 computations (32.2% saved)

simplify7.2s (11.6%)

Algorithm

89×	egg-herbie

Rules

29799×	`fma-def_binary64`
24141×	`fma-neg_binary64`
18264×	`times-frac_binary64`
16910×	`associate-/l*_binary64`
15575×	`unswap-sqr_binary64`

Stop Event

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

Counts

11908 → 14569

Compiler

Compiled 2527 to 1575 computations (37.7% saved)

rewrite4.8s (7.6%)

Algorithm

71×	batch-egg-rewrite

Rules

27459×	`log-prod_binary64`
21434×	`pow1_binary64`
20187×	`add-log-exp_binary64`
20167×	`expm1-log1p-u_binary64`
20167×	`log1p-expm1-u_binary64`

Stop Event

71×	node limit

Counts

155 → 8868

regimes3.4s (5.5%)

Counts

558 → 104

Calls

23 calls:

787.0ms	c
713.0ms	a
469.0ms	b
256.0ms	x
204.0ms	y

Compiler

Compiled 13151 to 7389 computations (43.8% saved)

localize2.8s (4.5%)

Compiler: Compiled 6780 to 3726 computations (45% saved)

soundness1.7s (2.7%)

Algorithm

14×	egg-herbie

Rules

7813×	`fma-def_binary64`
6904×	`fma-neg_binary64`
3525×	`times-frac_binary64`
3516×	`associate-/r*_binary64`
3218×	`distribute-rgt-in_binary64`

Stop Event

4×	saturated
10×	node limit

Compiler

Compiled 2700 to 1874 computations (30.6% saved)

series1.2s (2%)

Counts

155 → 3031

Calls

966 calls:

Time	Variable		Point	Expression
40.0ms	x	@	inf	(cbrt.f64 (exp.f64 (+.f64 x 1)))
35.0ms	c	@	0	(.f64 (/.f64 -1/2 a) (+.f64 (.f64 -2 (/.f64 (.f64 c a) b)) (.f64 2 b)))
30.0ms	c	@	-inf	(log.f64 (*.f64 c (/.f64 a b)))
30.0ms	c	@	-inf	(pow.f64 (.f64 -4 (.f64 c a)) 1/4)
27.0ms	c	@	0	(pow.f64 (.f64 -4 (.f64 c a)) 1/4)

analyze1.1s (1.8%)

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)

bsearch864.0ms (1.4%)

Algorithm

49×	binary-search
18×	left-value

Results

692.0ms	5456×	body	256	valid
73.0ms	482×	body	256	invalid
11.0ms	80×	body	256	infinite

Compiler

Compiled 10905 to 8024 computations (26.4% saved)

end856.0ms (1.4%)

Compiler: Compiled 2459 to 1416 computations (42.4% saved)

preprocess552.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.4s (26.3%)

sample12.3s (19.7%)

prune9.2s (14.7%)

simplify7.2s (11.6%)

rewrite4.8s (7.6%)

regimes3.4s (5.5%)

localize2.8s (4.5%)

soundness1.7s (2.7%)

series1.2s (2%)

analyze1.1s (1.8%)

bsearch864.0ms (1.4%)

end856.0ms (1.4%)

preprocess552.0ms (0.9%)

Profiling