Date:	Tuesday, January 31st, 2023
Commit:	60955f6c on egraph-extract-original
Hostname:	nightly with Racket 8.6
Seed:	2023031
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 (22.6%)

Results

46.8s	296981×	body	256	valid
17.8s	14938×	body	2048	valid
11.5s	21648×	body	1024	valid
5.7s	19151×	body	256	infinite
3.7s	12310×	body	512	valid
1.6s	202×	body	8192	exit
838.0ms	875×	body	4096	valid
485.0ms	2916×	body	256	invalid
180.0ms	203×	body	1024	infinite
94.0ms	254×	body	512	infinite
84.0ms	434×	body	256	unsamplable
24.0ms	23×	body	2048	infinite

Bogosity

eval1.4min (21%)

Compiler: Compiled 4064165 to 2346559 computations (42.3% saved)

simplify53.3s (13.5%)

Algorithm

482×	egg-herbie

Rules

265286×	`associate-r`
239804×	`distribute-lft-in`
237522×	`*-commutative`
232764×	`associate-/l*`
227468×	`associate-l`

Stop Event

13×	done
58×	saturated
29×	fuel
424×	node limit

Counts

67453 → 85429

Compiler

Compiled 8278 to 5068 computations (38.8% saved)

rewrite40.7s (10.3%)

Algorithm

398×	batch-egg-rewrite
4×	egg-rewrite-iter-limit
10×	egg-rewrite

Rules

286894×	`add-sqr-sqrt`
280974×	`*-un-lft-identity`
265084×	`add-cube-cbrt`
255492×	`add-cbrt-cube`
156264×	`add-exp-log`

Stop Event

4×	iter limit
408×	node limit

Counts

897 → 48558

prune40.6s (10.3%)

Counts: 111024 → 2276
Compiler: Compiled 78792 to 52201 computations (33.7% saved)

regimes34.6s (8.7%)

Counts

5203 → 553

Calls

92 calls:

6.5s	a
5.7s	c
4.5s	b
2.1s	d
2.1s	v

Compiler

Compiled 102041 to 56504 computations (44.6% saved)

localize17.5s (4.4%)

Compiler: Compiled 37553 to 21494 computations (42.8% saved)

analyze11.0s (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)

bsearch9.1s (2.3%)

Algorithm

301×	binary-search
9×	left-value

Results

6.6s	34651×	body	256	valid
630.0ms	1086×	body	1024	valid
288.0ms	2067×	body	256	invalid
267.0ms	1000×	body	512	valid
216.0ms	357×	body	2048	valid
214.0ms	1263×	body	256	infinite
103.0ms	163×	body	1024	infinite
84.0ms	239×	body	512	infinite
5.0ms	10×	body	4096	valid
4.0ms	4×	body	2048	infinite

Compiler

Compiled 71878 to 49224 computations (31.5% saved)

soundness7.1s (1.8%)

Algorithm

52×	egg-herbie

Rules

33612×	`fma-def`
30242×	`associate-r`
28412×	`*-commutative`
27582×	`+-commutative`
26514×	`distribute-lft-in`

Stop Event

6×	saturated
46×	node limit

Compiler

Compiled 7692 to 5131 computations (33.3% saved)

end3.7s (0.9%)

Compiler: Compiled 7903 to 4007 computations (49.3% saved)

series3.4s (0.8%)

Counts

897 → 18853

Calls

5016 calls:

Time	Variable		Point	Expression
278.0ms	t	@	0	(.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
260.0ms	t	@	inf	(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
226.0ms	t	@	-inf	(.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
120.0ms	t	@	0	(.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
74.0ms	i	@	-inf	(*.f64 n (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) i))

preprocess2.6s (0.7%)

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 (22.6%)

eval1.4min (21%)

simplify53.3s (13.5%)

rewrite40.7s (10.3%)

prune40.6s (10.3%)

regimes34.6s (8.7%)

localize17.5s (4.4%)

analyze11.0s (2.8%)

bsearch9.1s (2.3%)

soundness7.1s (1.8%)

end3.7s (0.9%)

series3.4s (0.8%)

preprocess2.6s (0.7%)

Profiling