Date:	Sunday, February 26th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023057
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

regimes3.0min (27.8%)

Counts

15611 → 1252

Calls

152 calls:

20.9s	l
11.5s	t
7.9s	k
7.2s	x
6.0s	U

Compiler

Compiled 246717 to 123427 computations (50% saved)

sample2.1min (19.7%)

Results

39.2s	190013×	body	256	valid
25.6s	34217×	body	1024	valid
16.8s	83265×	body	256	invalid
8.0s	16455×	body	512	valid
7.9s	11232×	body	2048	valid
6.8s	29097×	body	256	infinite
4.3s	1034×	body	4096	infinite
4.0s	6268×	body	1024	invalid
3.5s	2869×	body	4096	valid
2.8s	988×	body	2048	infinite
2.5s	4399×	body	1024	infinite
1.5s	1150×	body	8192	valid
1.3s	3160×	body	512	invalid
883.0ms	2504×	body	512	infinite
58.0ms	242×	body	256	unsamplable
11.0ms	9×	body	8192	exit
2.0ms	3×	body	2048	invalid

Bogosity

eval1.3min (12.5%)

Compiler: Compiled 4347453 to 2460837 computations (43.4% saved)

simplify1.1min (10.8%)

Algorithm

545×	egg-herbie

Rules

321796×	`associate-/l*`
317836×	`associate-r`
308136×	`associate-/r*`
302012×	`*-commutative`
276140×	`associate-l`

Stop Event

2×	unsound
2×	done
39×	saturated
29×	fuel
504×	node limit

Counts

100913 → 114900

Compiler

Compiled 22352 to 13226 computations (40.8% saved)

prune46.8s (7.3%)

Counts: 137169 → 3825
Compiler: Compiled 130792 to 91819 computations (29.8% saved)

rewrite46.6s (7.3%)

Algorithm

483×	batch-egg-rewrite
10×	egg-rewrite
8×	egg-rewrite-iter-limit

Rules

241206×	`add-sqr-sqrt`
235918×	`*-un-lft-identity`
222198×	`add-cube-cbrt`
221144×	`add-cbrt-cube`
206374×	`associate-/l*`

Stop Event

10×	unsound
8×	iter limit
483×	node limit

Counts

1334 → 66250

bsearch35.8s (5.6%)

Algorithm

751×	binary-search
137×	left-value

Results

16.7s	74851×	body	256	valid
7.2s	8688×	body	1024	valid
4.6s	18035×	body	256	invalid
2.4s	4679×	body	512	valid
1.4s	5500×	body	256	infinite
368.0ms	496×	body	2048	valid
333.0ms	299×	body	4096	valid
226.0ms	473×	body	1024	invalid
120.0ms	203×	body	512	invalid
93.0ms	91×	body	8192	valid
77.0ms	57×	body	2048	infinite
50.0ms	56×	body	1024	infinite
49.0ms	27×	body	4096	infinite
26.0ms	61×	body	512	infinite
17.0ms	16×	body	8192	exit

Compiler

Compiled 252956 to 183902 computations (27.3% saved)

localize15.5s (2.4%)

Compiler: Compiled 39356 to 18774 computations (52.3% saved)

analyze15.4s (2.4%)

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)

soundness8.8s (1.4%)

Algorithm

88×	egg-herbie

Rules

55374×	`associate-/r*`
53540×	`associate-/l*`
52350×	`*-commutative`
49586×	`associate-*r/`
43762×	`distribute-lft-in`

Stop Event

5×	saturated
83×	node limit

Compiler

Compiled 13592 to 7968 computations (41.4% saved)

series8.2s (1.3%)

Counts

1334 → 34632

Calls

9837 calls:

Time	Variable		Point	Expression
109.0ms	mu	@	-inf	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (+.f64 Ev (-.f64 EAccept mu))) KbT)))
93.0ms	f	@	0	(.f64 (+.f64 (log.f64 (/.f64 2 (.f64 (PI.f64) 1/2))) (neg.f64 (log.f64 f))) (/.f64 -4 (PI.f64)))
82.0ms	v	@	0	(log1p.f64 (acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (fma.f64 v v -1))))
74.0ms	d	@	0	(/.f64 d (pow.f64 (pow.f64 (*.f64 l h) 3/2) 1/3))
72.0ms	f	@	-inf	(-.f64 (pow.f64 (exp.f64 f) (/.f64 (PI.f64) 4)) (pow.f64 (exp.f64 (*.f64 -1/4 (PI.f64))) f))

end7.4s (1.2%)

Compiler: Compiled 21809 to 10233 computations (53.1% saved)

preprocess2.1s (0.3%)

Algorithm

62×	egg-herbie

Rules

16384×	`fma-def`
16276×	`*-commutative`
15394×	`associate-r`
15392×	`associate-*r/`
13040×	`associate-l`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes3.0min (27.8%)

sample2.1min (19.7%)

eval1.3min (12.5%)

simplify1.1min (10.8%)

prune46.8s (7.3%)

rewrite46.6s (7.3%)

bsearch35.8s (5.6%)

localize15.5s (2.4%)

analyze15.4s (2.4%)

soundness8.8s (1.4%)

series8.2s (1.3%)

end7.4s (1.2%)

preprocess2.1s (0.3%)

Profiling