Date:	Sunday, March 5th, 2023
Commit:	9578f0c3 on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023064
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

sample2.8min (24.4%)

Results

57.9s	190297×	body	256	valid
31.9s	34441×	body	1024	valid
23.2s	83969×	body	256	invalid
11.1s	15977×	body	512	valid
10.1s	11080×	body	2048	valid
8.8s	29013×	body	256	infinite
5.5s	1012×	body	4096	infinite
4.7s	6026×	body	1024	invalid
3.8s	2922×	body	4096	valid
3.2s	4532×	body	1024	infinite
3.1s	999×	body	2048	infinite
1.8s	3218×	body	512	invalid
1.7s	1219×	body	8192	valid
1.0s	2529×	body	512	infinite
66.0ms	249×	body	256	unsamplable
13.0ms	14×	body	8192	exit
1.0ms	1×	body	2048	invalid

Bogosity

regimes2.2min (19.3%)

Counts

9369 → 933

Calls

152 calls:

13.0s	l
9.0s	x
5.9s	U
5.3s	Ec
5.2s	t

Compiler

Compiled 161462 to 88362 computations (45.3% saved)

simplify2.2min (19.2%)

Algorithm

484×	egg-herbie

Rules

595522×	`rational.json-simplify-35`
480134×	`rational.json-simplify-2`
410236×	`rational.json-simplify-41`
400078×	`rational.json-simplify-51`
321920×	`rational.json-simplify-1`

Stop Event

5×	done
33×	saturated
26×	fuel
451×	node limit

Counts

57933 → 61189

Compiler

Compiled 17797 to 10609 computations (40.4% saved)

eval1.3min (11.1%)

Compiler: Compiled 2691307 to 1725105 computations (35.9% saved)

rewrite43.6s (6.3%)

Algorithm

422×	batch-egg-rewrite

Rules

612462×	`bool.json-1`
604826×	`bool.json-2`
501952×	`rational.json-1`
452822×	`bool.json-3`
452046×	`rational.json-2`

Stop Event

422×	node limit

Counts

1164 → 29534

prune33.4s (4.8%)

Counts: 76443 → 2545
Compiler: Compiled 84645 to 59722 computations (29.4% saved)

bsearch30.6s (4.4%)

Algorithm

579×	binary-search
82×	left-value

Results

13.1s	55708×	body	256	valid
8.3s	10477×	body	1024	valid
2.5s	4924×	body	512	valid
1.2s	3432×	body	256	invalid
1.2s	1397×	body	2048	valid
910.0ms	742×	body	4096	valid
519.0ms	1807×	body	256	infinite
370.0ms	833×	body	1024	invalid
259.0ms	131×	body	4096	infinite
239.0ms	214×	body	2048	infinite
144.0ms	152×	body	512	infinite
126.0ms	474×	body	512	invalid
86.0ms	117×	body	1024	infinite

Compiler

Compiled 191257 to 145232 computations (24.1% saved)

localize21.4s (3.1%)

Compiler: Compiled 36701 to 19241 computations (47.6% saved)

analyze19.3s (2.8%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

soundness12.8s (1.8%)

Algorithm

81×	egg-herbie

Rules

97258×	`rational.json-simplify-35`
76094×	`rational.json-simplify-51`
72522×	`rational.json-simplify-2`
56356×	`rational.json-simplify-1`
55886×	`rational.json-simplify-41`

Stop Event

81×	node limit

Compiler

Compiled 14414 to 8114 computations (43.7% saved)

end8.1s (1.2%)

Compiler: Compiled 17381 to 8789 computations (49.4% saved)

series6.2s (0.9%)

Counts

1164 → 28368

Calls

8592 calls:

Time	Variable		Point	Expression
161.0ms	V	@	inf	(sqrt.f64 (/.f64 A (*.f64 V l)))
101.0ms	k	@	-inf	(*.f64 (pow.f64 k m) a)
98.0ms	l	@	0	(sqrt.f64 (+.f64 (/.f64 (pow.f64 l 2) x) (-.f64 (.f64 2 (+.f64 (/.f64 (pow.f64 t 2) x) (pow.f64 t 2))) (neg.f64 (/.f64 (+.f64 (pow.f64 l 2) (.f64 2 (pow.f64 t 2))) x)))))
88.0ms	l	@	inf	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
80.0ms	a	@	inf	(.f64 (pow.f64 k m) (+.f64 (/.f64 a (pow.f64 k 2)) (.f64 -10 (/.f64 a (pow.f64 k 3)))))

preprocess4.2s (0.6%)

Algorithm

62×	egg-herbie

Rules

39824×	`rational.json-simplify-41`
33320×	`rational.json-simplify-35`
29224×	`rational.json-simplify-51`
26708×	`rational.json-simplify-2`
24066×	`rational.json-simplify-1`

Stop Event

7×	unsound
24×	saturated
31×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

sample2.8min (24.4%)

regimes2.2min (19.3%)

simplify2.2min (19.2%)

eval1.3min (11.1%)

rewrite43.6s (6.3%)

prune33.4s (4.8%)

bsearch30.6s (4.4%)

localize21.4s (3.1%)

analyze19.3s (2.8%)

soundness12.8s (1.8%)

end8.1s (1.2%)

series6.2s (0.9%)

preprocess4.2s (0.6%)

Profiling