Date:	Monday, May 15th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023135
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 (23%)

Results

49.8s	296744×	body	256	valid
21.6s	15030×	body	2048	valid
13.3s	21803×	body	1024	valid
5.6s	19724×	body	256	infinite
4.2s	12311×	body	512	valid
1.8s	202×	body	8192	exit
785.0ms	864×	body	4096	valid
462.0ms	2948×	body	256	invalid
205.0ms	221×	body	1024	infinite
156.0ms	438×	body	256	unsamplable
116.0ms	248×	body	512	infinite
27.0ms	26×	body	2048	infinite

Bogosity

eval1.3min (18.7%)

Compiler: Compiled 3579062 to 2118824 computations (40.8% saved)

rewrite1.1min (14.8%)

Algorithm

417×	batch-egg-rewrite
10×	egg-rewrite-iter-limit
20×	egg-rewrite

Rules

320788×	`add-sqr-sqrt`
314166×	`*-un-lft-identity`
296280×	`add-cube-cbrt`
288942×	`add-cbrt-cube`
162608×	`add-exp-log`

Stop Event

3×	unsound
10×	iter limit
434×	node limit

Counts

981 → 52451

simplify58.5s (13.6%)

Algorithm

501×	egg-herbie

Rules

277270×	`associate-r`
248768×	`*-commutative`
246574×	`associate-/l*`
246160×	`associate-l`
241396×	`distribute-lft-in`

Stop Event

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

Counts

71921 → 89958

Compiler

Compiled 8499 to 5421 computations (36.2% saved)

prune39.6s (9.2%)

Counts: 110896 → 2424
Compiler: Compiled 76007 to 51609 computations (32.1% saved)

regimes32.6s (7.6%)

Counts

4981 → 539

Calls

92 calls:

5.4s	a
4.3s	b
3.7s	c
1.6s	v
1.4s	n

Compiler

Compiled 99155 to 56994 computations (42.5% saved)

localize16.9s (3.9%)

Compiler: Compiled 33706 to 19354 computations (42.6% saved)

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

soundness8.9s (2.1%)

Algorithm

43×	egg-herbie

Rules

32124×	`distribute-lft-in`
30994×	`*-commutative`
29346×	`fma-def`
29298×	`associate-/r*`
28942×	`+-commutative`

Stop Event

6×	saturated
67×	node limit

Compiler

Compiled 9232 to 5590 computations (39.4% saved)

bsearch8.5s (2%)

Algorithm

276×	binary-search
25×	left-value

Stop Event

268×	narrow-enough
8×	predicate-same

Results

5.4s	29650×	body	256	valid
1.1s	2107×	body	1024	valid
326.0ms	2642×	body	256	invalid
324.0ms	948×	body	512	valid
209.0ms	762×	body	256	infinite
156.0ms	175×	body	2048	valid
145.0ms	157×	body	1024	infinite
22.0ms	41×	body	512	infinite

Compiler

Compiled 71739 to 49319 computations (31.3% saved)

end4.7s (1.1%)

Compiler: Compiled 8171 to 4549 computations (44.3% saved)

series3.7s (0.9%)

Counts

981 → 19428

Calls

5409 calls:

Time	Variable		Point	Expression
136.0ms	b	@	0	(/.f64 c (.f64 (sqrt.f64 (.f64 a 2)) (/.f64 b -2)))
115.0ms	t	@	0	(cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
88.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)))))
80.0ms	t	@	0	(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
79.0ms	a	@	inf	(.f64 (/.f64 -1/2 a) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -4) (*.f64 b b)))))

preprocess2.9s (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.6min (23%)

eval1.3min (18.7%)

rewrite1.1min (14.8%)

simplify58.5s (13.6%)

prune39.6s (9.2%)

regimes32.6s (7.6%)

localize16.9s (3.9%)

analyze11.1s (2.6%)

soundness8.9s (2.1%)

bsearch8.5s (2%)

end4.7s (1.1%)

series3.7s (0.9%)

preprocess2.9s (0.7%)

Profiling