Date:	Thursday, July 6th, 2023
Commit:	60955f6c on egraph-extract-original
Hostname:	nightly with Racket 8.6
Seed:	2023187
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.7min (30.4%)

Results

40.4s	37010×	body	2048	valid
33.9s	66230×	body	1024	valid
12.1s	90818×	body	256	valid
10.4s	34911×	body	512	valid
2.0s	1420×	body	1024	invalid
1.7s	2198×	body	4096	valid
869.0ms	6033×	body	256	invalid
511.0ms	736×	body	512	invalid
466.0ms	3010×	body	256	infinite
352.0ms	205×	body	1024	infinite
258.0ms	1126×	body	256	unsamplable
212.0ms	449×	body	1024	unsamplable
181.0ms	292×	body	2048	unsamplable
168.0ms	224×	body	512	infinite
63.0ms	230×	body	512	unsamplable
4.0ms	4×	body	2048	invalid
3.0ms	5×	body	2048	infinite
2.0ms	1×	body	8192	valid

Bogosity

eval57.8s (16.9%)

Compiler: Compiled 2950001 to 1608531 computations (45.5% saved)

simplify45.8s (13.4%)

Algorithm

386×	egg-herbie

Rules

219496×	`associate-r`
204248×	`associate-/l*`
190950×	`associate-l`
183856×	`associate-/r*`
178582×	`associate-+r+`

Stop Event

1×	unsound
3×	done
48×	saturated
25×	fuel
337×	node limit

Counts

56569 → 76445

Compiler

Compiled 4885 to 3382 computations (30.8% saved)

prune36.9s (10.8%)

Counts: 100485 → 2568
Compiler: Compiled 67237 to 46180 computations (31.3% saved)

rewrite33.8s (9.9%)

Algorithm

330×	batch-egg-rewrite
6×	egg-rewrite-iter-limit
11×	egg-rewrite

Rules

222624×	`add-sqr-sqrt`
218134×	`*-un-lft-identity`
205634×	`add-cube-cbrt`
204104×	`add-cbrt-cube`
135256×	`add-exp-log`

Stop Event

5×	unsound
6×	iter limit
336×	node limit

Counts

762 → 45039

regimes28.9s (8.4%)

Counts

6056 → 395

Calls

43 calls:

6.7s	x
5.3s	c
5.2s	a
2.4s	eps
1.2s	b_2

Compiler

Compiled 76418 to 40610 computations (46.9% saved)

soundness10.8s (3.1%)

Algorithm

68×	egg-herbie

Rules

41386×	`associate-r`
35286×	`associate-/l*`
34492×	`+-commutative`
33830×	`associate-l`
32042×	`*-commutative`

Stop Event

15×	saturated
53×	node limit

Compiler

Compiled 8379 to 4334 computations (48.3% saved)

localize6.9s (2%)

Compiler: Compiled 16240 to 8268 computations (49.1% saved)

bsearch5.8s (1.7%)

Algorithm

163×	binary-search
40×	left-value

Results

2.3s	16627×	body	256	valid
1.5s	3390×	body	1024	valid
737.0ms	941×	body	2048	valid
324.0ms	1151×	body	512	valid
298.0ms	1812×	body	256	invalid
64.0ms	444×	body	256	infinite
34.0ms	188×	body	256	unsamplable
9.0ms	19×	body	4096	valid
1.0ms	2×	body	1024	unsamplable
1.0ms	1×	body	1024	infinite

Compiler

Compiled 36186 to 26234 computations (27.5% saved)

analyze4.4s (1.3%)

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)

series2.7s (0.8%)

Counts

762 → 11502

Calls

3495 calls:

Time	Variable		Point	Expression
150.0ms	x	@	-inf	(/.f64 (/.f64 1 (*.f64 x x)) (/.f64 1 (-.f64 1 (cos.f64 x))))
70.0ms	x	@	inf	(-.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (+.f64 x eps)))) 1) (sin.f64 x))
59.0ms	n	@	0	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
44.0ms	x	@	inf	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
41.0ms	a	@	inf	(.f64 (.f64 (/.f64 c b) a) 2)

end2.6s (0.7%)

Compiler: Compiled 4796 to 2867 computations (40.2% saved)

preprocess1.8s (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.7min (30.4%)

eval57.8s (16.9%)

simplify45.8s (13.4%)

prune36.9s (10.8%)

rewrite33.8s (9.9%)

regimes28.9s (8.4%)

soundness10.8s (3.1%)

localize6.9s (2%)

bsearch5.8s (1.7%)

analyze4.4s (1.3%)

series2.7s (0.8%)

end2.6s (0.7%)

preprocess1.8s (0.5%)

Profiling