Date:	Friday, November 4th, 2022
Commit:	3b7366bf on main
Hostname:	warfa with Racket 8.6
Seed:	2022308
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

sample31.5min (26.8%)

Results

12.4min	3762951×	body	256	valid
4.2min	286349×	body	1024	valid
4.1min	29646×	body	8192	exit
2.4min	99413×	body	2048	valid
2.1min	444241×	body	256	infinite
1.5min	16148×	body	4096	valid
1.3min	153485×	body	512	valid
1.1min	266794×	body	256	invalid
42.3s	2818×	body	8192	valid
33.2s	35180×	body	1024	infinite
13.2s	1886×	body	4096	infinite
11.4s	19145×	body	512	infinite
11.3s	15042×	body	1024	invalid
9.4s	2430×	body	2048	infinite
7.2s	21835×	body	256	unsamplable
3.5s	8076×	body	512	invalid
1.3s	1197×	body	2048	invalid
1.1s	2900×	body	256	precondition
470.0ms	27×	body	8192	infinite
306.0ms	475×	body	1024	unsamplable
217.0ms	309×	body	2048	unsamplable
74.0ms	228×	body	512	unsamplable

Bogosity

regimes27.7min (23.6%)

Counts

105743 → 11642

Calls

1142 calls:

2.8min	x
2.3min	y
2.1min	a
2.0min	z
1.8min	t

Results

Compiler

Compiled 1782236 to 963485 computations (45.9% saved)

simplify11.1min (9.5%)

Algorithm

6665×

egg-herbie

Rules

2047096×	`fma-def_binary64`
1233884×	`fma-neg_binary64`
1098449×	`associate-l_binary64`
1083603×	`unswap-sqr_binary64`
948205×	`associate-r_binary64`

Stop Event

7×	unsound
2443×	saturated
105×	done
414×	fuel
4215×	node limit

Counts

836141 → 680589

Compiler

Compiled 162041 to 93834 computations (42.1% saved)

eval10.9min (9.2%)

Compiler: Compiled 25302664 to 13985332 computations (44.7% saved)

bsearch10.1min (8.6%)

Algorithm

7094×	binary-search
632×	left-value

Results

Compiler

Compiled 435021 to 313970 computations (27.8% saved)

rewrite8.8min (7.5%)

Algorithm

5623×	batch-egg-rewrite
61×	egg-rewrite-iter-limit
61×	egg-rewrite

Rules

2106938×	`pow1_binary64`
1972808×	`add-log-exp_binary64`
1971829×	`expm1-log1p-u_binary64`
1971699×	`log1p-expm1-u_binary64`
1778807×	`add-exp-log_binary64`

Stop Event

70×	unsound
61×	iter limit
5614×	node limit

Counts

12882 → 542988

prune4.6min (3.9%)

Counts: 868728 → 40460
Compiler: Compiled 1424204 to 1018454 computations (28.5% saved)

localize3.9min (3.3%)

Compiler: Compiled 390836 to 200896 computations (48.6% saved)

analyze3.4min (2.9%)

Algorithm

526×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	87.1%	12.9%	0%	0%	0%	0
1.6%	1.4%	85.7%	12.9%	0%	0%	0%	1
2.8%	2.4%	84.1%	12.9%	0%	0.6%	0%	2
10.8%	9.2%	76%	12.9%	0.3%	1.5%	0%	3
15.1%	12.6%	70.9%	12.9%	1.3%	2.1%	0.2%	4
23.1%	19.2%	63.7%	12.9%	1.6%	2.4%	0.2%	5
27.8%	22.6%	58.8%	12.9%	2.5%	2.8%	0.3%	6
35.2%	28%	51.5%	12.9%	3.6%	3.6%	0.4%	7
39.8%	31.2%	47.4%	12.9%	4.1%	4%	0.4%	8
45.3%	35.1%	42.3%	12.9%	4.9%	4.3%	0.4%	9
49.9%	38%	38.2%	12.9%	5.6%	4.8%	0.4%	10
54.1%	40.8%	34.6%	12.9%	6.1%	5%	0.5%	11
57.6%	43%	31.7%	12.9%	6.5%	5.3%	0.5%	12

Compiler

Compiled 11741 to 8133 computations (30.7% saved)

series2.1min (1.8%)

Counts

12882 → 292630

Calls

80070 calls:

Time	Variable		Point	Expression
610.0ms	phi2	@	inf	(log.f64 (pow.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))
570.0ms	x	@	0	(*.f64 x (neg.f64 (log.f64 (/.f64 y x))))
296.0ms	x	@	-inf	(.f64 (-.f64 9 (/.f64 1/9 (.f64 x x))) (sqrt.f64 x))
283.0ms	v	@	0	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
262.0ms	x	@	-inf	(pow.f64 (-.f64 (log.f64 x) (log.f64 y)) 3)

end1.3min (1.1%)

Compiler: Compiled 159647 to 74161 computations (53.5% saved)

soundness1.3min (1.1%)

Algorithm

551×	egg-herbie

Rules

225448×	`fma-def_binary64`
155905×	`fma-neg_binary64`
111779×	`associate-/l*_binary64`
102488×	`times-frac_binary64`
99830×	`distribute-rgt-in_binary64`

Stop Event

154×	saturated
397×	node limit

Compiler

Compiled 185052 to 126604 computations (31.6% saved)

preprocess42.9s (0.6%)

Algorithm

1046×

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

657×	saturated
102×	unsound
287×	node limit

Compiler

Compiled 11130 to 7976 computations (28.3% saved)

Details

sample31.5min (26.8%)

regimes27.7min (23.6%)

simplify11.1min (9.5%)

eval10.9min (9.2%)

bsearch10.1min (8.6%)

rewrite8.8min (7.5%)

prune4.6min (3.9%)

localize3.9min (3.3%)

analyze3.4min (2.9%)

series2.1min (1.8%)

end1.3min (1.1%)

soundness1.3min (1.1%)

preprocess42.9s (0.6%)

Profiling