Date:	Tuesday, January 10th, 2023
Commit:	77578b98 on oflatt-proof-flatten-limit
Hostname:	nightly with Racket 8.6
Seed:	2023010
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 (24.3%)

Results

49.0s	296998×	body	256	valid
18.4s	14891×	body	2048	valid
11.9s	21619×	body	1024	valid
5.1s	19225×	body	256	infinite
3.7s	12346×	body	512	valid
1.5s	202×	body	8192	exit
684.0ms	898×	body	4096	valid
396.0ms	2941×	body	256	invalid
205.0ms	202×	body	1024	infinite
119.0ms	259×	body	512	infinite
66.0ms	453×	body	256	unsamplable
28.0ms	24×	body	2048	infinite

Bogosity

eval1.1min (18.2%)

Compiler: Compiled 3455752 to 1989766 computations (42.4% saved)

simplify53.2s (14.1%)

Algorithm

495×	egg-herbie

Rules

268020×	`associate-r`
253602×	`associate-/l*`
243382×	`*-commutative`
240470×	`distribute-lft-in`
233646×	`associate-l`

Stop Event

1×	unsound
13×	done
59×	saturated
29×	fuel
435×	node limit

Counts

70435 → 89171

Compiler

Compiled 8836 to 5487 computations (37.9% saved)

rewrite40.3s (10.7%)

Algorithm

411×	batch-egg-rewrite
8×	egg-rewrite-iter-limit
17×	egg-rewrite

Rules

305720×	`add-sqr-sqrt`
299332×	`*-un-lft-identity`
282352×	`add-cube-cbrt`
274002×	`add-cbrt-cube`
152706×	`add-exp-log`

Stop Event

8×	iter limit
428×	node limit

Counts

943 → 51401

prune37.4s (9.9%)

Counts: 111481 → 2349
Compiler: Compiled 67677 to 45309 computations (33.1% saved)

regimes35.2s (9.3%)

Counts

5327 → 628

Calls

94 calls:

6.0s	a
5.8s	c
5.2s	b
3.0s	d
1.6s	x

Compiler

Compiled 84438 to 45860 computations (45.7% saved)

localize13.4s (3.5%)

Compiler: Compiled 30528 to 17006 computations (44.3% saved)

bsearch11.3s (3%)

Algorithm

351×	binary-search
5×	left-value

Results

7.4s	39156×	body	256	valid
1.1s	2169×	body	1024	valid
451.0ms	643×	body	1024	infinite
427.0ms	2220×	body	256	infinite
391.0ms	3370×	body	256	invalid
354.0ms	1206×	body	512	valid
186.0ms	285×	body	2048	valid
103.0ms	247×	body	512	infinite

Compiler

Compiled 82282 to 56600 computations (31.2% saved)

analyze10.0s (2.6%)

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)

soundness7.1s (1.9%)

Algorithm

50×	egg-herbie

Rules

33356×	`fma-def`
28484×	`distribute-lft-in`
27470×	`*-commutative`
27372×	`associate-r`
24418×	`distribute-rgt-in`

Stop Event

6×	saturated
44×	node limit

Compiler

Compiled 4814 to 3055 computations (36.5% saved)

end3.6s (1%)

Compiler: Compiled 8409 to 4356 computations (48.2% saved)

series3.3s (0.9%)

Counts

943 → 18992

Calls

5208 calls:

Time	Variable		Point	Expression
169.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)))))
57.0ms	v	@	-inf	(*.f64 (/.f64 (/.f64 (+.f64 u t1) v) (neg.f64 t1)) (-.f64 (neg.f64 t1) u))
51.0ms	c	@	0	(sqrt.f64 (fma.f64 b b (/.f64 (*.f64 a c) -1/4)))
47.0ms	t	@	0	(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
46.0ms	r	@	0	(cbrt.f64 (*.f64 2 (pow.f64 r -2)))

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

eval1.1min (18.2%)

simplify53.2s (14.1%)

rewrite40.3s (10.7%)

prune37.4s (9.9%)

regimes35.2s (9.3%)

localize13.4s (3.5%)

bsearch11.3s (3%)

analyze10.0s (2.6%)

soundness7.1s (1.9%)

end3.6s (1%)

series3.3s (0.9%)

preprocess2.6s (0.7%)

Profiling