Date:	Wednesday, February 8th, 2023
Commit:	bca17af9 on oflatt-ian-bench
Hostname:	nightly with Racket 8.6
Seed:	2023039
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.4%)

Results

46.2s	296917×	body	256	valid
19.1s	14910×	body	2048	valid
11.0s	21753×	body	1024	valid
5.7s	19013×	body	256	infinite
4.0s	12283×	body	512	valid
1.6s	202×	body	8192	exit
711.0ms	889×	body	4096	valid
431.0ms	2981×	body	256	invalid
203.0ms	186×	body	1024	infinite
97.0ms	253×	body	512	infinite
67.0ms	440×	body	256	unsamplable
22.0ms	21×	body	2048	infinite

Bogosity

eval1.1min (18.4%)

Compiler: Compiled 3372852 to 1916809 computations (43.2% saved)

simplify52.5s (14.3%)

Algorithm

492×	egg-herbie

Rules

274194×	`associate-r`
253168×	`associate-/l*`
247986×	`*-commutative`
241008×	`associate-l`
233972×	`distribute-lft-in`

Stop Event

2×	unsound
12×	done
58×	saturated
30×	fuel
432×	node limit

Counts

70604 → 88441

Compiler

Compiled 8539 to 5184 computations (39.3% saved)

rewrite39.1s (10.6%)

Algorithm

408×	batch-egg-rewrite
7×	egg-rewrite-iter-limit
16×	egg-rewrite

Rules

301400×	`add-sqr-sqrt`
295280×	`*-un-lft-identity`
278192×	`add-cube-cbrt`
271132×	`add-cbrt-cube`
162820×	`add-exp-log`

Stop Event

1×	unsound
7×	iter limit
423×	node limit

Counts

920 → 51765

prune37.4s (10.2%)

Counts: 109189 → 2408
Compiler: Compiled 74190 to 49868 computations (32.8% saved)

regimes31.8s (8.6%)

Counts

5053 → 561

Calls

93 calls:

5.9s	c
5.6s	a
5.2s	b
2.0s	d
1.5s	x

Compiler

Compiled 90485 to 50593 computations (44.1% saved)

localize13.8s (3.8%)

Compiler: Compiled 30623 to 17138 computations (44% saved)

analyze11.4s (3.1%)

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)

bsearch8.8s (2.4%)

Algorithm

308×	binary-search
9×	left-value

Results

5.2s	31745×	body	256	valid
1.1s	2642×	body	1024	valid
538.0ms	2087×	body	512	valid
350.0ms	479×	body	2048	valid
284.0ms	2606×	body	256	invalid
244.0ms	1205×	body	256	infinite
4.0ms	7×	body	4096	valid

Compiler

Compiled 74139 to 50628 computations (31.7% saved)

soundness6.1s (1.7%)

Algorithm

46×	egg-herbie

Rules

30284×	`fma-def`
26192×	`*-commutative`
23646×	`distribute-lft-in`
22478×	`associate-r`
21538×	`+-commutative`

Stop Event

7×	saturated
39×	node limit

Compiler

Compiled 4666 to 2874 computations (38.4% saved)

end3.6s (1%)

Compiler: Compiled 8202 to 4208 computations (48.7% saved)

series3.2s (0.9%)

Counts

920 → 18797

Calls

5184 calls:

Time	Variable		Point	Expression
168.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))
99.0ms	t	@	0	(pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 6)
76.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	x2	@	-inf	(.f64 (/.f64 (.f64 8 x2) (/.f64 (/.f64 (pow.f64 (fma.f64 x1 x1 1) 2) x1) x2)) (+.f64 (*.f64 x1 x1) 1))
53.0ms	x	@	0	(pow.f64 (cbrt.f64 (.f64 1/6 (.f64 x x))) 3)

preprocess2.4s (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.4%)

eval1.1min (18.4%)

simplify52.5s (14.3%)

rewrite39.1s (10.6%)

prune37.4s (10.2%)

regimes31.8s (8.6%)

localize13.8s (3.8%)

analyze11.4s (3.1%)

bsearch8.8s (2.4%)

soundness6.1s (1.7%)

end3.6s (1%)

series3.2s (0.9%)

preprocess2.4s (0.7%)

Profiling