Date:	Friday, September 29th, 2023
Commit:	9515c601 on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023272
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:simplifygenerate:proofs` default

Details

sample3.1min (22.1%)

Results

39.7s	25408×	body	8192	exit
32.2s	131597×	body	256	invalid
30.2s	113479×	body	256	valid
22.2s	39197×	body	1024	valid
20.4s	29082×	body	2048	valid
9.8s	35382×	body	256	infinite
8.4s	19269×	body	512	valid
8.0s	8088×	body	4096	valid
5.2s	11051×	body	1024	invalid
1.9s	1623×	body	8192	valid
1.9s	5572×	body	512	invalid
1.9s	3536×	body	1024	infinite
1.8s	8729×	body	256	precondition
1.6s	3955×	body	512	infinite
1.0s	1373×	body	2048	infinite
980.0ms	950×	body	4096	infinite
19.0ms	23×	body	2048	invalid
2.0ms	2×	body	8192	infinite

Bogosity

eval2.9min (20.6%)

Compiler: Compiled 5328349 to 3459383 computations (35.1% saved)

localize2.9min (20.4%)

Compiler: Compiled 44880 to 21828 computations (51.4% saved)

soundness1.4min (9.9%)

Rules

256356×	`fma-def`
190132×	`associate-r`
164432×	`times-frac`
149712×	`associate-l`
137810×	`log-prod`

Stop Event

1×	unsound
5×	saturated
395×	node limit

Compiler

Compiled 41102 to 23450 computations (42.9% saved)

regimes54.7s (6.4%)

Counts

8780 → 844

Calls

148 calls:

4.4s	l
3.1s	F
3.0s	t
2.4s	(sin.f64 kx)
1.8s	h

Compiler

Compiled 146428 to 73399 computations (49.9% saved)

analyze48.9s (5.8%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	103.1%	-3.1%	0%	0%	0%	0
0%	0%	206.1%	-106.1%	0%	0%	0%	1
0%	0%	412.3%	-312.3%	0%	0%	0%	2
0%	0%	824.5%	-724.5%	0%	0%	0%	3
1.6%	25.8%	1597.6%	-1523.3%	0%	0%	0%	4
2.4%	77.3%	3092.1%	-3069.4%	0%	0%	0%	5
1.2%	77.3%	6184.2%	-6161.5%	0%	0%	0%	6
0.6%	77.3%	12368.4%	-12345.6%	0%	0%	0%	7
0.3%	77.3%	24736.7%	-24714%	0%	0%	0%	8
0.2%	77.3%	49473.4%	-49450.7%	0%	0%	0%	9
0.1%	77.3%	98946.9%	-98924.2%	0%	0%	0%	10
0%	77.3%	197893.8%	-197871.1%	0%	0%	0%	11
0%	77.3%	395787.6%	-395764.8%	0%	0%	0%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

simplify35.4s (4.2%)

Algorithm

175×	egg-herbie

Rules

124850×	`fma-def`
85580×	`associate-r`
74532×	`times-frac`
70228×	`associate-l`
65150×	`*-commutative`

Stop Event

3×	done
36×	saturated
27×	fuel
139×	node limit

Counts

56889 → 44750

Compiler

Compiled 13452 to 8663 computations (35.6% saved)

prune31.5s (3.7%)

Counts

79147 → 3104

Results

Compiler

Compiled 235767 to 160697 computations (31.8% saved)

bsearch24.6s (2.9%)

Algorithm

407×	binary-search
94×	left-value

Stop Event

400×	narrow-enough
7×	predicate-same

Results

6.0s	8390×	body	1024	valid
5.1s	23608×	body	256	valid
2.5s	3995×	body	2048	valid
2.1s	1171×	body	8192	exit
1.6s	1842×	body	4096	valid
1.6s	4268×	body	512	valid
1.6s	7379×	body	256	infinite
1.2s	7428×	body	256	invalid
760.0ms	807×	body	8192	valid
288.0ms	129×	body	2048	infinite
250.0ms	346×	body	1024	infinite
129.0ms	150×	body	4096	infinite
38.0ms	133×	body	1024	invalid
36.0ms	126×	body	512	infinite
8.0ms	41×	body	512	invalid

Compiler

Compiled 113614 to 83884 computations (26.2% saved)

rewrite15.3s (1.8%)

Algorithm

114×	batch-egg-rewrite

Rules

79106×	`pow1`
74880×	`add-exp-log`
74828×	`log1p-expm1-u`
74814×	`expm1-log1p-u`
74768×	`add-log-exp`

Stop Event

1×	unsound
113×	node limit

Counts

1203 → 26038

series9.0s (1.1%)

Counts

1203 → 30820

Calls

8478 calls:

Time	Variable		Point	Expression
121.0ms	M	@	-inf	(-.f64 (exp.f64 (log1p.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (.f64 K 1/2)) M)))) 1)
107.0ms	n	@	0	(cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M))
102.0ms	ky	@	-inf	(log.f64 (sqrt.f64 (exp.f64 (/.f64 1 (hypot.f64 1 (/.f64 (.f64 2 (.f64 (sin.f64 ky) l)) Om))))))
88.0ms	f	@	inf	(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) 4) f)))) 2))
79.0ms	n	@	-inf	(log.f64 (/.f64 (pow.f64 (.f64 (PI.f64) (.f64 2 n)) (-.f64 1 k)) k))

end6.9s (0.8%)

Compiler: Compiled 26854 to 14190 computations (47.2% saved)

preprocess2.7s (0.3%)

Algorithm

62×	egg-herbie

Rules

28786×	`fma-def`
14268×	`fma-neg`
13542×	`associate-*r/`
12824×	`associate-r`
12316×	`distribute-lft-in`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Herbie run

Details

sample3.1min (22.1%)

eval2.9min (20.6%)

localize2.9min (20.4%)

soundness1.4min (9.9%)

regimes54.7s (6.4%)

analyze48.9s (5.8%)

simplify35.4s (4.2%)

prune31.5s (3.7%)

bsearch24.6s (2.9%)

rewrite15.3s (1.8%)

series9.0s (1.1%)

end6.9s (0.8%)

preprocess2.7s (0.3%)

Profiling