Date:	Monday, May 1st, 2023
Commit:	e093b807 on main
Hostname:	nightly with Racket 8.6
Seed:	2023121
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 (32.2%)

Results

40.0s	36774×	body	2048	valid
33.8s	66622×	body	1024	valid
13.8s	90865×	body	256	valid
10.5s	34638×	body	512	valid
1.7s	1479×	body	1024	invalid
1.7s	2268×	body	4096	valid
760.0ms	5654×	body	256	invalid
483.0ms	2975×	body	256	infinite
446.0ms	727×	body	512	invalid
258.0ms	293×	body	2048	unsamplable
252.0ms	454×	body	1024	unsamplable
249.0ms	1112×	body	256	unsamplable
213.0ms	186×	body	1024	infinite
174.0ms	242×	body	512	infinite
63.0ms	223×	body	512	unsamplable
11.0ms	10×	body	2048	invalid
2.0ms	4×	body	2048	infinite
2.0ms	1×	body	8192	valid

Bogosity

eval50.9s (15.6%)

Compiler: Compiled 2536117 to 1404484 computations (44.6% saved)

simplify42.6s (13.1%)

Algorithm

382×	egg-herbie

Rules

211566×	`associate-r`
196040×	`associate-/l*`
191538×	`associate-/r*`
180492×	`associate-l`
175812×	`+-commutative`

Stop Event

3×	done
49×	saturated
25×	fuel
333×	node limit

Counts

56069 → 73243

Compiler

Compiled 5243 to 3582 computations (31.7% saved)

rewrite31.0s (9.5%)

Algorithm

326×	batch-egg-rewrite

Rules

215630×	`add-sqr-sqrt`
211424×	`*-un-lft-identity`
199108×	`add-cube-cbrt`
196082×	`add-cbrt-cube`
134258×	`add-exp-log`

Stop Event

326×	node limit

Counts

765 → 44725

regimes30.1s (9.2%)

Counts

5687 → 425

Calls

43 calls:

7.4s	x
5.2s	c
4.0s	a
2.3s	eps
2.1s	n

Compiler

Compiled 66121 to 37923 computations (42.6% saved)

prune28.3s (8.7%)

Counts: 89843 → 2418
Compiler: Compiled 59657 to 42191 computations (29.3% saved)

bsearch8.8s (2.7%)

Algorithm

190×	binary-search
49×	left-value

Stop Event

179×	narrow-enough
6×	predicate-failed
5×	predicate-same

Results

2.8s	16923×	body	256	valid
1.8s	4139×	body	1024	valid
1.2s	1268×	body	2048	valid
888.0ms	803×	body	1024	infinite
617.0ms	1866×	body	512	valid
379.0ms	1916×	body	256	unsamplable
270.0ms	408×	body	512	infinite
247.0ms	1011×	body	256	infinite
118.0ms	1024×	body	256	invalid
5.0ms	10×	body	4096	valid

Compiler

Compiled 40187 to 29200 computations (27.3% saved)

soundness8.8s (2.7%)

Algorithm

55×	egg-herbie

Rules

33676×	`associate-r`
29954×	`fma-def`
28086×	`associate-/l*`
28038×	`+-commutative`
27348×	`*-commutative`

Stop Event

10×	saturated
45×	node limit

Compiler

Compiled 6672 to 3473 computations (47.9% saved)

localize7.0s (2.1%)

Compiler: Compiled 15064 to 7886 computations (47.7% saved)

analyze5.0s (1.5%)

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)

end3.6s (1.1%)

Compiler: Compiled 5133 to 3070 computations (40.2% saved)

series3.2s (1%)

Counts

765 → 11316

Calls

3513 calls:

Time	Variable		Point	Expression
57.0ms	x	@	-inf	(-.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))
55.0ms	x	@	-inf	(log.f64 (*.f64 x n))
55.0ms	b_2	@	0	(log.f64 (.f64 (/.f64 c b_2) (.f64 a -1/2)))
54.0ms	c	@	0	(log.f64 (.f64 (/.f64 c b_2) (.f64 a -1/2)))
50.0ms	x	@	-inf	(/.f64 1 (+.f64 1 (pow.f64 x 3/2)))

preprocess1.9s (0.6%)

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

eval50.9s (15.6%)

simplify42.6s (13.1%)

rewrite31.0s (9.5%)

regimes30.1s (9.2%)

prune28.3s (8.7%)

bsearch8.8s (2.7%)

soundness8.8s (2.7%)

localize7.0s (2.1%)

analyze5.0s (1.5%)

end3.6s (1.1%)

series3.2s (1%)

preprocess1.9s (0.6%)

Profiling