Date:	Tuesday, March 7th, 2023
Commit:	2d667af4 on using-ruler-baseline
Hostname:	nightly with Racket 8.6
Seed:	2023066
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

eval3.1min (23.2%)

Compiler: Compiled 10723066 to 6089527 computations (43.2% saved)

sample2.7min (20.3%)

Results

1.2min	439311×	body	256	valid
54.1s	7905×	body	8192	exit
12.9s	23589×	body	1024	valid
8.1s	14590×	body	1024	infinite
5.2s	29114×	body	256	infinite
3.8s	12359×	body	512	valid
2.2s	6653×	body	512	infinite
1.6s	2507×	body	2048	valid
1.0s	4607×	body	256	invalid
620.0ms	4249×	body	256	unsamplable
555.0ms	1082×	body	4096	valid
270.0ms	246×	body	2048	infinite

Bogosity

prune2.4min (18%)

Counts: 316118 → 4907
Compiler: Compiled 270187 to 200780 computations (25.7% saved)

simplify1.9min (14.6%)

Algorithm

790×	egg-herbie

Rules

419714×	`rational.json-simplify-3`
415126×	`rational.json-simplify-11`
402582×	`rational.json-simplify-13`
364920×	`rational.json-simplify-51`
360844×	`rational.json-simplify-14`

Stop Event

79×	saturated
17×	done
41×	fuel
711×	node limit

Counts

197788 → 258638

Compiler

Compiled 13302 to 8138 computations (38.8% saved)

rewrite1.1min (8.2%)

Algorithm

674×	batch-egg-rewrite

Rules

657026×	`rational.json-1`
626400×	`rational.json-2`
589856×	`rational.json-3`
561168×	`rational.json-4`
305616×	`rational.json-simplify-5`

Stop Event

674×	node limit

Counts

1640 → 168744

regimes51.8s (6.5%)

Counts

9696 → 822

Calls

134 calls:

5.4s	x.re
5.2s	y.im
4.2s	x.im
4.0s	im
3.8s	re

Compiler

Compiled 222382 to 140643 computations (36.8% saved)

localize33.5s (4.2%)

Compiler: Compiled 79609 to 45953 computations (42.3% saved)

bsearch10.7s (1.3%)

Algorithm

438×	binary-search
38×	left-value

Results

7.8s	47500×	body	256	valid
479.0ms	641×	body	2048	valid
416.0ms	533×	body	1024	infinite
258.0ms	611×	body	1024	valid
249.0ms	1067×	body	256	infinite
243.0ms	752×	body	512	valid
133.0ms	309×	body	512	infinite
95.0ms	192×	body	4096	valid
18.0ms	13×	body	2048	infinite

Compiler

Compiled 100075 to 69107 computations (30.9% saved)

soundness8.4s (1%)

Algorithm

91×	egg-herbie

Rules

49206×	`rational.json-simplify-3`
45870×	`rational.json-simplify-11`
45422×	`rational.json-simplify-13`
40378×	`rational.json-simplify-39`
37638×	`rational.json-simplify-41`

Stop Event

9×	saturated
82×	node limit

Compiler

Compiled 13110 to 7947 computations (39.4% saved)

analyze7.9s (1%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

end5.9s (0.7%)

Compiler: Compiled 13350 to 6824 computations (48.9% saved)

series5.6s (0.7%)

Counts

1640 → 28986

Calls

7782 calls:

Time	Variable		Expression
77.0ms	x	@	(/.f64 (+.f64 (/.f64 (pow.f64 (fabs.f64 x) 2) (pow.f64 (log.f64 (/.f64 1 x)) 3)) (/.f64 (+.f64 1 (neg.f64 (pow.f64 (fabs.f64 x) 2))) (/.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) 1/2))) (pow.f64 x 2))
59.0ms	im	@	(/.f64 (log.f64 10) (log.f64 (/.f64 1 im)))
55.0ms	x.im	@	(cos.f64 (+.f64 (.f64 (log.f64 (.f64 x.im -1)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
49.0ms	im	@	(/.f64 (log.f64 im) (log.f64 base))
47.0ms	base	@	(/.f64 (log.f64 (neg.f64 im)) (log.f64 base))

preprocess2.0s (0.2%)

Algorithm

116×	egg-herbie

Rules

23630×	`rational.json-simplify-14`
20188×	`rational.json-simplify-11`
20148×	`rational.json-simplify-41`
17694×	`rational.json-simplify-13`
16758×	`rational.json-simplify-39`

Stop Event

72×	saturated
13×	unsound
31×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

eval3.1min (23.2%)

sample2.7min (20.3%)

prune2.4min (18%)

simplify1.9min (14.6%)

rewrite1.1min (8.2%)

regimes51.8s (6.5%)

localize33.5s (4.2%)

bsearch10.7s (1.3%)

soundness8.4s (1%)

analyze7.9s (1%)

end5.9s (0.7%)

series5.6s (0.7%)

preprocess2.0s (0.2%)

Profiling