Date:	Friday, December 30th, 2022
Commit:	d611f941 on main
Hostname:	nightly with Racket 8.6
Seed:	2022364
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.5min (23.1%)

Results

45.9s	296808×	body	256	valid
18.3s	14911×	body	2048	valid
11.3s	21705×	body	1024	valid
5.2s	19294×	body	256	infinite
3.9s	12430×	body	512	valid
1.7s	202×	body	8192	exit
720.0ms	898×	body	4096	valid
414.0ms	2934×	body	256	invalid
143.0ms	213×	body	1024	infinite
104.0ms	243×	body	512	infinite
66.0ms	414×	body	256	unsamplable
16.0ms	16×	body	2048	infinite

Bogosity

eval1.3min (19.8%)

Compiler: Compiled 3683397 to 2143299 computations (41.8% saved)

simplify51.3s (13.4%)

Algorithm

483×	egg-herbie

Rules

265448×	`associate-r`
238040×	`*-commutative`
232108×	`distribute-lft-in`
230736×	`associate-/l*`
229738×	`associate-l`

Stop Event

14×	done
58×	saturated
28×	fuel
425×	node limit

Counts

70815 → 89927

Compiler

Compiled 9777 to 6085 computations (37.8% saved)

prune39.1s (10.2%)

Counts: 111088 → 2306
Compiler: Compiled 76200 to 51113 computations (32.9% saved)

rewrite38.1s (9.9%)

Algorithm

399×	batch-egg-rewrite
6×	egg-rewrite-iter-limit
12×	egg-rewrite

Rules

285788×	`add-sqr-sqrt`
279782×	`*-un-lft-identity`
263896×	`add-cube-cbrt`
257170×	`add-cbrt-cube`
159658×	`add-exp-log`

Stop Event

6×	iter limit
411×	node limit

Counts

938 → 51578

regimes34.2s (8.9%)

Counts

5121 → 624

Calls

92 calls:

5.3s	a
5.2s	c
4.8s	b
2.4s	d
1.3s	t1

Compiler

Compiled 95182 to 53848 computations (43.4% saved)

localize14.7s (3.8%)

Compiler: Compiled 33968 to 19502 computations (42.6% saved)

bsearch11.6s (3%)

Algorithm

355×	binary-search
12×	left-value

Results

7.4s	39923×	body	256	valid
1.3s	2478×	body	1024	valid
742.0ms	1715×	body	512	valid
423.0ms	2299×	body	256	invalid
378.0ms	1745×	body	256	infinite
229.0ms	331×	body	2048	valid
180.0ms	285×	body	1024	infinite
33.0ms	92×	body	512	infinite
12.0ms	17×	body	4096	valid

Compiler

Compiled 92467 to 63915 computations (30.9% saved)

analyze10.7s (2.8%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
6.4%	3.5%	51%	45.5%	0%	0%	0%	1
6.4%	3.5%	51%	45.5%	0%	0%	0%	2
20.5%	10.9%	42.4%	45.5%	0%	1.2%	0%	3
26.9%	14.3%	38.7%	45.5%	0%	1.5%	0%	4
34.9%	18.2%	34%	45.6%	0.6%	1.7%	0%	5
38.2%	19.4%	31.4%	45.6%	1.9%	1.7%	0%	6
44.8%	22%	27.2%	45.6%	3%	2.2%	0%	7
48.2%	23.4%	25.2%	45.7%	3.6%	2.2%	0.1%	8
52.7%	25%	22.5%	45.7%	4.1%	2.5%	0.1%	9
57.3%	26.9%	20%	45.7%	4.5%	2.7%	0.2%	10
61%	28.3%	18%	45.7%	4.9%	2.8%	0.2%	11
64.7%	29.7%	16.2%	45.7%	5.2%	2.9%	0.3%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness9.0s (2.4%)

Algorithm

63×	egg-herbie

Rules

40922×	`fma-def`
36972×	`associate-r`
36754×	`distribute-lft-in`
36326×	`*-commutative`
31566×	`+-commutative`

Stop Event

7×	saturated
56×	node limit

Compiler

Compiled 24126 to 16954 computations (29.7% saved)

end4.0s (1.1%)

Compiler: Compiled 9387 to 5009 computations (46.6% saved)

series3.6s (0.9%)

Counts

938 → 19195

Calls

5289 calls:

Time	Variable		Point	Expression
112.0ms	t	@	0	(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6))
82.0ms	t	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 6)
59.0ms	t	@	-inf	(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6))
56.0ms	a	@	inf	(/.f64 (.f64 (/.f64 1/2 a) (-.f64 (.f64 c (.f64 a -4)) (.f64 b b))) (+.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))
53.0ms	c	@	-inf	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

preprocess2.4s (0.6%)

Algorithm

84×	egg-herbie

Rules

23512×	`fma-def`
17930×	`distribute-lft-in`
17024×	`*-commutative`
15010×	`+-commutative`
14462×	`distribute-rgt-in`

Stop Event

5×	unsound
54×	saturated
25×	node limit

Compiler

Compiled 913 to 679 computations (25.6% saved)

Details

sample1.5min (23.1%)

eval1.3min (19.8%)

simplify51.3s (13.4%)

prune39.1s (10.2%)

rewrite38.1s (9.9%)

regimes34.2s (8.9%)

localize14.7s (3.8%)

bsearch11.6s (3%)

analyze10.7s (2.8%)

soundness9.0s (2.4%)

end4.0s (1.1%)

series3.6s (0.9%)

preprocess2.4s (0.6%)

Profiling