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

series2.1hr (60.1%)

Counts

13029 → 295103

Calls

81827 calls:

Time	Variable		Point	Expression
2.4min	u1	@	0	(tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2)))
1.1min	b	@	0	(/.f64 (/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (.f64 b (.f64 (neg.f64 a) (.f64 (/.f64 8 (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) b)) (.f64 b (.f64 a (neg.f64 a))))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (.f64 (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) x-scale) (/.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))))))))) -4) (.f64 (.f64 a (neg.f64 a)) (.f64 b b)))
1.1min	alpha	@	-inf	(pow.f64 (+.f64 (.f64 (.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha))))) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) 1/3)
54.9s	alpha	@	inf	(pow.f64 (+.f64 (.f64 (.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha))))) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) 1/3)
41.9s	a	@	0	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))))) 2) 3)

Results

Compiler

Compiled 701201754 to 541459043 computations (22.8% saved)

sample23.4min (11%)

Results

8.8min	3810920×	body	256	valid
3.8min	29982×	body	8192	exit
3.0min	286937×	body	1024	valid
1.7min	99610×	body	2048	valid
1.5min	446067×	body	256	infinite
1.2min	16386×	body	4096	valid
54.8s	154324×	body	512	valid
45.9s	266779×	body	256	invalid
29.6s	2749×	body	8192	valid
23.9s	34999×	body	1024	infinite
9.2s	1821×	body	4096	infinite
9.0s	14887×	body	1024	invalid
7.7s	18591×	body	512	infinite
7.2s	2415×	body	2048	infinite
6.5s	23293×	body	256	unsamplable
3.3s	8256×	body	512	invalid
1.2s	1281×	body	2048	invalid
922.0ms	2957×	body	256	precondition
665.0ms	42×	body	8192	infinite
232.0ms	513×	body	1024	unsamplable
201.0ms	315×	body	2048	unsamplable
76.0ms	241×	body	512	unsamplable
5.0ms	1×	body	8192	invalid

Bogosity

regimes17.6min (8.3%)

Counts

105966 → 11851

Calls

1102 calls:

1.7min	x
1.5min	y
1.4min	z
1.3min	a
1.3min	t

Compiler

Compiled 1858182 to 965344 computations (48% saved)

eval11.4min (5.4%)

Results

Compiler

Compiled 39996772 to 21953584 computations (45.1% saved)

simplify8.4min (4%)

Algorithm

6736×

egg-herbie

Rules

2031482×	`fma-def_binary64`
1543669×	`fma-neg_binary64`
1438031×	`log-prod_binary64`
1262660×	`unswap-sqr_binary64`
1168602×	`times-frac_binary64`

Stop Event

61×	unsound
798×	saturated
123×	done
391×	fuel
5876×	node limit

Counts

852414 → 972310

Results

Compiler

Compiled 162156 to 94566 computations (41.7% saved)

prune6.1min (2.9%)

Counts: 1199548 → 41126
Compiler: Compiled 1456345 to 1032794 computations (29.1% saved)

rewrite6.0min (2.8%)

Algorithm

5693×	batch-egg-rewrite
42×	egg-rewrite-iter-limit
37×	egg-rewrite

Rules

2083445×	`pow1_binary64`
1950264×	`add-log-exp_binary64`
1949924×	`expm1-log1p-u_binary64`
1949791×	`log1p-expm1-u_binary64`
1761269×	`add-exp-log_binary64`

Stop Event

49×	unsound
42×	iter limit
5681×	node limit

Counts

13029 → 557137

bsearch3.6min (1.7%)

Algorithm

7252×	binary-search
749×	left-value

Results

2.1min	815389×	body	256	valid
24.8s	31055×	body	1024	valid
11.5s	4034×	body	4096	valid
10.7s	7424×	body	2048	valid
7.6s	44401×	body	256	infinite
7.4s	17340×	body	512	valid
6.0s	38126×	body	256	invalid
2.3s	368×	body	4096	infinite
1.6s	596×	body	2048	infinite
994.0ms	910×	body	1024	infinite
473.0ms	907×	body	512	infinite
292.0ms	655×	body	1024	invalid
232.0ms	303×	body	8192	exit
122.0ms	7×	body	8192	valid
103.0ms	366×	body	512	invalid
62.0ms	327×	body	256	unsamplable
17.0ms	1×	body	8192	infinite
2.0ms	4×	body	1024	unsamplable
0.0ms	1×	body	512	unsamplable

Compiler

Compiled 1746463 to 1263798 computations (27.6% saved)

localize2.8min (1.3%)

Compiler: Compiled 403459 to 204310 computations (49.4% saved)

analyze2.4min (1.2%)

Algorithm

532×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	87%	13%	0%	0%	0%	0
2.2%	1.9%	85.1%	13%	0%	0%	0%	1
3.3%	2.9%	83.5%	13%	0%	0.6%	0%	2
11.3%	9.6%	75.3%	13.1%	0.3%	1.7%	0%	3
15.7%	13%	70.2%	13.1%	1.2%	2.3%	0.2%	4
23.7%	19.6%	63%	13.1%	1.6%	2.6%	0.2%	5
28.4%	23%	58.1%	13.1%	2.5%	3%	0.3%	6
35.8%	28.3%	50.9%	13.1%	3.6%	3.8%	0.3%	7
40.3%	31.5%	46.8%	13.1%	4.1%	4.1%	0.4%	8
45.8%	35.3%	41.9%	13.1%	4.8%	4.5%	0.4%	9
50.3%	38.3%	37.8%	13.1%	5.5%	4.9%	0.4%	10
54.5%	41%	34.3%	13.1%	6%	5.2%	0.4%	11
58%	43.2%	31.4%	13.1%	6.4%	5.4%	0.5%	12

Compiler

Compiled 11769 to 8153 computations (30.7% saved)

soundness1.3min (0.6%)

Algorithm

737×	egg-herbie

Rules

265416×	`fma-def_binary64`
217562×	`fma-neg_binary64`
143309×	`associate-/l*_binary64`
133328×	`distribute-rgt-in_binary64`
130584×	`times-frac_binary64`

Stop Event

157×	saturated
580×	node limit

Compiler

Compiled 267978 to 185358 computations (30.8% saved)

end53.9s (0.4%)

Compiler: Compiled 158661 to 73753 computations (53.5% saved)

preprocess32.9s (0.3%)

Algorithm

1058×

egg-herbie

Rules

180323×	`fma-def_binary64`
153313×	`fma-neg_binary64`
80928×	`distribute-rgt-in_binary64`
77503×	`div-sub_binary64`
75263×	`sub-neg_binary64`

Stop Event

669×	saturated
102×	unsound
287×	node limit

Compiler

Compiled 11204 to 8032 computations (28.3% saved)

Details

series2.1hr (60.1%)

sample23.4min (11%)

regimes17.6min (8.3%)

eval11.4min (5.4%)

simplify8.4min (4%)

prune6.1min (2.9%)

rewrite6.0min (2.8%)

bsearch3.6min (1.7%)

localize2.8min (1.3%)

analyze2.4min (1.2%)

soundness1.3min (0.6%)

end53.9s (0.4%)

preprocess32.9s (0.3%)

Profiling