Date:	Monday, November 21st, 2022
Commit:	70f58e2d on papers-page
Hostname:	nightly with Racket 8.6
Seed:	2022325
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.5min (35.5%)

Results

2.6min	17120×	body	8192	exit
1.4min	69730×	body	1024	valid
1.1min	8926×	body	4096	valid
1.0min	294461×	body	256	valid
39.3s	14777×	body	2048	valid
31.1s	1583×	body	8192	valid
20.8s	35117×	body	512	valid
10.9s	6220×	body	1024	infinite
6.7s	21225×	body	256	infinite
6.4s	841×	body	4096	infinite
5.7s	1247×	body	2048	infinite
5.5s	17286×	body	256	unsamplable
3.9s	21551×	body	256	invalid
3.2s	3278×	body	512	infinite
1.1s	1270×	body	2048	invalid
1.1s	1724×	body	1024	invalid
653.0ms	42×	body	8192	infinite
507.0ms	1177×	body	512	invalid
102.0ms	950×	body	256	precondition
8.0ms	10×	body	512	unsamplable
4.0ms	3×	body	1024	unsamplable

Bogosity

regimes5.2min (21.6%)

Counts

27491 → 1132

Calls

140 calls:

24.4s	(-.f64 lambda1 lambda2)
16.0s	a
14.7s	phi2
13.9s	lambda2
13.8s	phi1

Compiler

Compiled 771687 to 397651 computations (48.5% saved)

eval3.5min (14.5%)

Results

Compiler

Compiled 9779567 to 5566128 computations (43.1% saved)

simplify1.4min (5.7%)

Algorithm

769×	egg-herbie

Rules

265119×	`fma-def_binary64`
192401×	`log-prod_binary64`
172147×	`fma-neg_binary64`
158198×	`associate-r_binary64`
152968×	`distribute-rgt-in_binary64`

Stop Event

7×	unsound
67×	saturated
7×	done
42×	fuel
695×	node limit

Counts

109925 → 125742

Compiler

Compiled 22417 to 13835 computations (38.3% saved)

bsearch1.3min (5.4%)

Algorithm

604×	binary-search
65×	left-value

Results

25.4s	12369×	body	1024	valid
16.1s	49159×	body	256	valid
12.7s	2937×	body	4096	valid
12.6s	4750×	body	2048	valid
6.3s	5318×	body	512	valid
696.0ms	3208×	body	256	invalid
427.0ms	101×	body	1024	infinite
389.0ms	758×	body	256	infinite
208.0ms	54×	body	2048	infinite
175.0ms	34×	body	512	infinite
88.0ms	13×	body	4096	infinite

Compiler

Compiled 194788 to 144330 computations (25.9% saved)

prune1.3min (5.3%)

Counts: 176395 → 8729
Compiler: Compiled 484827 to 337763 computations (30.3% saved)

rewrite45.8s (3.2%)

Algorithm

669×	batch-egg-rewrite
10×	egg-rewrite-iter-limit
9×	egg-rewrite

Rules

233431×	`pow1_binary64`
219318×	`add-log-exp_binary64`
219190×	`expm1-log1p-u_binary64`
219172×	`log1p-expm1-u_binary64`
218627×	`log-prod_binary64`

Stop Event

12×	unsound
10×	iter limit
666×	node limit

Counts

1736 → 68827

analyze42.0s (2.9%)

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)

localize38.1s (2.7%)

Compiler: Compiled 96781 to 48644 computations (49.7% saved)

series18.8s (1.3%)

Counts

1736 → 41047

Calls

11127 calls:

Time	Variable		Point	Expression
150.0ms	b	@	0	(fma.f64 (/.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) (pow.f64 (cbrt.f64 (+.f64 a a)) 2)) (/.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) (cbrt.f64 (+.f64 a a))) (*.f64 b (/.f64 -1/2 a)))
95.0ms	lambda1	@	-inf	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
94.0ms	b	@	0	(/.f64 (pow.f64 b 3) (-.f64 (exp.f64 (log1p.f64 (.f64 c (.f64 c a)))) 1))
87.0ms	F	@	-inf	(/.f64 (sqrt.f64 (.f64 C (.f64 (.f64 F 4) (fma.f64 A (.f64 -4 C) (.f64 B B))))) (-.f64 (.f64 4 (.f64 A C)) (.f64 B B)))
86.0ms	a	@	-inf	(log.f64 (.f64 (sqrt.f64 8) (.f64 a x-scale)))

soundness16.0s (1.1%)

Algorithm

123×	egg-herbie

Rules

51472×	`fma-def_binary64`
32529×	`fma-neg_binary64`
29238×	`associate-r_binary64`
28801×	`distribute-rgt-in_binary64`
28207×	`times-frac_binary64`

Stop Event

11×	saturated
112×	node limit

Compiler

Compiled 74059 to 53016 computations (28.4% saved)

end6.7s (0.5%)

Results

Compiler

Compiled 22776 to 11029 computations (51.6% saved)

preprocess3.7s (0.3%)

Algorithm

102×	egg-herbie

Rules

26100×	`fma-def_binary64`
14723×	`fma-neg_binary64`
9914×	`div-sub_binary64`
8737×	`distribute-rgt-in_binary64`
8329×	`sub-neg_binary64`

Stop Event

57×	saturated
9×	unsound
36×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample8.5min (35.5%)

regimes5.2min (21.6%)

eval3.5min (14.5%)

simplify1.4min (5.7%)

bsearch1.3min (5.4%)

prune1.3min (5.3%)

rewrite45.8s (3.2%)

analyze42.0s (2.9%)

localize38.1s (2.7%)

series18.8s (1.3%)

soundness16.0s (1.1%)

end6.7s (0.5%)

preprocess3.7s (0.3%)

Profiling