Date:	Wednesday, March 1st, 2023
Commit:	b6e17b25 on asinh-taylor-bug
Hostname:	nightly with Racket 8.6
Seed:	2023060
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

sample27.0min (23.2%)

Results

10.5min	3843586×	body	256	valid
3.8min	30197×	body	8192	exit
3.6min	301877×	body	1024	valid
1.9min	100453×	body	2048	valid
1.7min	445628×	body	256	infinite
1.3min	16382×	body	4096	valid
1.2min	163675×	body	512	valid
56.1s	268198×	body	256	invalid
33.8s	2829×	body	8192	valid
26.9s	35541×	body	1024	infinite
12.8s	1877×	body	4096	infinite
9.8s	2409×	body	2048	infinite
9.4s	15155×	body	1024	invalid
8.8s	18574×	body	512	infinite
6.6s	23702×	body	256	unsamplable
3.2s	8227×	body	512	invalid
1.1s	1198×	body	2048	invalid
1.0s	3031×	body	256	precondition
745.0ms	44×	body	8192	infinite
711.0ms	462×	body	1024	unsamplable
182.0ms	299×	body	2048	unsamplable
71.0ms	230×	body	512	unsamplable
12.0ms	4×	body	8192	invalid
1.0ms	1×	body	4096	invalid

Bogosity

regimes22.5min (19.3%)

Counts

124337 → 12335

Calls

1161 calls:

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

Results

Compiler

Compiled 2227212 to 1218337 computations (45.3% saved)

eval16.2min (13.9%)

Compiler: Compiled 49530509 to 26679736 computations (46.1% saved)

simplify13.7min (11.7%)

Algorithm

7088×

egg-herbie

Rules

3929820×	`associate-r`
3647062×	`associate-/l*`
3464276×	`*-commutative`
3423762×	`associate-l`
3258448×	`distribute-lft-in`

Stop Event

32×	unsound
818×	saturated
122×	done
411×	fuel
6238×	node limit

Counts

1060080 → 1252920

Compiler

Compiled 167107 to 101211 computations (39.4% saved)

rewrite9.7min (8.3%)

Algorithm

6019×	batch-egg-rewrite
40×	egg-rewrite-iter-limit
60×	egg-rewrite

Rules

4250542×	`add-sqr-sqrt`
4176334×	`*-un-lft-identity`
3921018×	`add-cube-cbrt`
3861784×	`add-cbrt-cube`
2382060×	`add-exp-log`

Stop Event

47×	unsound
40×	iter limit
6032×	node limit

Counts

13816 → 733321

prune9.4min (8.1%)

Counts: 1529159 → 43488
Compiler: Compiled 1565597 to 1117421 computations (28.6% saved)

bsearch4.7min (4%)

Algorithm

7457×	binary-search
751×	left-value

Results

2.5min	825929×	body	256	valid
50.1s	43000×	body	1024	valid
18.1s	25571×	body	512	valid
14.6s	8431×	body	2048	valid
12.1s	2600×	body	4096	valid
8.1s	38740×	body	256	infinite
7.5s	42009×	body	256	invalid
968.0ms	971×	body	1024	infinite
939.0ms	275×	body	8192	valid
643.0ms	117×	body	4096	infinite
544.0ms	191×	body	2048	infinite
376.0ms	687×	body	512	infinite
260.0ms	1116×	body	256	unsamplable
170.0ms	389×	body	1024	invalid
88.0ms	315×	body	512	invalid
71.0ms	104×	body	8192	exit
43.0ms	3×	body	8192	infinite
1.0ms	1×	body	2048	invalid

Compiler

Compiled 1885611 to 1366352 computations (27.5% saved)

soundness3.9min (3.4%)

Algorithm

842×	egg-herbie

Rules

441610×	`*-commutative`
432308×	`associate-r`
411740×	`fma-def`
399174×	`associate-/l*`
371524×	`distribute-lft-in`

Stop Event

3×	unsound
167×	saturated
672×	node limit

Results

Compiler

Compiled 102869 to 58304 computations (43.3% saved)

localize3.4min (2.9%)

Compiler: Compiled 422659 to 216494 computations (48.8% saved)

analyze2.9min (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.4min (1.2%)

Counts

13816 → 326223

Calls

86352 calls:

Time	Variable		Point	Expression
3.7s	n	@	-inf	(log.f64 (pow.f64 (exp.f64 (exp.f64 (-.f64 (-.f64 (-.f64 m n) l) (pow.f64 (-.f64 (.f64 (+.f64 m n) 1/2) M) 2)))) (cos.f64 (-.f64 (.f64 (+.f64 m n) (*.f64 K 1/2)) M))))
671.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3)
402.0ms	x	@	inf	(pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3)
326.0ms	n	@	0	(*.f64 n (log.f64 n))
324.0ms	phi2	@	-inf	(log1p.f64 (cos.f64 (*.f64 (+.f64 phi1 phi2) 1/2)))

end1.1min (0.9%)

Compiler: Compiled 161738 to 77871 computations (51.9% saved)

preprocess37.9s (0.5%)

Algorithm

1072×

egg-herbie

Rules

321884×	`fma-def`
215744×	`*-commutative`
191086×	`distribute-lft-in`
189794×	`+-commutative`
168944×	`associate-r`

Stop Event

684×	saturated
99×	unsound
289×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Details

sample27.0min (23.2%)

regimes22.5min (19.3%)

eval16.2min (13.9%)

simplify13.7min (11.7%)

rewrite9.7min (8.3%)

prune9.4min (8.1%)

bsearch4.7min (4%)

soundness3.9min (3.4%)

localize3.4min (2.9%)

analyze2.9min (2.5%)

series1.4min (1.2%)

end1.1min (0.9%)

preprocess37.9s (0.5%)

Profiling