Date:	Friday, June 9th, 2023
Commit:	a0d28dd6 on redesign-report
Hostname:	nightly with Racket 8.6
Seed:	2023160
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:simplifygenerate:proofs` default

Details

eval15.7s (20.9%)

Compiler: Compiled 915150 to 480267 computations (47.5% saved)

sample12.0s (15.9%)

Results

9.0s	62936×	body	256	valid
1.6s	4111×	body	2048	valid
866.0ms	7257×	body	256	infinite
330.0ms	1983×	body	256	invalid

Bogosity

localize10.9s (14.4%)

Compiler: Compiled 6667 to 3326 computations (50.1% saved)

simplify9.2s (12.2%)

Algorithm

78×	egg-herbie

Rules

61474×	`fma-def`
30444×	`times-frac`
28870×	`log-prod`
27798×	`unswap-sqr`
27640×	`fma-neg`

Stop Event

1×	unsound
15×	saturated
4×	done
5×	fuel
62×	node limit

Counts

12258 → 15027

Compiler

Compiled 1560 to 968 computations (37.9% saved)

prune8.7s (11.5%)

Counts: 21998 → 325
Compiler: Compiled 13970 to 9290 computations (33.5% saved)

rewrite6.5s (8.7%)

Algorithm

60×	batch-egg-rewrite

Rules

63646×	`log-prod`
45586×	`fma-def`
30632×	`pow1`
28874×	`prod-diff`
28784×	`add-exp-log`

Stop Event

60×	node limit

Counts

131 → 9180

soundness5.4s (7.2%)

Rules

36570×	`fma-def`
17374×	`fma-neg`
14874×	`log-prod`
14662×	`times-frac`
12358×	`associate-r`

Stop Event

4×	saturated
27×	node limit

Compiler

Compiled 3486 to 2065 computations (40.8% saved)

regimes3.0s (3.9%)

Counts

376 → 70

Calls

19 calls:

630.0ms	c
417.0ms	x
380.0ms	a
346.0ms	y
305.0ms	b

Compiler

Compiled 9323 to 5099 computations (45.3% saved)

end1.1s (1.5%)

Compiler: Compiled 3306 to 1826 computations (44.8% saved)

series899.0ms (1.2%)

Counts

131 → 3069

Calls

942 calls:

Time	Variable		Point	Expression
42.0ms	b	@	inf	(/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (.f64 -1 b))))
40.0ms	c	@	-inf	(pow.f64 (pow.f64 (.f64 2 (/.f64 c (+.f64 b (fma.f64 (.f64 (/.f64 c b) a) 2 b)))) 3) 1/3)
38.0ms	n	@	-inf	(cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
26.0ms	c	@	-inf	(log.f64 (*.f64 (/.f64 c b) a))
24.0ms	n	@	inf	(*.f64 (/.f64 1 (+.f64 f n)) (/.f64 n (-.f64 f n)))

bsearch719.0ms (1%)

Algorithm

31×	binary-search
9×	left-value

Stop Event

28×	narrow-enough
3×	predicate-same

Results

605.0ms	3145×	body	256	valid
32.0ms	279×	body	256	infinite
24.0ms	182×	body	256	invalid

Compiler

Compiled 6869 to 4888 computations (28.8% saved)

preprocess641.0ms (0.9%)

Algorithm

18×	egg-herbie

Rules

8158×	`fma-def`
4716×	`div-sub`
3918×	`associate-/r*`
3722×	`times-frac`
3438×	`associate-/l*`

Stop Event

1×	unsound
13×	saturated
4×	node limit

Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze571.0ms (0.8%)

Algorithm

9×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
22.2%	22.2%	77.7%	0.1%	0%	0%	0%	1
29.4%	27.8%	66.6%	0.1%	0%	5.6%	0%	2
50%	44.4%	44.4%	0.1%	0%	11.1%	0%	3
59.7%	51.3%	34.7%	0.1%	0%	13.9%	0%	4
67.2%	56.9%	27.7%	0.1%	0%	15.3%	0%	5
74.4%	62.4%	21.5%	0.1%	0%	16%	0%	6
78.9%	64.9%	17.3%	0.1%	0%	17.7%	0%	7
80.8%	66.3%	15.8%	0.1%	0%	17.9%	0%	8
85.9%	69.9%	11.5%	0.1%	0%	18.5%	0%	9
88%	70.7%	9.7%	0.1%	0%	19.6%	0%	10
90%	72.1%	8%	0.1%	0%	19.8%	0%	11
92.3%	73.5%	6.2%	0.1%	0%	20.3%	0%	12

Compiler

Compiled 161 to 110 computations (31.7% saved)

Herbie run

Details

eval15.7s (20.9%)

sample12.0s (15.9%)

localize10.9s (14.4%)

simplify9.2s (12.2%)

prune8.7s (11.5%)

rewrite6.5s (8.7%)

soundness5.4s (7.2%)

regimes3.0s (3.9%)

end1.1s (1.5%)

series899.0ms (1.2%)

bsearch719.0ms (1%)

preprocess641.0ms (0.9%)

analyze571.0ms (0.8%)

Profiling