Date:	Saturday, May 27th, 2023
Commit:	e9438722 on main
Hostname:	nightly with Racket 8.6
Seed:	2023147
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

sample28.2min (23.5%)

Results

11.1min	3844575×	body	256	valid
3.9min	29946×	body	8192	exit
3.8min	302011×	body	1024	valid
2.0min	100577×	body	2048	valid
1.9min	444452×	body	256	infinite
1.3min	16052×	body	4096	valid
1.2min	162700×	body	512	valid
1.0min	267364×	body	256	invalid
35.0s	2858×	body	8192	valid
28.7s	35416×	body	1024	infinite
12.1s	1894×	body	4096	infinite
10.2s	15244×	body	1024	invalid
8.6s	18918×	body	512	infinite
8.5s	2386×	body	2048	infinite
6.4s	23345×	body	256	unsamplable
3.6s	8323×	body	512	invalid
1.3s	2945×	body	256	precondition
1.2s	1191×	body	2048	invalid
546.0ms	30×	body	8192	infinite
226.0ms	481×	body	1024	unsamplable
188.0ms	312×	body	2048	unsamplable
73.0ms	243×	body	512	unsamplable
9.0ms	3×	body	8192	invalid
1.0ms	1×	body	4096	invalid

Bogosity

regimes23.1min (19.2%)

Counts

115487 → 11905

Calls

1162 calls:

2.3min	x
2.0min	y
1.7min	z
1.7min	a
1.6min	t

Results

Compiler

Compiled 2076219 to 1147465 computations (44.7% saved)

eval14.4min (12%)

Compiler: Compiled 39881858 to 21949966 computations (45% saved)

simplify13.1min (10.9%)

Algorithm

6904×

egg-herbie

Rules

5175508×	`fma-def`
3550976×	`log-prod`
2794730×	`unswap-sqr`
2649306×	`fma-neg`
2601216×	`distribute-lft-in`

Stop Event

31×	unsound
832×	saturated
123×	done
411×	fuel
6041×	node limit

Counts

921884 → 995422

Compiler

Compiled 158253 to 97038 computations (38.7% saved)

soundness10.2min (8.5%)

Rules

3041046×	`fma-def`
2184862×	`log-prod`
1604474×	`fma-neg`
1479132×	`associate-r`
1366920×	`times-frac`

Stop Event

40×	unsound
238×	saturated
4002×	node limit

Compiler

Compiled 435091 to 257099 computations (40.9% saved)

rewrite9.3min (7.8%)

Algorithm

5834×

batch-egg-rewrite

Rules

4441104×	`log-prod`
4000924×	`pow1`
3735228×	`log1p-expm1-u`
3734990×	`expm1-log1p-u`
3734230×	`add-exp-log`

Stop Event

27×	unsound
5807×	node limit

Counts

13365 → 606750

prune6.9min (5.7%)

Counts: 1235178 → 43652
Compiler: Compiled 1569205 to 1120923 computations (28.6% saved)

bsearch4.6min (3.8%)

Algorithm

7083×	binary-search
766×	left-value

Stop Event

6898×	narrow-enough
19×	predicate-failed
166×	predicate-same

Results

2.4min	782835×	body	256	valid
41.6s	39411×	body	1024	valid
15.3s	24953×	body	512	valid
14.5s	8906×	body	2048	valid
13.0s	2865×	body	4096	valid
9.6s	45160×	body	256	infinite
8.4s	39789×	body	256	invalid
2.4s	1790×	body	1024	infinite
1.2s	3298×	body	256	unsamplable
735.0ms	281×	body	2048	infinite
711.0ms	58×	body	8192	valid
659.0ms	1014×	body	512	infinite
652.0ms	212×	body	4096	infinite
311.0ms	719×	body	1024	invalid
158.0ms	101×	body	8192	exit
125.0ms	343×	body	512	invalid
29.0ms	2×	body	8192	infinite
18.0ms	28×	body	2048	unsamplable
17.0ms	38×	body	1024	unsamplable
3.0ms	10×	body	512	unsamplable

Compiler

Compiled 1634031 to 1191952 computations (27.1% saved)

localize3.7min (3.1%)

Compiler: Compiled 420871 to 215144 computations (48.9% saved)

analyze3.0min (2.5%)

Algorithm

539×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.7%	13.3%	0%	0%	0%	0
2.4%	2.1%	84.7%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.5%	9.8%	74.8%	13.3%	0.3%	1.8%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.3%	0.2%	4
23.9%	19.7%	62.6%	13.3%	1.6%	2.7%	0.2%	5
28.6%	23.1%	57.7%	13.3%	2.5%	3.1%	0.3%	6
36%	28.4%	50.5%	13.3%	3.5%	3.9%	0.3%	7
40.5%	31.6%	46.4%	13.3%	4%	4.2%	0.4%	8
46%	35.4%	41.5%	13.3%	4.7%	4.6%	0.4%	9
50.6%	38.3%	37.4%	13.3%	5.4%	5%	0.4%	10
54.8%	41.1%	33.9%	13.3%	5.9%	5.3%	0.4%	11
58.2%	43.3%	31%	13.3%	6.4%	5.6%	0.5%	12

Compiler

Compiled 11861 to 8220 computations (30.7% saved)

series1.6min (1.3%)

Counts

13365 → 314598

Calls

84096 calls:

Time	Variable		Point	Expression
487.0ms	a	@	inf	(/.f64 (.f64 x y) (.f64 (cbrt.f64 (-.f64 1 (.f64 (/.f64 t z) (/.f64 a z)))) (cbrt.f64 (/.f64 (hypot.f64 z (sqrt.f64 (.f64 a (neg.f64 t)))) z))))
481.0ms	x	@	0	(/.f64 (+.f64 (.f64 x y) (/.f64 z (/.f64 (+.f64 t a) (-.f64 (.f64 t t) (*.f64 a a))))) y)
389.0ms	phi2	@	inf	(log.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (sin.f64 (-.f64 lambda1 lambda2))))
384.0ms	t	@	0	(/.f64 (*.f64 (expm1.f64 z) y) t)
354.0ms	z	@	0	(/.f64 (+.f64 (.f64 x y) (/.f64 z (/.f64 (+.f64 t a) (-.f64 (.f64 t t) (*.f64 a a))))) y)

end1.2min (1%)

Compiler: Compiled 154973 to 76875 computations (50.4% saved)

preprocess44.6s (0.6%)

Algorithm

1072×

egg-herbie

Rules

511256×	`fma-def`
212666×	`fma-neg`
181286×	`sub-neg`
162834×	`div-sub`
161546×	`distribute-lft-in`

Stop Event

680×	saturated
104×	unsound
288×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Details

sample28.2min (23.5%)

regimes23.1min (19.2%)

eval14.4min (12%)

simplify13.1min (10.9%)

soundness10.2min (8.5%)

rewrite9.3min (7.8%)

prune6.9min (5.7%)

bsearch4.6min (3.8%)

localize3.7min (3.1%)

analyze3.0min (2.5%)

series1.6min (1.3%)

end1.2min (1%)

preprocess44.6s (0.6%)

Profiling