Date:	Saturday, November 26th, 2022
Commit:	ce9ba413 on main
Hostname:	nightly with Racket 8.6
Seed:	2022330
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.3min (25.8%)

Counts

14257 → 1153

Calls

152 calls:

14.6s	l
7.8s	t
6.1s	x
4.6s	th
4.4s	kx

Compiler

Compiled 213640 to 111661 computations (47.7% saved)

sample2.0min (22%)

Results

37.7s	190556×	body	256	valid
24.1s	34089×	body	1024	valid
16.2s	83820×	body	256	invalid
7.5s	11061×	body	2048	valid
7.3s	16136×	body	512	valid
6.4s	29343×	body	256	infinite
4.1s	6344×	body	1024	invalid
3.7s	988×	body	4096	infinite
3.5s	2900×	body	4096	valid
2.3s	1008×	body	2048	infinite
2.2s	4353×	body	1024	infinite
1.4s	1194×	body	8192	valid
1.3s	3245×	body	512	invalid
1.1s	2679×	body	512	infinite
79.0ms	269×	body	256	unsamplable
46.0ms	20×	body	8192	exit
2.0ms	2×	body	2048	invalid

Bogosity

eval1.2min (12.8%)

Compiler: Compiled 3707450 to 2133767 computations (42.4% saved)

simplify47.4s (8.7%)

Algorithm

542×	egg-herbie

Rules

178086×	`fma-def_binary64`
120082×	`associate-/l*_binary64`
116403×	`times-frac_binary64`
115766×	`log-prod_binary64`
112239×	`unswap-sqr_binary64`

Stop Event

3×	done
12×	unsound
39×	saturated
28×	fuel
491×	node limit

Counts

87295 → 93504

Compiler

Compiled 20063 to 12032 computations (40% saved)

prune39.9s (7.3%)

Counts: 116042 → 3749
Compiler: Compiled 123141 to 87912 computations (28.6% saved)

rewrite34.0s (6.2%)

Algorithm

480×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
3×	egg-rewrite

Rules

178986×	`log-prod_binary64`
140864×	`pow1_binary64`
132588×	`add-log-exp_binary64`
132544×	`expm1-log1p-u_binary64`
132530×	`log1p-expm1-u_binary64`

Stop Event

4×	unsound
3×	iter limit
479×	node limit

Counts

1334 → 54247

bsearch32.5s (6%)

Algorithm

621×	binary-search
155×	left-value

Results

11.2s	55259×	body	256	valid
8.1s	10983×	body	1024	valid
3.2s	15127×	body	256	invalid
2.4s	5261×	body	512	valid
1.6s	7081×	body	256	infinite
1.3s	1168×	body	4096	valid
1.2s	1558×	body	2048	valid
625.0ms	539×	body	8192	valid
387.0ms	349×	body	512	invalid
301.0ms	764×	body	1024	invalid
146.0ms	202×	body	8192	exit
99.0ms	90×	body	2048	infinite
76.0ms	44×	body	4096	infinite
72.0ms	93×	body	1024	infinite
29.0ms	69×	body	512	infinite

Compiler

Compiled 185822 to 134805 computations (27.5% saved)

localize16.2s (3%)

Compiler: Compiled 41735 to 21118 computations (49.4% saved)

analyze15.0s (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)

series10.9s (2%)

Counts

1334 → 33017

Calls

9549 calls:

Time	Variable		Point	Expression
165.0ms	d	@	0	(.f64 d (pow.f64 (pow.f64 (.f64 l h) -3/4) 2/3))
97.0ms	h	@	0	(pow.f64 (*.f64 l h) -1/2)
74.0ms	v	@	-inf	(pow.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 2) 3/2)
72.0ms	n	@	0	(pow.f64 (*.f64 n t) 1/4)
71.0ms	n	@	-inf	(pow.f64 (pow.f64 (.f64 n (.f64 2 (PI.f64))) (-.f64 1 k)) -1/2)

soundness9.8s (1.8%)

Algorithm

108×	egg-herbie

Rules

40160×	`fma-def_binary64`
33537×	`associate-/l*_binary64`
31766×	`times-frac_binary64`
27109×	`associate-l_binary64`
24699×	`associate-/r*_binary64`

Stop Event

5×	saturated
103×	node limit

Compiler

Compiled 31490 to 21844 computations (30.6% saved)

end6.5s (1.2%)

Compiler: Compiled 19662 to 9632 computations (51% saved)

preprocess2.0s (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.3min (25.8%)

sample2.0min (22%)

eval1.2min (12.8%)

simplify47.4s (8.7%)

prune39.9s (7.3%)

rewrite34.0s (6.2%)

bsearch32.5s (6%)

localize16.2s (3%)

analyze15.0s (2.8%)

series10.9s (2%)

soundness9.8s (1.8%)

end6.5s (1.2%)

preprocess2.0s (0.4%)

Profiling