Date:	Wednesday, May 31st, 2023
Commit:	55347e10 on better-large-numbers
Hostname:	nightly with Racket 8.6
Seed:	2023151
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.2min (23.2%)

Results

11.0min	3843114×	body	256	valid
3.9min	29933×	body	8192	exit
3.7min	301791×	body	1024	valid
2.1min	100969×	body	2048	valid
1.8min	445241×	body	256	infinite
1.3min	16275×	body	4096	valid
1.2min	163747×	body	512	valid
1.0min	267407×	body	256	invalid
34.9s	2755×	body	8192	valid
27.8s	34694×	body	1024	infinite
11.3s	1869×	body	4096	infinite
10.3s	15333×	body	1024	invalid
9.7s	18763×	body	512	infinite
8.1s	2410×	body	2048	infinite
6.6s	22726×	body	256	unsamplable
3.5s	8280×	body	512	invalid
1.3s	1207×	body	2048	invalid
1.1s	3010×	body	256	precondition
668.0ms	470×	body	1024	unsamplable
493.0ms	31×	body	8192	infinite
237.0ms	309×	body	2048	unsamplable
117.0ms	248×	body	512	unsamplable
1.0ms	1×	body	4096	invalid

Bogosity

regimes22.6min (18.6%)

Counts

115823 → 12665

Calls

1160 calls:

2.3min	x
2.0min	y
1.7min	t
1.7min	z
1.7min	a

Results

Compiler

Compiled 1968080 to 1081661 computations (45% saved)

eval14.6min (12%)

Compiler: Compiled 40527550 to 22163670 computations (45.3% saved)

simplify13.3min (11%)

Algorithm

7004×

egg-herbie

Rules

5206490×	`fma-def`
3624046×	`log-prod`
2862300×	`unswap-sqr`
2695544×	`distribute-lft-in`
2673010×	`fma-neg`

Stop Event

38×	unsound
824×	saturated
118×	done
415×	fuel
6142×	node limit

Counts

932904 → 1006036

Results

Compiler

Compiled 171724 to 103155 computations (39.9% saved)

soundness10.4min (8.6%)

Rules

2983674×	`fma-def`
2277222×	`log-prod`
1660564×	`fma-neg`
1482488×	`associate-r`
1425614×	`times-frac`

Stop Event

35×	unsound
241×	saturated
4134×	node limit

Compiler

Compiled 461141 to 271692 computations (41.1% saved)

rewrite9.5min (7.8%)

Algorithm

5935×

batch-egg-rewrite

Rules

4515612×	`log-prod`
4086806×	`pow1`
3813468×	`log1p-expm1-u`
3813226×	`expm1-log1p-u`
3811076×	`add-exp-log`

Stop Event

23×	unsound
5912×	node limit

Counts

13535 → 617830

prune7.1min (5.9%)

Counts: 1257710 → 43233
Compiler: Compiled 1547921 to 1104572 computations (28.6% saved)

bsearch5.1min (4.2%)

Algorithm

7654×	binary-search
848×	left-value

Stop Event

7497×	narrow-enough
4×	predicate-failed
153×	predicate-same

Results

2.8min	848295×	body	256	valid
44.3s	40527×	body	1024	valid
16.4s	10409×	body	2048	valid
16.4s	4215×	body	4096	valid
14.3s	22326×	body	512	valid
11.1s	48406×	body	256	invalid
9.4s	45893×	body	256	infinite
1.2s	788×	body	2048	infinite
998.0ms	380×	body	4096	infinite
977.0ms	1453×	body	1024	invalid
669.0ms	1208×	body	512	invalid
626.0ms	792×	body	1024	infinite
449.0ms	430×	body	2048	invalid
285.0ms	504×	body	512	infinite
285.0ms	13×	body	8192	infinite
263.0ms	225×	body	8192	valid
21.0ms	104×	body	256	unsamplable
1.0ms	2×	body	1024	unsamplable
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 1924269 to 1394629 computations (27.5% saved)

localize3.8min (3.1%)

Compiler: Compiled 419923 to 214411 computations (48.9% saved)

analyze3.0min (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.7min (1.4%)

Counts

13535 → 314778

Calls

83634 calls:

Time	Variable		Point	Expression
9.1s	n0_i	@	-inf	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
628.0ms	x.re	@	0	(pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3)
348.0ms	x	@	inf	(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (/.f64 2 (sqrt.f64 (PI.f64)))))))
306.0ms	x	@	inf	(.f64 (/.f64 1/2 (.f64 y c)) (/.f64 x (+.f64 5/6 (+.f64 a (/.f64 -2/3 t)))))
282.0ms	V	@	0	(pow.f64 (/.f64 (/.f64 A V) l) -1/2)

end1.3min (1.1%)

Compiler: Compiled 168356 to 81266 computations (51.7% saved)

preprocess44.1s (0.6%)

Algorithm

1072×

egg-herbie

Rules

511256×	`fma-def`
212666×	`fma-neg`
181286×	`sub-neg`
162834×	`div-sub`
161546×	`distribute-lft-in`

Stop Event

680×	saturated
104×	unsound
288×	node limit

Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Details

sample28.2min (23.2%)

regimes22.6min (18.6%)

eval14.6min (12%)

simplify13.3min (11%)

soundness10.4min (8.6%)

rewrite9.5min (7.8%)

prune7.1min (5.9%)

bsearch5.1min (4.2%)

localize3.8min (3.1%)

analyze3.0min (2.5%)

series1.7min (1.4%)

end1.3min (1.1%)

preprocess44.1s (0.6%)

Profiling