Date:	Wednesday, June 14th, 2023
Commit:	2717e23d on result-filters
Hostname:	nightly with Racket 8.6
Seed:	2023165
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

sample1.7min (20.3%)

Results

29.1s	155271×	body	256	valid
18.5s	29557×	body	1024	valid
10.9s	66753×	body	256	invalid
7.3s	38993×	body	256	infinite
7.2s	7569×	body	8192	exit
5.8s	10156×	body	2048	valid
5.6s	13978×	body	512	valid
2.9s	5765×	body	1024	invalid
2.2s	651×	body	4096	infinite
2.1s	2039×	body	4096	valid
1.6s	7847×	body	256	unsamplable
1.3s	3036×	body	512	invalid
1.3s	622×	body	2048	infinite
1.2s	2471×	body	1024	infinite
962.0ms	746×	body	8192	valid
469.0ms	1452×	body	512	infinite
2.0ms	3×	body	2048	invalid

Bogosity

soundness1.4min (17.2%)

Rules

262168×	`fma-def`
189720×	`associate-r`
164104×	`times-frac`
150542×	`associate-l`
139676×	`*-commutative`

Stop Event

2×	unsound
5×	saturated
409×	node limit

Compiler

Compiled 44882 to 26505 computations (40.9% saved)

localize1.3min (16.1%)

Compiler: Compiled 40373 to 20677 computations (48.8% saved)

regimes55.4s (11.4%)

Counts

9873 → 967

Calls

152 calls:

4.6s	l
2.6s	F
2.5s	d
2.2s	t
2.1s	h

Compiler

Compiled 155225 to 79858 computations (48.6% saved)

eval49.2s (10.1%)

Compiler: Compiled 2631289 to 1553088 computations (41% saved)

simplify35.2s (7.2%)

Algorithm

185×	egg-herbie

Rules

134136×	`fma-def`
86564×	`associate-r`
79094×	`times-frac`
72264×	`*-commutative`
71668×	`associate-l`

Stop Event

1×	done
37×	saturated
30×	fuel
148×	node limit

Counts

62186 → 49992

Compiler

Compiled 15155 to 9402 computations (38% saved)

prune21.8s (4.5%)

Counts: 75895 → 3025
Compiler: Compiled 212026 to 145521 computations (31.4% saved)

bsearch21.2s (4.3%)

Algorithm

480×	binary-search
122×	left-value

Stop Event

472×	narrow-enough
8×	predicate-same

Results

7.9s	38449×	body	256	valid
3.9s	6254×	body	1024	valid
2.5s	12715×	body	256	invalid
2.1s	9111×	body	256	infinite
1.6s	3496×	body	512	valid
720.0ms	1365×	body	2048	valid
465.0ms	793×	body	4096	valid
275.0ms	362×	body	8192	valid
74.0ms	236×	body	1024	invalid
68.0ms	139×	body	1024	infinite
38.0ms	167×	body	512	invalid
37.0ms	107×	body	512	infinite
12.0ms	20×	body	2048	infinite

Compiler

Compiled 142349 to 103407 computations (27.4% saved)

rewrite15.2s (3.1%)

Algorithm

123×	batch-egg-rewrite

Rules

87294×	`pow1`
82608×	`add-exp-log`
82504×	`log1p-expm1-u`
82492×	`expm1-log1p-u`
82448×	`add-log-exp`

Stop Event

1×	unsound
122×	node limit

Counts

1361 → 28692

analyze9.6s (2%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
23%	22.6%	75.6%	1.8%	0%	0%	0%	1
24.2%	23.3%	73.2%	1.8%	0%	1.6%	0%	2
30.2%	28.2%	65.2%	1.8%	0%	4.8%	0%	3
34%	31.2%	60.6%	1.8%	0%	6.4%	0%	4
36.2%	33.2%	58.5%	1.8%	0%	6.4%	0%	5
40.4%	37%	54.5%	1.8%	0%	6.6%	0%	6
45.4%	41.1%	49.4%	1.8%	0%	7.3%	0.4%	7
47.7%	42.6%	46.7%	1.8%	0%	8.6%	0.4%	8
50.6%	44.9%	43.9%	1.8%	0%	8.9%	0.5%	9
51.7%	45.7%	42.7%	1.8%	0%	9.3%	0.5%	10
53.4%	46.8%	40.9%	1.8%	0%	9.9%	0.6%	11
55.1%	48%	39.1%	1.8%	0%	10.5%	0.6%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series9.2s (1.9%)

Counts

1361 → 33463

Calls

9240 calls:

Time	Variable		Point	Expression
112.0ms	M	@	0	(log.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 M 2)) l)))
99.0ms	f	@	inf	(.f64 (/.f64 1 (/.f64 (PI.f64) 4)) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) 262144)))
83.0ms	th	@	-inf	(/.f64 (neg.f64 (sin.f64 ky)) (sin.f64 th))
81.0ms	l	@	inf	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (+.f64 (/.f64 x (+.f64 x -1)) 1) (/.f64 1 (+.f64 x -1))))) (neg.f64 (/.f64 (sqrt.f64 2) (/.f64 l t))))
76.0ms	l	@	0	(log.f64 (.f64 -1/4 (/.f64 (.f64 (.f64 (.f64 D D) (*.f64 M M)) h) l)))

end6.7s (1.4%)

Compiler: Compiled 30228 to 14998 computations (50.4% saved)

preprocess2.5s (0.5%)

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

sample1.7min (20.3%)

soundness1.4min (17.2%)

localize1.3min (16.1%)

regimes55.4s (11.4%)

eval49.2s (10.1%)

simplify35.2s (7.2%)

prune21.8s (4.5%)

bsearch21.2s (4.3%)

rewrite15.2s (3.1%)

analyze9.6s (2%)

series9.2s (1.9%)

end6.7s (1.4%)

preprocess2.5s (0.5%)

Profiling