Date:	Wednesday, May 17th, 2023
Commit:	5c5cbfdd on main
Hostname:	nightly with Racket 8.6
Seed:	2023137
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

sample28.1min (23%)

Results

10.9min	3844014×	body	256	valid
3.9min	29783×	body	8192	exit
3.8min	301925×	body	1024	valid
2.0min	100570×	body	2048	valid
1.8min	444968×	body	256	infinite
1.4min	16252×	body	4096	valid
1.1min	163157×	body	512	valid
57.8s	267313×	body	256	invalid
34.4s	2821×	body	8192	valid
29.3s	35053×	body	1024	infinite
10.8s	1815×	body	4096	infinite
10.0s	15005×	body	1024	invalid
9.4s	18708×	body	512	infinite
9.3s	2320×	body	2048	infinite
7.2s	23016×	body	256	unsamplable
3.3s	8246×	body	512	invalid
1.2s	1238×	body	2048	invalid
1.2s	2932×	body	256	precondition
532.0ms	30×	body	8192	infinite
254.0ms	282×	body	2048	unsamplable
237.0ms	461×	body	1024	unsamplable
88.0ms	216×	body	512	unsamplable
14.0ms	4×	body	8192	invalid

Bogosity

regimes20.9min (17.1%)

Counts

117909 → 11889

Calls

1162 calls:

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

Results

Compiler

Compiled 2081719 to 1109059 computations (46.7% saved)

eval17.2min (14%)

Compiler: Compiled 50025694 to 26846507 computations (46.3% saved)

simplify14.3min (11.7%)

Algorithm

7025×

egg-herbie

Rules

3866124×	`associate-r`
3590784×	`associate-/l*`
3466550×	`*-commutative`
3379180×	`associate-l`
3259806×	`distribute-lft-in`

Stop Event

29×	unsound
825×	saturated
122×	done
412×	fuel
6171×	node limit

Counts

1059486 → 1255897

Compiler

Compiled 158749 to 96706 computations (39.1% saved)

rewrite14.2min (11.6%)

Algorithm

5955×

batch-egg-rewrite

Rules

4134706×	`add-sqr-sqrt`
4062254×	`*-un-lft-identity`
3812482×	`add-cube-cbrt`
3763042×	`add-cbrt-cube`
2330302×	`add-exp-log`

Stop Event

21×	unsound
5934×	node limit

Counts

13786 → 736680

prune9.8min (8%)

Counts: 1536033 → 44222
Compiler: Compiled 1634905 to 1158390 computations (29.1% saved)

bsearch4.6min (3.8%)

Algorithm

7073×	binary-search
756×	left-value

Stop Event

6906×	narrow-enough
14×	predicate-failed
153×	predicate-same

Results

2.5min	785177×	body	256	valid
38.1s	36867×	body	1024	valid
16.7s	3499×	body	4096	valid
16.2s	9036×	body	2048	valid
13.6s	25733×	body	512	valid
7.9s	39508×	body	256	infinite
7.9s	42732×	body	256	invalid
3.7s	322×	body	8192	valid
846.0ms	107×	body	4096	infinite
744.0ms	1146×	body	512	infinite
610.0ms	177×	body	2048	infinite
568.0ms	543×	body	1024	infinite
460.0ms	809×	body	1024	invalid
240.0ms	304×	body	8192	exit
138.0ms	9×	body	8192	infinite
111.0ms	323×	body	512	invalid
15.0ms	77×	body	256	unsamplable

Compiler

Compiled 1715056 to 1241606 computations (27.6% saved)

localize3.9min (3.2%)

Compiler: Compiled 425077 to 215714 computations (49.3% saved)

soundness3.1min (2.5%)

Rules

547060×	`*-commutative`
535824×	`associate-/r*`
510484×	`associate-/l*`
490436×	`distribute-lft-in`
487944×	`associate-r`

Stop Event

2×	unsound
165×	saturated
1070×	node limit

Compiler

Compiled 159911 to 88515 computations (44.6% saved)

analyze3.0min (2.4%)

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.1%)

Counts

13786 → 322270

Calls

85755 calls:

Time	Variable		Point	Expression
646.0ms	alpha	@	0	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
377.0ms	f	@	0	(log.f64 (/.f64 (-.f64 (exp.f64 (.f64 1/4 (.f64 f (PI.f64)))) 2) (+.f64 (pow.f64 (exp.f64 1/4) (*.f64 (PI.f64) f)) -2)))
312.0ms	eh	@	inf	(/.f64 1 (/.f64 (hypot.f64 1 (/.f64 (/.f64 eh (tan.f64 t)) ew)) (*.f64 ew (sin.f64 t))))
310.0ms	lambda2	@	0	(cos.f64 (/.f64 (+.f64 (-.f64 lambda2 phi2) (neg.f64 phi2)) 2))
297.0ms	base	@	0	(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))

end1.1min (0.9%)

Compiler: Compiled 154086 to 75217 computations (51.2% saved)

preprocess41.8s (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

sample28.1min (23%)

regimes20.9min (17.1%)

eval17.2min (14%)

simplify14.3min (11.7%)

rewrite14.2min (11.6%)

prune9.8min (8%)

bsearch4.6min (3.8%)

localize3.9min (3.2%)

soundness3.1min (2.5%)

analyze3.0min (2.4%)

series1.4min (1.1%)

end1.1min (0.9%)

preprocess41.8s (0.6%)

Profiling