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

sample8.9min (34.4%)

Results

2.7min	17150×	body	8192	exit
1.6min	69860×	body	1024	valid
1.2min	8804×	body	4096	valid
1.1min	294900×	body	256	valid
42.5s	14658×	body	2048	valid
33.5s	1642×	body	8192	valid
23.1s	34749×	body	512	valid
11.9s	6295×	body	1024	infinite
6.8s	867×	body	4096	infinite
6.6s	21504×	body	256	infinite
5.9s	1206×	body	2048	infinite
5.4s	17241×	body	256	unsamplable
4.1s	21500×	body	256	invalid
3.3s	3236×	body	512	infinite
1.6s	1648×	body	1024	invalid
1.2s	1178×	body	2048	invalid
658.0ms	1234×	body	512	invalid
546.0ms	30×	body	8192	infinite
97.0ms	907×	body	256	precondition
7.0ms	5×	body	1024	unsamplable
6.0ms	7×	body	512	unsamplable

Bogosity

regimes4.8min (18.5%)

Counts

26510 → 1134

Calls

143 calls:

17.5s	phi2
17.1s	F
16.2s	b
14.0s	angle
13.8s	a

Results

Compiler

Compiled 711285 to 383383 computations (46.1% saved)

eval3.4min (13.2%)

Compiler: Compiled 9250301 to 5314751 computations (42.5% saved)

simplify1.8min (7%)

Algorithm

796×	egg-herbie

Rules

591054×	`fma-def`
414492×	`log-prod`
349800×	`associate-r`
317526×	`distribute-lft-in`
303756×	`unswap-sqr`

Stop Event

5×	unsound
69×	saturated
5×	done
45×	fuel
722×	node limit

Counts

116909 → 130010

Compiler

Compiled 20568 to 13122 computations (36.2% saved)

soundness1.6min (6%)

Rules

419196×	`fma-def`
309556×	`log-prod`
245242×	`associate-r`
212810×	`fma-neg`
199064×	`associate-l`

Stop Event

13×	unsound
13×	saturated
550×	node limit

Compiler

Compiled 76210 to 43794 computations (42.5% saved)

prune1.2min (4.6%)

Counts: 178854 → 9143
Compiler: Compiled 490152 to 344177 computations (29.8% saved)

bsearch1.2min (4.5%)

Algorithm

596×	binary-search
49×	left-value

Stop Event

581×	narrow-enough
15×	predicate-same

Results

22.5s	13275×	body	1024	valid
13.6s	44951×	body	256	valid
12.1s	2025×	body	4096	valid
10.6s	4569×	body	2048	valid
7.3s	7906×	body	512	valid
695.0ms	42×	body	8192	valid
458.0ms	72×	body	2048	infinite
430.0ms	2041×	body	256	invalid
388.0ms	54×	body	4096	infinite
183.0ms	106×	body	1024	infinite
174.0ms	943×	body	256	infinite
117.0ms	175×	body	512	infinite
29.0ms	2×	body	8192	infinite

Compiler

Compiled 190514 to 138891 computations (27.1% saved)

rewrite1.1min (4.2%)

Algorithm

695×	batch-egg-rewrite

Rules

541524×	`log-prod`
425340×	`pow1`
399304×	`add-exp-log`
399126×	`log1p-expm1-u`
399078×	`expm1-log1p-u`

Stop Event

9×	unsound
686×	node limit

Counts

1799 → 74472

analyze47.0s (3%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize42.0s (2.7%)

Compiler: Compiled 99447 to 50880 computations (48.8% saved)

series16.7s (1.1%)

Counts

1799 → 42386

Calls

11616 calls:

Time	Variable		Point	Expression
389.0ms	phi2	@	inf	(log.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (sin.f64 (-.f64 lambda1 lambda2))))
230.0ms	b	@	inf	(/.f64 (pow.f64 b 3) (*.f64 a a))
126.0ms	phi1	@	-inf	(log.f64 (pow.f64 (exp.f64 (sin.f64 phi1)) (sin.f64 phi2)))
126.0ms	F	@	-inf	(log.f64 (.f64 (fma.f64 B B (.f64 A (.f64 -4 C))) (.f64 2 (.f64 2 (.f64 F C)))))
112.0ms	a	@	inf	(.f64 (.f64 c c) (*.f64 a a))

end9.2s (0.6%)

Compiler: Compiled 21335 to 10767 computations (49.5% saved)

preprocess4.8s (0.3%)

Algorithm

102×	egg-herbie

Rules

64868×	`fma-def`
19882×	`div-sub`
18336×	`sub-neg`
17302×	`distribute-lft-neg-in`
16928×	`unsub-neg`

Stop Event

57×	saturated
9×	unsound
36×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample8.9min (34.4%)

regimes4.8min (18.5%)

eval3.4min (13.2%)

simplify1.8min (7%)

soundness1.6min (6%)

prune1.2min (4.6%)

bsearch1.2min (4.5%)

rewrite1.1min (4.2%)

analyze47.0s (3%)

localize42.0s (2.7%)

series16.7s (1.1%)

end9.2s (0.6%)

preprocess4.8s (0.3%)

Profiling