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

sample27.0min (24.5%)

Results

10.4min	3844058×	body	256	valid
3.8min	29863×	body	8192	exit
3.7min	302240×	body	1024	valid
2.0min	101120×	body	2048	valid
1.8min	447549×	body	256	infinite
1.2min	15986×	body	4096	valid
1.1min	162334×	body	512	valid
54.2s	267420×	body	256	invalid
34.6s	2891×	body	8192	valid
28.0s	35230×	body	1024	infinite
10.4s	1832×	body	4096	infinite
9.8s	18853×	body	512	infinite
9.6s	14938×	body	1024	invalid
8.4s	2456×	body	2048	infinite
6.4s	22565×	body	256	unsamplable
3.6s	8358×	body	512	invalid
1.3s	2914×	body	256	precondition
1.2s	1173×	body	2048	invalid
699.0ms	43×	body	8192	infinite
243.0ms	306×	body	2048	unsamplable
220.0ms	473×	body	1024	unsamplable
80.0ms	255×	body	512	unsamplable
3.0ms	1×	body	8192	invalid
1.0ms	1×	body	4096	invalid

Bogosity

regimes19.9min (18.1%)

Counts

113933 → 11753

Calls

1168 calls:

2.1min	x
1.7min	y
1.5min	z
1.5min	a
1.4min	t

Results

Compiler

Compiled 2039770 to 1038607 computations (49.1% saved)

eval15.7min (14.3%)

Compiler: Compiled 48840447 to 26104969 computations (46.6% saved)

simplify13.3min (12%)

Algorithm

7005×

egg-herbie

Rules

3860402×	`associate-r`
3596646×	`associate-/l*`
3448066×	`*-commutative`
3360908×	`associate-l`
3186364×	`distribute-lft-in`

Stop Event

32×	unsound
818×	saturated
115×	done
419×	fuel
6155×	node limit

Counts

1038790 → 1229337

Compiler

Compiled 156198 to 96108 computations (38.5% saved)

rewrite9.5min (8.6%)

Algorithm

5935×	batch-egg-rewrite
35×	egg-rewrite-iter-limit
51×	egg-rewrite

Rules

4198000×	`add-sqr-sqrt`
4124418×	`*-un-lft-identity`
3871756×	`add-cube-cbrt`
3812644×	`add-cbrt-cube`
2379560×	`add-exp-log`

Stop Event

34×	unsound
35×	iter limit
5952×	node limit

Counts

13580 → 723405

prune9.2min (8.3%)

Counts: 1506167 → 43663
Compiler: Compiled 1578989 to 1121481 computations (29% saved)

bsearch4.6min (4.2%)

Algorithm

7080×	binary-search
663×	left-value

Stop Event

6902×	narrow-enough
9×	predicate-failed
169×	predicate-same

Results

2.4min	786152×	body	256	valid
42.6s	37593×	body	1024	valid
14.9s	8304×	body	2048	valid
14.0s	23746×	body	512	valid
12.8s	2261×	body	4096	valid
9.1s	41926×	body	256	infinite
8.3s	41668×	body	256	invalid
6.1s	408×	body	8192	valid
1.7s	1920×	body	1024	infinite
1.5s	291×	body	4096	infinite
1.2s	521×	body	2048	infinite
632.0ms	1264×	body	512	infinite
352.0ms	874×	body	1024	invalid
209.0ms	593×	body	512	invalid
132.0ms	708×	body	256	unsamplable
58.0ms	4×	body	8192	infinite
20.0ms	1×	body	8192	exit
17.0ms	22×	body	2048	invalid

Compiler

Compiled 1790579 to 1283990 computations (28.3% saved)

localize3.5min (3.1%)

Compiler: Compiled 421273 to 213453 computations (49.3% saved)

analyze2.8min (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)

soundness1.9min (1.7%)

Algorithm

825×	egg-herbie

Rules

430106×	`associate-r`
427834×	`*-commutative`
427414×	`fma-def`
373644×	`associate-/l*`
365314×	`associate-/r*`

Stop Event

1×	unsound
164×	saturated
660×	node limit

Compiler

Compiled 100562 to 55882 computations (44.4% saved)

series1.2min (1.1%)

Counts

13580 → 314849

Calls

83640 calls:

Time	Variable		Point	Expression
320.0ms	y	@	-inf	(/.f64 y (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)))
248.0ms	y	@	0	(/.f64 x (.f64 (/.f64 1 (-.f64 1 (.f64 (.f64 y (neg.f64 z)) (.f64 y (neg.f64 z))))) (+.f64 1 (*.f64 y z))))
226.0ms	t	@	-inf	(log1p.f64 (.f64 1/3 (acos.f64 (/.f64 1/18 (/.f64 (.f64 (/.f64 z x) y) (sqrt.f64 t))))))
222.0ms	b	@	0	(pow.f64 (cbrt.f64 (*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))) r)) 3)
191.0ms	re	@	inf	(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))

end1.1min (1%)

Compiler: Compiled 150978 to 74851 computations (50.4% saved)

preprocess37.7s (0.6%)

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 (24.5%)

regimes19.9min (18.1%)

eval15.7min (14.3%)

simplify13.3min (12%)

rewrite9.5min (8.6%)

prune9.2min (8.3%)

bsearch4.6min (4.2%)

localize3.5min (3.1%)

analyze2.8min (2.5%)

soundness1.9min (1.7%)

series1.2min (1.1%)

end1.1min (1%)

preprocess37.7s (0.6%)

Profiling