Date:	Monday, November 21st, 2022
Commit:	44c23216 on oflatt-taylor-sound
Hostname:	nightly with Racket 8.6
Seed:	2022325
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

series15.9min (64.5%)

Counts

1302 → 30355

Calls

9189 calls:

Time	Variable		Point	Expression
11.5s	p	@	-inf	(sqrt.f64 (*.f64 1/2 (/.f64 2 (pow.f64 (cbrt.f64 (/.f64 x p)) 6))))
10.5s	l	@	-inf	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 l (PI.f64))) 3)) 3)
10.2s	x	@	-inf	(sqrt.f64 (*.f64 1/2 (/.f64 2 (pow.f64 (cbrt.f64 (/.f64 x p)) 6))))
6.9s	l	@	inf	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 l (PI.f64))) 3)) 3)
6.8s	p	@	-inf	(/.f64 2 (pow.f64 (cbrt.f64 (/.f64 x p)) 6))

Results

Compiler

Compiled 107645878 to 80028702 computations (25.7% saved)

regimes2.4min (9.6%)

Counts

14905 → 1245

Calls

147 calls:

13.6s	l
10.1s	t
5.7s	k
4.8s	Ec
4.5s	x

Compiler

Compiled 227095 to 119022 computations (47.6% saved)

sample1.8min (7.3%)

Results

33.9s	190394×	body	256	valid
21.4s	34127×	body	1024	valid
14.4s	84212×	body	256	invalid
7.0s	11136×	body	2048	valid
6.3s	16170×	body	512	valid
5.7s	29008×	body	256	infinite
3.6s	980×	body	4096	infinite
3.5s	6124×	body	1024	invalid
3.3s	2943×	body	4096	valid
2.2s	4480×	body	1024	infinite
2.0s	934×	body	2048	infinite
1.4s	3323×	body	512	invalid
1.1s	1166×	body	8192	valid
829.0ms	2484×	body	512	infinite
60.0ms	263×	body	256	unsamplable
8.0ms	10×	body	8192	exit
2.0ms	3×	body	2048	invalid

Bogosity

eval1.3min (5.1%)

Compiler: Compiled 4403246 to 2604114 computations (40.9% saved)

simplify47.5s (3.2%)

Algorithm

541×	egg-herbie

Rules

184201×	`fma-def_binary64`
123646×	`associate-/l*_binary64`
120548×	`times-frac_binary64`
112654×	`unswap-sqr_binary64`
109550×	`associate-r_binary64`

Stop Event

11×	unsound
2×	done
37×	saturated
28×	fuel
493×	node limit

Counts

83280 → 98050

Compiler

Compiled 21565 to 12918 computations (40.1% saved)

prune38.6s (2.6%)

Counts: 120266 → 3521
Compiler: Compiled 115364 to 82392 computations (28.6% saved)

bsearch34.7s (2.4%)

Algorithm

770×	binary-search
87×	left-value

Results

14.3s	73843×	body	256	valid
7.5s	11265×	body	1024	valid
3.3s	17200×	body	256	invalid
2.4s	5636×	body	512	valid
1.7s	2065×	body	2048	valid
1.7s	7598×	body	256	infinite
765.0ms	695×	body	4096	valid
292.0ms	655×	body	1024	invalid
286.0ms	281×	body	2048	infinite
232.0ms	303×	body	8192	exit
199.0ms	284×	body	1024	infinite
117.0ms	73×	body	4096	infinite
100.0ms	350×	body	512	invalid
94.0ms	207×	body	512	infinite

Compiler

Compiled 245649 to 179725 computations (26.8% saved)

rewrite33.0s (2.2%)

Algorithm

480×	batch-egg-rewrite
13×	egg-rewrite-iter-limit
16×	egg-rewrite

Rules

185129×	`log-prod_binary64`
138648×	`pow1_binary64`
130710×	`add-log-exp_binary64`
130631×	`expm1-log1p-u_binary64`
130615×	`log1p-expm1-u_binary64`

Stop Event

16×	unsound
13×	iter limit
480×	node limit

Counts

1302 → 52894

localize14.0s (1%)

Compiler: Compiled 39383 to 19181 computations (51.3% saved)

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

soundness9.1s (0.6%)

Algorithm

99×	egg-herbie

Rules

34153×	`fma-def_binary64`
31498×	`associate-/l*_binary64`
22600×	`times-frac_binary64`
22417×	`associate-l_binary64`
22170×	`associate-/r*_binary64`

Stop Event

5×	saturated
94×	node limit

Compiler

Compiled 51751 to 39929 computations (22.8% saved)

end6.5s (0.4%)

Compiler: Compiled 21137 to 10213 computations (51.7% saved)

preprocess1.9s (0.1%)

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

series15.9min (64.5%)

regimes2.4min (9.6%)

sample1.8min (7.3%)

eval1.3min (5.1%)

simplify47.5s (3.2%)

prune38.6s (2.6%)

bsearch34.7s (2.4%)

rewrite33.0s (2.2%)

localize14.0s (1%)

analyze13.5s (0.9%)

soundness9.1s (0.6%)

end6.5s (0.4%)

preprocess1.9s (0.1%)

Profiling