Date:	Friday, March 31st, 2023
Commit:	40cc2e0b on Aditya-Branch
Hostname:	nightly with Racket 8.6
Seed:	2023090
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.8min (35.8%)

Results

2.7min	16857×	body	8192	exit
1.5min	69923×	body	1024	valid
1.1min	8687×	body	4096	valid
1.1min	294691×	body	256	valid
40.6s	14785×	body	2048	valid
32.9s	1657×	body	8192	valid
21.9s	34726×	body	512	valid
12.0s	6233×	body	1024	infinite
6.9s	21333×	body	256	infinite
6.2s	855×	body	4096	infinite
5.8s	1200×	body	2048	infinite
5.3s	16398×	body	256	unsamplable
4.5s	21374×	body	256	invalid
3.9s	3291×	body	512	infinite
1.2s	1682×	body	1024	invalid
1.1s	1159×	body	2048	invalid
699.0ms	43×	body	8192	infinite
564.0ms	1171×	body	512	invalid
132.0ms	906×	body	256	precondition
8.0ms	12×	body	512	unsamplable
3.0ms	2×	body	1024	unsamplable

Bogosity

regimes3.8min (15.7%)

Counts

25880 → 1092

Calls

143 calls:

19.1s	F
15.7s	A
14.6s	C
12.1s	B
12.0s	phi2

Results

Compiler

Compiled 667158 to 334409 computations (49.9% saved)

eval3.8min (15.3%)

Compiler: Compiled 10557848 to 5881720 computations (44.3% saved)

simplify1.8min (7.5%)

Algorithm

799×	egg-herbie

Rules

485612×	`associate-r`
430264×	`*-commutative`
421600×	`associate-/l*`
413782×	`associate-l`
387682×	`distribute-lft-in`

Stop Event

2×	unsound
70×	saturated
6×	done
44×	fuel
727×	node limit

Counts

127372 → 156002

Compiler

Compiled 21240 to 13556 computations (36.2% saved)

prune1.6min (6.6%)

Counts: 219867 → 8979
Compiler: Compiled 489445 to 342797 computations (30% saved)

bsearch1.4min (5.8%)

Algorithm

587×	binary-search
46×	left-value

Stop Event

562×	narrow-enough
25×	predicate-same

Results

26.5s	14402×	body	1024	valid
16.4s	44482×	body	256	valid
12.0s	1741×	body	4096	valid
11.5s	4865×	body	2048	valid
6.6s	6423×	body	512	valid
6.1s	359×	body	8192	valid
842.0ms	127×	body	4096	infinite
807.0ms	3117×	body	256	invalid
723.0ms	114×	body	2048	infinite
523.0ms	133×	body	1024	infinite
344.0ms	716×	body	256	infinite
165.0ms	90×	body	512	infinite
58.0ms	4×	body	8192	infinite
57.0ms	22×	body	512	invalid
28.0ms	39×	body	1024	invalid
20.0ms	1×	body	8192	exit
17.0ms	22×	body	2048	invalid

Compiler

Compiled 212333 to 153373 computations (27.8% saved)

rewrite1.1min (4.7%)

Algorithm

698×	batch-egg-rewrite
8×	egg-rewrite
7×	egg-rewrite-iter-limit

Rules

429380×	`add-sqr-sqrt`
420666×	`*-un-lft-identity`
395632×	`add-cube-cbrt`
391604×	`add-cbrt-cube`
286712×	`add-exp-log`

Stop Event

8×	unsound
7×	iter limit
698×	node limit

Counts

1766 → 86759

analyze42.4s (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.2s (2.6%)

Compiler: Compiled 94052 to 46714 computations (50.3% saved)

soundness18.3s (1.2%)

Algorithm

119×	egg-herbie

Rules

74148×	`*-commutative`
72672×	`associate-r`
60576×	`associate-+r+`
59558×	`+-commutative`
56324×	`associate-/r*`

Stop Event

11×	saturated
108×	node limit

Compiler

Compiled 16860 to 10313 computations (38.8% saved)

series14.3s (1%)

Counts

1766 → 40562

Calls

11163 calls:

Time	Variable		Point	Expression
134.0ms	lambda2	@	inf	(log1p.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
125.0ms	lambda2	@	-inf	(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (-.f64 1 (cos.f64 phi1)))
121.0ms	F	@	0	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 (.f64 (-.f64 (.f64 B B) (.f64 4 (.f64 A C))) F) (+.f64 (+.f64 A C) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (-.f64 A C) 2) B)) B)))))) (-.f64 (.f64 B B) (.f64 4 (.f64 A C))))
101.0ms	y-scale	@	0	(/.f64 x-scale (.f64 1/360 (.f64 (.f64 (/.f64 x-scale b) (/.f64 x-scale b)) (/.f64 (.f64 angle (.f64 (PI.f64) (-.f64 (.f64 b b) (*.f64 a a)))) y-scale))))
91.0ms	b	@	inf	(cbrt.f64 (.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (*.f64 a -4))))) (/.f64 -1/2 a)))

end7.6s (0.5%)

Compiler: Compiled 20206 to 10044 computations (50.3% saved)

preprocess4.0s (0.3%)

Algorithm

102×	egg-herbie

Rules

32198×	`fma-def`
26296×	`*-commutative`
22918×	`+-commutative`
19502×	`distribute-lft-in`
19386×	`associate-/r*`

Stop Event

60×	saturated
5×	unsound
37×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample8.8min (35.8%)

regimes3.8min (15.7%)

eval3.8min (15.3%)

simplify1.8min (7.5%)

prune1.6min (6.6%)

bsearch1.4min (5.8%)

rewrite1.1min (4.7%)

analyze42.4s (2.9%)

localize38.2s (2.6%)

soundness18.3s (1.2%)

series14.3s (1%)

end7.6s (0.5%)

preprocess4.0s (0.3%)

Profiling