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.8min (30.1%)

Results

41.2s	36892×	body	2048	valid
36.3s	66245×	body	1024	valid
12.9s	91136×	body	256	valid
11.3s	34679×	body	512	valid
2.0s	1558×	body	1024	invalid
1.7s	2216×	body	4096	valid
922.0ms	5811×	body	256	invalid
520.0ms	2970×	body	256	infinite
480.0ms	247×	body	512	infinite
377.0ms	717×	body	512	invalid
309.0ms	1080×	body	256	unsamplable
295.0ms	455×	body	1024	unsamplable
277.0ms	182×	body	1024	infinite
242.0ms	303×	body	2048	unsamplable
92.0ms	255×	body	512	unsamplable
9.0ms	7×	body	2048	invalid
3.0ms	5×	body	2048	infinite

Bogosity

eval57.1s (15.7%)

Compiler: Compiled 2655098 to 1478154 computations (44.3% saved)

rewrite49.9s (13.7%)

Algorithm

323×	batch-egg-rewrite

Rules

199930×	`add-sqr-sqrt`
195892×	`*-un-lft-identity`
184616×	`add-cube-cbrt`
181608×	`add-cbrt-cube`
124036×	`add-exp-log`

Stop Event

323×	node limit

Counts

761 → 47428

simplify49.1s (13.5%)

Algorithm

379×	egg-herbie

Rules

226766×	`associate-r`
196954×	`associate-/l*`
194674×	`associate-l`
189386×	`associate-/r*`
173172×	`*-commutative`

Stop Event

2×	done
49×	saturated
26×	fuel
330×	node limit

Counts

59363 → 78519

Compiler

Compiled 3769 to 2614 computations (30.6% saved)

prune33.2s (9.1%)

Counts: 95948 → 2649
Compiler: Compiled 64040 to 44472 computations (30.6% saved)

regimes26.3s (7.2%)

Counts

5070 → 328

Calls

43 calls:

5.6s	a
5.4s	c
4.7s	x
2.1s	eps
1.6s	b

Compiler

Compiled 59693 to 32735 computations (45.2% saved)

soundness11.5s (3.2%)

Algorithm

52×	egg-herbie

Rules

44986×	`associate-/l*`
43282×	`*-commutative`
40366×	`associate-/r*`
36152×	`associate-r`
34032×	`associate-*r/`

Stop Event

12×	saturated
80×	node limit

Compiler

Compiled 10420 to 5716 computations (45.1% saved)

localize7.8s (2.1%)

Compiler: Compiled 14554 to 7598 computations (47.8% saved)

bsearch6.4s (1.8%)

Algorithm

149×	binary-search
13×	left-value

Stop Event

147×	narrow-enough
2×	predicate-same

Results

3.0s	15030×	body	256	valid
1.3s	2472×	body	1024	valid
675.0ms	735×	body	2048	valid
379.0ms	1137×	body	512	valid
218.0ms	1112×	body	256	invalid
42.0ms	253×	body	256	infinite
10.0ms	58×	body	256	unsamplable
3.0ms	2×	body	4096	valid
3.0ms	7×	body	1024	unsamplable
1.0ms	1×	body	2048	unsamplable
0.0ms	2×	body	512	unsamplable

Compiler

Compiled 29286 to 21655 computations (26.1% saved)

analyze4.6s (1.3%)

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)

series3.7s (1%)

Counts

761 → 11907

Calls

3633 calls:

Time	Variable		Point	Expression
378.0ms	x	@	inf	(/.f64 (exp.f64 (log1p.f64 (neg.f64 (cos.f64 x)))) (*.f64 x x))
131.0ms	n	@	0	(*.f64 (/.f64 -1 n) (log.f64 (/.f64 x (+.f64 x 1))))
77.0ms	eps	@	inf	(log1p.f64 (-.f64 (exp.f64 (/.f64 (sin.f64 eps) (cos.f64 eps))) 1))
69.0ms	a	@	0	(pow.f64 (*.f64 (neg.f64 c) a) 1/4)
66.0ms	N	@	inf	(pow.f64 (cbrt.f64 (atan2.f64 1 (fma.f64 N N (+.f64 1 N)))) 3/2)

end2.3s (0.6%)

Compiler: Compiled 3687 to 2221 computations (39.8% saved)

preprocess2.1s (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.8min (30.1%)

eval57.1s (15.7%)

rewrite49.9s (13.7%)

simplify49.1s (13.5%)

prune33.2s (9.1%)

regimes26.3s (7.2%)

soundness11.5s (3.2%)

localize7.8s (2.1%)

bsearch6.4s (1.8%)

analyze4.6s (1.3%)

series3.7s (1%)

end2.3s (0.6%)

preprocess2.1s (0.6%)

Profiling