Date:	Friday, December 9th, 2022
Commit:	758c3f52 on main
Hostname:	nightly with Racket 8.6
Seed:	2022343
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

sample1.6min (31.4%)

Results

34.9s	36651×	body	2048	valid
32.3s	66460×	body	1024	valid
12.0s	90656×	body	256	valid
9.4s	35169×	body	512	valid
1.4s	2232×	body	4096	valid
1.3s	1402×	body	1024	invalid
756.0ms	5802×	body	256	invalid
499.0ms	2963×	body	256	infinite
418.0ms	1039×	body	256	unsamplable
399.0ms	786×	body	512	invalid
222.0ms	317×	body	2048	unsamplable
211.0ms	492×	body	1024	unsamplable
180.0ms	178×	body	1024	infinite
111.0ms	229×	body	512	infinite
64.0ms	220×	body	512	unsamplable
11.0ms	9×	body	2048	invalid
5.0ms	8×	body	2048	infinite

Bogosity

eval47.8s (15.9%)

Compiler: Compiled 2539442 to 1397092 computations (45% saved)

simplify37.6s (12.5%)

Algorithm

358×	egg-herbie

Rules

202702×	`associate-r`
191714×	`associate-/l*`
181014×	`associate-/r*`
173634×	`associate-l`
163778×	`*-commutative`

Stop Event

6×	done
2×	unsound
48×	saturated
22×	fuel
308×	node limit

Counts

56246 → 74316

Compiler

Compiled 4692 to 3140 computations (33.1% saved)

regimes30.1s (10%)

Counts

5923 → 394

Calls

43 calls:

6.3s	x
6.3s	c
4.2s	a
3.1s	eps
1.6s	n

Compiler

Compiled 72880 to 36922 computations (49.3% saved)

rewrite29.2s (9.7%)

Algorithm

302×	batch-egg-rewrite

Rules

190300×	`add-sqr-sqrt`
186414×	`*-un-lft-identity`
175732×	`add-cube-cbrt`
172948×	`add-cbrt-cube`
121988×	`add-exp-log`

Stop Event

302×	node limit

Counts

733 → 45120

prune28.8s (9.6%)

Counts: 88885 → 2430
Compiler: Compiled 61680 to 42576 computations (31% saved)

bsearch9.1s (3%)

Algorithm

196×	binary-search
26×	left-value

Results

2.6s	16917×	body	256	valid
2.2s	4236×	body	1024	valid
1.9s	1608×	body	2048	valid
1.1s	3027×	body	512	valid
257.0ms	1354×	body	256	unsamplable
194.0ms	752×	body	256	infinite
176.0ms	1257×	body	256	invalid
169.0ms	172×	body	1024	infinite
37.0ms	65×	body	512	infinite
3.0ms	6×	body	4096	valid
2.0ms	5×	body	1024	unsamplable
2.0ms	7×	body	512	unsamplable
1.0ms	2×	body	2048	unsamplable

Compiler

Compiled 41592 to 30276 computations (27.2% saved)

localize6.8s (2.2%)

Compiler: Compiled 14645 to 7735 computations (47.2% saved)

soundness5.6s (1.9%)

Algorithm

49×	egg-herbie

Rules

29284×	`associate-r`
26916×	`+-commutative`
26904×	`associate-/l*`
26044×	`associate-/r*`
25618×	`associate-l`

Stop Event

7×	saturated
42×	node limit

Compiler

Compiled 6386 to 3598 computations (43.7% saved)

analyze4.1s (1.4%)

Algorithm

28×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	90.9%	9.1%	0%	0%	0%	0
11.8%	10.7%	80.2%	9.1%	0%	0%	0%	1
16%	14.2%	74.9%	9.1%	0%	1.8%	0%	2
34.9%	29.6%	55.3%	9.1%	1.6%	4.5%	0%	3
43.8%	35.9%	45.9%	9.1%	2.9%	5.4%	0.9%	4
51.1%	40.9%	39.1%	9.1%	3.5%	6%	1.3%	5
54.8%	43.3%	35.7%	9.1%	4%	6.4%	1.6%	6
57.8%	44.9%	32.7%	9.1%	4.2%	7.2%	1.9%	7
60.1%	46.4%	30.8%	9.1%	4.4%	7.4%	2%	8
62.1%	47.4%	28.9%	9.1%	4.7%	7.8%	2.1%	9
64%	48.4%	27.2%	9.1%	4.9%	8.4%	2.2%	10
66%	49.5%	25.5%	9.1%	5.1%	8.6%	2.3%	11
67.9%	50.6%	23.8%	9.1%	5.3%	8.9%	2.3%	12

Compiler

Compiled 375 to 278 computations (25.9% saved)

series4.0s (1.3%)

Counts

733 → 11098

Calls

3459 calls:

Time	Variable		Point	Expression
82.0ms	a	@	-inf	(pow.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b) (/.f64 1/2 a))) 3)
68.0ms	a	@	inf	(pow.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b) (/.f64 1/2 a))) 3)
62.0ms	eps	@	-inf	(log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))
57.0ms	c	@	inf	(pow.f64 (cbrt.f64 (.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b) (/.f64 1/2 a))) 3)
50.0ms	x	@	0	(pow.f64 x -1/2)

end2.2s (0.7%)

Compiler: Compiled 4586 to 2585 computations (43.6% saved)

preprocess1.6s (0.5%)

Algorithm

56×	egg-herbie

Rules

12942×	`fma-def`
8106×	`distribute-lft-in`
7218×	`*-commutative`
7100×	`associate-r`
6966×	`associate-+r+`

Stop Event

2×	unsound
43×	saturated
11×	node limit

Compiler

Compiled 368 to 279 computations (24.2% saved)

Details

sample1.6min (31.4%)

eval47.8s (15.9%)

simplify37.6s (12.5%)

regimes30.1s (10%)

rewrite29.2s (9.7%)

prune28.8s (9.6%)

bsearch9.1s (3%)

localize6.8s (2.2%)

soundness5.6s (1.9%)

analyze4.1s (1.4%)

series4.0s (1.3%)

end2.2s (0.7%)

preprocess1.6s (0.5%)

Profiling