Date:	Thursday, March 30th, 2023
Commit:	9a5a3e08 on main
Hostname:	nightly with Racket 8.6
Seed:	2023089
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 (31.2%)

Results

39.3s	36664×	body	2048	valid
35.8s	66296×	body	1024	valid
11.7s	90917×	body	256	valid
9.6s	35046×	body	512	valid
1.8s	1444×	body	1024	invalid
1.8s	2245×	body	4096	valid
748.0ms	5842×	body	256	invalid
527.0ms	303×	body	2048	unsamplable
465.0ms	2927×	body	256	infinite
395.0ms	730×	body	512	invalid
248.0ms	418×	body	1024	unsamplable
236.0ms	1054×	body	256	unsamplable
149.0ms	167×	body	1024	infinite
125.0ms	255×	body	512	infinite
55.0ms	204×	body	512	unsamplable
3.0ms	4×	body	2048	invalid
3.0ms	5×	body	2048	infinite

Bogosity

eval50.9s (15.3%)

Compiler: Compiled 2665924 to 1462676 computations (45.1% saved)

simplify44.0s (13.3%)

Algorithm

375×	egg-herbie

Rules

230024×	`associate-r`
196868×	`associate-l`
193204×	`associate-/l*`
179868×	`associate-/r*`
174392×	`distribute-lft-in`

Stop Event

6×	done
2×	unsound
48×	saturated
22×	fuel
325×	node limit

Counts

56576 → 74112

Compiler

Compiled 4560 to 3125 computations (31.5% saved)

rewrite33.2s (10%)

Algorithm

319×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

203378×	`add-sqr-sqrt`
199294×	`*-un-lft-identity`
187842×	`add-cube-cbrt`
184972×	`add-cbrt-cube`
136952×	`add-exp-log`

Stop Event

3×	unsound
2×	iter limit
318×	node limit

Counts

757 → 44340

regimes31.1s (9.4%)

Counts

5342 → 397

Calls

43 calls:

7.5s	a
6.6s	c
5.2s	x
2.5s	eps
1.3s	b

Compiler

Compiled 67236 to 36361 computations (45.9% saved)

prune30.5s (9.2%)

Counts: 92402 → 2446
Compiler: Compiled 61284 to 42263 computations (31% saved)

soundness11.1s (3.3%)

Algorithm

70×	egg-herbie

Rules

43168×	`associate-r`
40266×	`associate-/l*`
37014×	`fma-def`
35234×	`associate-l`
32966×	`*-commutative`

Stop Event

13×	saturated
57×	node limit

Compiler

Compiled 8390 to 4472 computations (46.7% saved)

localize7.5s (2.3%)

Compiler: Compiled 15802 to 7954 computations (49.7% saved)

bsearch7.3s (2.2%)

Algorithm

196×	binary-search
14×	left-value

Stop Event

188×	narrow-enough
2×	predicate-failed
6×	predicate-same

Results

3.5s	20228×	body	256	valid
1.5s	3010×	body	1024	valid
575.0ms	805×	body	2048	valid
495.0ms	1383×	body	512	valid
281.0ms	1940×	body	256	invalid
232.0ms	239×	body	1024	infinite
110.0ms	623×	body	256	infinite
107.0ms	543×	body	256	unsamplable
62.0ms	130×	body	512	infinite
5.0ms	8×	body	4096	valid
1.0ms	1×	body	2048	infinite

Compiler

Compiled 40020 to 29358 computations (26.6% saved)

analyze5.4s (1.6%)

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.8s (0.9%)

Counts

757 → 12208

Calls

3615 calls:

Time	Variable		Point	Expression
100.0ms	a	@	0	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
67.0ms	n	@	0	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
54.0ms	x	@	inf	(sqrt.f64 (/.f64 1 (*.f64 (fma.f64 x x x) (pow.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 1))) 2))))
48.0ms	n	@	0	(*.f64 (/.f64 -1 n) (log.f64 (/.f64 x (+.f64 x 1))))
46.0ms	x	@	inf	(-.f64 (tan.f64 (+.f64 eps x)) (-.f64 (exp.f64 (log1p.f64 (tan.f64 x))) 1))

end2.7s (0.8%)

Compiler: Compiled 4460 to 2619 computations (41.3% 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 (31.2%)

eval50.9s (15.3%)

simplify44.0s (13.3%)

rewrite33.2s (10%)

regimes31.1s (9.4%)

prune30.5s (9.2%)

soundness11.1s (3.3%)

localize7.5s (2.3%)

bsearch7.3s (2.2%)

analyze5.4s (1.6%)

series2.8s (0.9%)

end2.7s (0.8%)

preprocess1.8s (0.5%)

Profiling