Date:	Friday, December 9th, 2022
Commit:	758c3f52 on main
Hostname:	nightly with Racket 8.6
Seed:	2022343
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

sample26.2min (24.4%)

Results

10.1min	3840622×	body	256	valid
3.8min	29895×	body	8192	exit
3.5min	298698×	body	1024	valid
1.9min	100314×	body	2048	valid
1.7min	445078×	body	256	infinite
1.3min	16543×	body	4096	valid
1.1min	161441×	body	512	valid
53.7s	267817×	body	256	invalid
34.3s	2881×	body	8192	valid
26.6s	34376×	body	1024	infinite
10.1s	1875×	body	4096	infinite
9.2s	14709×	body	1024	invalid
8.9s	18416×	body	512	infinite
8.0s	2476×	body	2048	infinite
6.6s	23551×	body	256	unsamplable
3.3s	8081×	body	512	invalid
1.3s	3022×	body	256	precondition
1.1s	1239×	body	2048	invalid
601.0ms	37×	body	8192	infinite
222.0ms	317×	body	2048	unsamplable
214.0ms	494×	body	1024	unsamplable
74.0ms	234×	body	512	unsamplable
7.0ms	5×	body	4096	invalid
3.0ms	1×	body	8192	invalid

Bogosity

regimes20.5min (19.2%)

Counts

116206 → 12140

Calls

1160 calls:

2.1min	x
1.9min	y
1.6min	a
1.6min	z
1.5min	t

Results

Compiler

Compiled 2036965 to 1073216 computations (47.3% saved)

eval15.1min (14.1%)

Compiler: Compiled 48819008 to 26073534 computations (46.6% saved)

simplify12.4min (11.5%)

Algorithm

6975×

egg-herbie

Rules

3860470×	`associate-r`
3578624×	`associate-/l*`
3407908×	`*-commutative`
3379472×	`associate-l`
3210894×	`distribute-lft-in`

Stop Event

37×	unsound
818×	saturated
119×	done
414×	fuel
6120×	node limit

Counts

1043351 → 1241189

Compiler

Compiled 164612 to 98448 computations (40.2% saved)

rewrite9.0min (8.4%)

Algorithm

5907×	batch-egg-rewrite
42×	egg-rewrite-iter-limit
49×	egg-rewrite

Rules

4106024×	`add-sqr-sqrt`
4033522×	`*-un-lft-identity`
3787452×	`add-cube-cbrt`
3736680×	`add-cbrt-cube`
2330994×	`add-exp-log`

Stop Event

42×	unsound
42×	iter limit
5914×	node limit

Counts

13583 → 723692

prune9.0min (8.4%)

Counts: 1511849 → 43578
Compiler: Compiled 1579477 to 1116262 computations (29.3% saved)

bsearch4.4min (4.1%)

Algorithm

7224×	binary-search
861×	left-value

Results

2.3min	803478×	body	256	valid
40.4s	37135×	body	1024	valid
17.6s	3673×	body	4096	valid
17.4s	9173×	body	2048	valid
13.3s	23149×	body	512	valid
8.6s	48850×	body	256	infinite
6.4s	33567×	body	256	invalid
1.9s	1241×	body	1024	infinite
1.9s	214×	body	8192	valid
774.0ms	224×	body	2048	infinite
635.0ms	691×	body	512	infinite
569.0ms	132×	body	4096	infinite
258.0ms	1360×	body	256	unsamplable
138.0ms	347×	body	1024	invalid
69.0ms	4×	body	8192	infinite
38.0ms	130×	body	512	invalid
2.0ms	5×	body	1024	unsamplable
2.0ms	7×	body	512	unsamplable
1.0ms	2×	body	2048	unsamplable
1.0ms	1×	body	8192	exit

Compiler

Compiled 1749502 to 1262657 computations (27.8% saved)

localize3.2min (3%)

Compiler: Compiled 410575 to 208458 computations (49.2% saved)

analyze2.8min (2.6%)

Algorithm

538×	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.6%	13.3%	0%	0%	0%	1
3.6%	3.1%	83%	13.3%	0%	0.6%	0%	2
11.6%	9.8%	74.9%	13.3%	0.3%	1.7%	0%	3
15.9%	13.2%	69.8%	13.3%	1.2%	2.2%	0.2%	4
23.9%	19.6%	62.7%	13.3%	1.6%	2.6%	0.2%	5
28.6%	23.1%	57.8%	13.3%	2.5%	3%	0.3%	6
35.9%	28.4%	50.6%	13.3%	3.5%	3.8%	0.3%	7
40.4%	31.6%	46.5%	13.4%	4%	4.1%	0.4%	8
46%	35.4%	41.6%	13.4%	4.8%	4.5%	0.4%	9
50.5%	38.3%	37.5%	13.4%	5.4%	5%	0.4%	10
54.7%	41%	34%	13.4%	6%	5.2%	0.4%	11
58.2%	43.2%	31.1%	13.4%	6.4%	5.5%	0.5%	12

Compiler

Compiled 11846 to 8206 computations (30.7% saved)

series1.5min (1.4%)

Counts

13583 → 319124

Calls

85503 calls:

Time	Variable		Point	Expression
292.0ms	a	@	0	(.f64 (.f64 a -3) (-.f64 (.f64 2/3 (/.f64 b (.f64 c a))) (/.f64 1/2 b)))
271.0ms	x	@	inf	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
206.0ms	re	@	-inf	(log.f64 (pow.f64 base (/.f64 1 (atan2.f64 im re))))
185.0ms	a	@	inf	(/.f64 y (.f64 (/.f64 t z) (.f64 a 1/2)))
184.0ms	y	@	0	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

soundness1.4min (1.3%)

Algorithm

657×	egg-herbie

Rules

336046×	`associate-r`
335684×	`fma-def`
334430×	`*-commutative`
316120×	`associate-/l*`
300854×	`associate-/r*`

Stop Event

2×	unsound
128×	saturated
527×	node limit

Compiler

Compiled 180430 to 108023 computations (40.1% saved)

end1.0min (1%)

Compiler: Compiled 159461 to 75924 computations (52.4% saved)

preprocess35.1s (0.5%)

Algorithm

1070×

egg-herbie

Rules

321680×	`fma-def`
215682×	`*-commutative`
191062×	`distribute-lft-in`
189720×	`+-commutative`
168910×	`associate-r`

Stop Event

682×	saturated
99×	unsound
289×	node limit

Compiler

Compiled 11265 to 8076 computations (28.3% saved)

Details

sample26.2min (24.4%)

regimes20.5min (19.2%)

eval15.1min (14.1%)

simplify12.4min (11.5%)

rewrite9.0min (8.4%)

prune9.0min (8.4%)

bsearch4.4min (4.1%)

localize3.2min (3%)

analyze2.8min (2.6%)

series1.5min (1.4%)

soundness1.4min (1.3%)

end1.0min (1%)

preprocess35.1s (0.5%)

Profiling