Date:	Wednesday, March 15th, 2023
Commit:	32647e2f on using-ruler-nightlies
Hostname:	nightly with Racket 8.6
Seed:	2023074
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

sample10.5min (39.4%)

Results

2.7min	17219×	body	8192	exit
2.0min	69652×	body	1024	valid
1.4min	8707×	body	4096	valid
1.3min	294692×	body	256	valid
57.3s	14633×	body	2048	valid
38.3s	1622×	body	8192	valid
26.9s	35174×	body	512	valid
14.2s	6316×	body	1024	infinite
10.3s	875×	body	4096	infinite
7.5s	21056×	body	256	infinite
5.6s	1239×	body	2048	infinite
5.3s	16603×	body	256	unsamplable
4.6s	21920×	body	256	invalid
3.8s	3150×	body	512	infinite
2.4s	1152×	body	2048	invalid
1.8s	1627×	body	1024	invalid
1.5s	1195×	body	512	invalid
618.0ms	33×	body	8192	infinite
93.0ms	865×	body	256	precondition
9.0ms	6×	body	1024	unsamplable
6.0ms	9×	body	512	unsamplable

Bogosity

eval4.0min (15%)

Compiler: Compiled 7462786 to 4921442 computations (34.1% saved)

simplify3.0min (11.3%)

Algorithm

713×	egg-herbie

Rules

924360×	`rational.json-simplify-35`
736054×	`rational.json-simplify-2`
584858×	`rational.json-simplify-51`
523742×	`rational.json-simplify-1`
501520×	`rational.json-simplify-41`

Stop Event

54×	saturated
7×	done
41×	fuel
659×	node limit

Counts

80615 → 84579

Compiler

Compiled 19288 to 12716 computations (34.1% saved)

regimes3.0min (11.1%)

Counts

17604 → 994

Calls

139 calls:

15.0s	a
13.3s	phi1
12.4s	c
11.6s	R
10.8s	b

Compiler

Compiled 347897 to 208856 computations (40% saved)

rewrite1.2min (4.7%)

Algorithm

614×	batch-egg-rewrite

Rules

935264×	`rational.json-1`
904582×	`rational.json-2`
868292×	`rational.json-3`
833436×	`rational.json-4`
787026×	`exponential.json-3`

Stop Event

614×	node limit

Counts

1503 → 47232

prune1.2min (4.4%)

Counts

128474 → 5355

Results

Compiler

Compiled 264601 to 193816 computations (26.8% saved)

bsearch1.1min (4%)

Algorithm

499×	binary-search
87×	left-value

Results

20.1s	11071×	body	1024	valid
14.7s	38785×	body	256	valid
10.0s	3667×	body	2048	valid
9.2s	1444×	body	4096	valid
6.2s	5497×	body	512	valid
1.2s	3846×	body	256	invalid
233.0ms	41×	body	512	invalid
65.0ms	342×	body	256	infinite
24.0ms	40×	body	1024	invalid
7.0ms	1×	body	4096	infinite
4.0ms	5×	body	2048	invalid
2.0ms	2×	body	1024	infinite

Compiler

Compiled 152586 to 116682 computations (23.5% saved)

analyze53.3s (3.3%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize50.3s (3.1%)

Results

Compiler

Compiled 88974 to 50969 computations (42.7% saved)

soundness17.0s (1.1%)

Algorithm

104×	egg-herbie

Rules

145300×	`rational.json-simplify-35`
109506×	`rational.json-simplify-51`
99560×	`rational.json-simplify-2`
74684×	`rational.json-simplify-1`
70466×	`rational.json-simplify-41`

Stop Event

1×	saturated
103×	node limit

Compiler

Compiled 10729 to 7156 computations (33.3% saved)

preprocess16.3s (1%)

Algorithm

102×	egg-herbie

Rules

83814×	`rational.json-simplify-41`
69522×	`rational.json-simplify-35`
45482×	`rational.json-simplify-1`
37592×	`rational.json-simplify-51`
34126×	`rational.json-simplify-2`

Stop Event

48×	saturated
6×	unsound
48×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

series14.1s (0.9%)

Counts

1503 → 33332

Calls

9405 calls:

Time	Variable		Point	Expression
457.0ms	a	@	inf	(/.f64 (pow.f64 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (cos.f64 (.f64 (PI.f64) (.f64 1/180 angle))))) 2) (pow.f64 (*.f64 x-scale y-scale) 2))
451.0ms	C	@	-inf	(sqrt.f64 (.f64 (-.f64 (pow.f64 B 2) (.f64 4 (.f64 A C))) (.f64 (+.f64 A (+.f64 C (neg.f64 B))) (*.f64 2 F))))
380.0ms	angle	@	inf	(/.f64 2 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))
337.0ms	a	@	inf	(.f64 (.f64 (neg.f64 a) (.f64 a (.f64 b b))) (/.f64 -4 (sqrt.f64 (.f64 (.f64 b a) (.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 x-scale y-scale)))) 2))))) (.f64 (.f64 b (neg.f64 a)) (.f64 4 (.f64 (.f64 (.f64 (neg.f64 a) (.f64 b b)) (/.f64 a (pow.f64 (*.f64 x-scale y-scale) 2))) 2))))))))
308.0ms	b	@	inf	(.f64 (.f64 (neg.f64 a) (.f64 a (.f64 b b))) (/.f64 -4 (sqrt.f64 (.f64 (.f64 b a) (.f64 (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) 2) (pow.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 x-scale y-scale)))) 2))))) (.f64 (.f64 b (neg.f64 a)) (.f64 4 (.f64 (.f64 (.f64 (neg.f64 a) (.f64 b b)) (/.f64 a (pow.f64 (*.f64 x-scale y-scale) 2))) 2))))))))

end11.8s (0.7%)

Compiler: Compiled 19438 to 10537 computations (45.8% saved)

Details

sample10.5min (39.4%)

eval4.0min (15%)

simplify3.0min (11.3%)

regimes3.0min (11.1%)

rewrite1.2min (4.7%)

prune1.2min (4.4%)

bsearch1.1min (4%)

analyze53.3s (3.3%)

localize50.3s (3.1%)

soundness17.0s (1.1%)

preprocess16.3s (1%)

series14.1s (0.9%)

end11.8s (0.7%)

Profiling