Date:	Friday, November 25th, 2022
Commit:	cf54083d on main
Hostname:	nightly with Racket 8.6
Seed:	2022329
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

regimes2.1min (23.5%)

Counts

12767 → 1096

Calls

152 calls:

14.1s	l
6.5s	t
4.5s	n
4.3s	(*.f64 l l)
4.2s	k

Compiler

Compiled 202143 to 103435 computations (48.8% saved)

sample2.0min (22.2%)

Results

38.3s	190405×	body	256	valid
23.7s	34001×	body	1024	valid
15.1s	82648×	body	256	invalid
7.5s	11184×	body	2048	valid
7.1s	16146×	body	512	valid
6.0s	29210×	body	256	infinite
4.0s	6201×	body	1024	invalid
3.8s	1013×	body	4096	infinite
3.0s	2931×	body	4096	valid
2.6s	997×	body	2048	infinite
2.2s	4358×	body	1024	infinite
1.2s	1269×	body	8192	valid
1.2s	3216×	body	512	invalid
894.0ms	2413×	body	512	infinite
70.0ms	280×	body	256	unsamplable
11.0ms	16×	body	8192	exit
2.0ms	3×	body	2048	invalid

Bogosity

eval1.2min (13.4%)

Compiler: Compiled 3815072 to 2147409 computations (43.7% saved)

simplify52.5s (9.9%)

Algorithm

552×	egg-herbie

Rules

186269×	`fma-def_binary64`
124086×	`associate-/l*_binary64`
120662×	`log-prod_binary64`
120555×	`times-frac_binary64`
108954×	`unswap-sqr_binary64`

Stop Event

1×	done
8×	unsound
39×	saturated
30×	fuel
505×	node limit

Counts

90720 → 95734

Compiler

Compiled 19015 to 11127 computations (41.5% saved)

prune40.4s (7.6%)

Counts: 115930 → 3777
Compiler: Compiled 128226 to 90532 computations (29.4% saved)

rewrite35.9s (6.8%)

Algorithm

490×	batch-egg-rewrite
12×	egg-rewrite-iter-limit
12×	egg-rewrite

Rules

183793×	`log-prod_binary64`
139982×	`pow1_binary64`
131867×	`add-log-exp_binary64`
131778×	`expm1-log1p-u_binary64`
131767×	`log1p-expm1-u_binary64`

Stop Event

16×	unsound
12×	iter limit
486×	node limit

Counts

1352 → 55550

bsearch29.8s (5.6%)

Algorithm

596×	binary-search
138×	left-value

Results

11.4s	55101×	body	256	valid
6.2s	8934×	body	1024	valid
3.2s	16493×	body	256	invalid
2.1s	4642×	body	512	valid
1.4s	1501×	body	2048	valid
1.3s	5803×	body	256	infinite
875.0ms	811×	body	4096	valid
610.0ms	489×	body	2048	infinite
598.0ms	364×	body	4096	infinite
335.0ms	699×	body	1024	invalid
176.0ms	195×	body	8192	valid
170.0ms	170×	body	1024	infinite
82.0ms	182×	body	512	infinite
80.0ms	291×	body	512	invalid

Compiler

Compiled 178134 to 129075 computations (27.5% saved)

localize15.4s (2.9%)

Compiler: Compiled 39301 to 18614 computations (52.6% saved)

analyze15.3s (2.9%)

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)

series11.1s (2.1%)

Counts

1352 → 35139

Calls

9993 calls:

Time	Variable		Point	Expression
150.0ms	v	@	inf	(log1p.f64 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1))))
107.0ms	f	@	-inf	(log.f64 (.f64 2 (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
73.0ms	v	@	-inf	(pow.f64 (sqrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
71.0ms	kx	@	-inf	(/.f64 (pow.f64 (sin.f64 kx) 2) (/.f64 (.f64 Om Om) (.f64 l l)))
69.0ms	Ec	@	-inf	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (+.f64 mu (-.f64 EDonor Ec))) KbT)))

soundness8.7s (1.6%)

Algorithm

96×	egg-herbie

Rules

37682×	`fma-def_binary64`
24458×	`associate-/l*_binary64`
23468×	`times-frac_binary64`
21295×	`associate-l_binary64`
20170×	`associate-r_binary64`

Stop Event

4×	saturated
1×	unsound
91×	node limit

Compiler

Compiled 34216 to 25515 computations (25.4% saved)

end6.0s (1.1%)

Compiler: Compiled 18547 to 8475 computations (54.3% saved)

preprocess1.9s (0.4%)

Algorithm

62×	egg-herbie

Rules

12061×	`fma-def_binary64`
8874×	`fma-neg_binary64`
6590×	`associate-l_binary64`
6287×	`distribute-rgt-in_binary64`
6102×	`associate-/l*_binary64`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes2.1min (23.5%)

sample2.0min (22.2%)

eval1.2min (13.4%)

simplify52.5s (9.9%)

prune40.4s (7.6%)

rewrite35.9s (6.8%)

bsearch29.8s (5.6%)

localize15.4s (2.9%)

analyze15.3s (2.9%)

series11.1s (2.1%)

soundness8.7s (1.6%)

end6.0s (1.1%)

preprocess1.9s (0.4%)

Profiling