Date:	Wednesday, October 4th, 2023
Commit:	39449eb5 on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023277
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

sample8.1min (43.4%)

Results

4.8min	174827×	body	8192	exit
36.2s	113630×	body	256	valid
35.2s	40633×	body	2048	valid
34.4s	49242×	body	1024	valid
33.5s	124416×	body	256	invalid
17.3s	16017×	body	4096	valid
15.1s	28027×	body	512	valid
13.6s	60481×	body	256	precondition
4.6s	16291×	body	256	infinite
3.5s	5616×	body	2048	invalid
2.7s	4197×	body	1024	invalid
1.2s	2463×	body	512	invalid
142.0ms	374×	body	512	infinite
87.0ms	58×	body	8192	valid
14.0ms	17×	body	1024	infinite
3.0ms	2×	body	2048	infinite

Bogosity

localize3.2min (17.2%)

Compiler: Compiled 31894 to 9987 computations (68.7% saved)

analyze1.9min (10%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	95.1%	4.9%	0%	0%	0%	0
1%	1.9%	186.4%	-88.3%	0%	0%	0%	1
0.5%	1.9%	372.7%	-274.6%	0%	0%	0%	2
0.3%	1.9%	745.4%	-647.2%	0%	0%	0%	3
0.1%	1.9%	1490.3%	-1392.2%	0%	0%	0%	4
2.1%	62.1%	2859.6%	-2821.8%	0%	0%	0%	5
2.1%	122.4%	5597.1%	-5619.5%	0%	0%	0%	6
1.1%	122.4%	11192.5%	-11214.9%	0%	0%	0%	7
0.5%	122.4%	22378.2%	-22400.5%	0%	0%	0%	8
0.3%	122.4%	44749.5%	-44771.8%	0%	0%	0%	9
0.1%	122.4%	89471.6%	-89494%	0%	0%	0%	10
0.1%	122.4%	178915.9%	-178938.3%	0%	0%	0%	11
0%	122.4%	357722.5%	-357744.9%	0%	0%	0%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

soundness1.2min (6.5%)

Rules

199742×	`fma-def`
112192×	`associate-r`
100224×	`log-prod`
90184×	`*-commutative`
88576×	`fma-neg`

Stop Event

2×	unsound
12×	saturated
254×	node limit

Compiler

Compiled 29536 to 14718 computations (50.2% saved)

regimes1.1min (5.8%)

Counts

9332 → 573

Calls

98 calls:

8.0s	phi1
7.5s	phi2
6.3s	lambda1
4.6s	lambda2
3.6s	B

Compiler

Compiled 194523 to 62079 computations (68.1% saved)

eval1.0min (5.5%)

Compiler: Compiled 2475960 to 1073531 computations (56.6% saved)

prune38.1s (3.4%)

Counts: 78758 → 3262
Compiler: Compiled 269319 to 165561 computations (38.5% saved)

simplify35.1s (3.1%)

Algorithm

168×	egg-herbie

Rules

124366×	`fma-def`
64184×	`associate-r`
63184×	`fma-neg`
52972×	`associate-l`
52662×	`log-prod`

Stop Event

1×	unsound
48×	saturated
4×	done
28×	fuel
119×	node limit

Counts

46298 → 37871

Compiler

Compiled 10327 to 6243 computations (39.5% saved)

bsearch17.4s (1.6%)

Algorithm

253×	binary-search
29×	left-value

Stop Event

241×	narrow-enough
12×	predicate-same

Results

4.4s	6149×	body	1024	valid
4.1s	16347×	body	256	valid
3.6s	3842×	body	2048	valid
1.7s	3402×	body	512	valid
1.2s	1300×	body	4096	valid
866.0ms	789×	body	8192	exit
445.0ms	1944×	body	256	invalid
26.0ms	175×	body	256	infinite
8.0ms	2×	body	1024	invalid
1.0ms	1×	body	8192	valid

Compiler

Compiled 81449 to 57756 computations (29.1% saved)

rewrite16.9s (1.5%)

Algorithm

104×	batch-egg-rewrite

Rules

64436×	`pow1`
60830×	`add-exp-log`
60750×	`log1p-expm1-u`
60742×	`expm1-log1p-u`
58972×	`add-log-exp`

Stop Event

2×	unsound
102×	node limit

Counts

880 → 27858

series10.6s (0.9%)

Counts

880 → 18408

Calls

5277 calls:

Time	Variable		Point	Expression
571.0ms	theta	@	-inf	(-.f64 (exp.f64 (log1p.f64 (atan2.f64 (.f64 (sin.f64 delta) (.f64 (cos.f64 phi1) (sin.f64 theta))) (pow.f64 (cos.f64 phi1) 2)))) 1)
317.0ms	b	@	0	(cbrt.f64 (/.f64 b (+.f64 (exp.f64 a) 1)))
189.0ms	lambda1	@	0	(-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) 1)
176.0ms	b	@	inf	(log.f64 (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
147.0ms	phi2	@	-inf	(-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 (cos.f64 lambda1) (.f64 (cos.f64 phi1) (cos.f64 phi2)) (.f64 (sin.f64 phi1) (sin.f64 phi2)))))) 1)

end7.3s (0.7%)

Compiler: Compiled 21606 to 9378 computations (56.6% saved)

preprocess4.1s (0.4%)

Algorithm

64×	egg-herbie

Rules

39606×	`fma-def`
11854×	`unsub-neg`
11544×	`fma-neg`
9906×	`sub-neg`
9484×	`div-sub`

Stop Event

39×	saturated
7×	unsound
18×	node limit

Compiler

Compiled 679 to 478 computations (29.6% saved)

Herbie run

Details

sample8.1min (43.4%)

localize3.2min (17.2%)

analyze1.9min (10%)

soundness1.2min (6.5%)

regimes1.1min (5.8%)

eval1.0min (5.5%)

prune38.1s (3.4%)

simplify35.1s (3.1%)

bsearch17.4s (1.6%)

rewrite16.9s (1.5%)

series10.6s (0.9%)

end7.3s (0.7%)

preprocess4.1s (0.4%)

Profiling