Date:	Wednesday, September 20th, 2023
Commit:	c5f986cd on arb-support
Hostname:	nightly with Racket 8.6
Seed:	2023263
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

localize8.8min (33.8%)

Results

Compiler

Compiled 74394 to 34081 computations (54.2% saved)

sample7.5min (29%)

Results

1.3min	69169×	body	1024	valid
1.3min	199592×	body	256	valid
1.0min	10171×	body	4096	valid
45.4s	25216×	body	8192	exit
44.3s	15735×	body	2048	valid
29.4s	93891×	body	256	precondition
28.1s	110200×	body	256	invalid
22.9s	32224×	body	512	valid
20.8s	1504×	body	8192	valid
10.7s	23701×	body	256	infinite
10.5s	6532×	body	1024	infinite
5.2s	5350×	body	2048	invalid
3.6s	3854×	body	1024	invalid
3.5s	544×	body	4096	infinite
3.5s	780×	body	2048	infinite
3.5s	3329×	body	512	infinite
1.5s	2187×	body	512	invalid
275.0ms	25×	body	8192	infinite

Bogosity

eval2.0min (7.6%)

Compiler: Compiled 6363937 to 3266427 computations (48.7% saved)

analyze1.9min (7.4%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.4%	13.6%	0%	0%	0%	0
2.2%	3.8%	165.2%	-68.9%	0%	0%	0%	1
2.3%	7.5%	321.7%	-229.2%	0%	0%	0%	2
2.3%	15.1%	627.1%	-542.2%	0%	0%	0%	3
2.4%	30.2%	1222.7%	-1152.8%	0%	0%	0%	4
3.7%	90.4%	2323%	-2313.4%	0%	0%	0%	5
3.2%	150.6%	4522.8%	-4573.4%	0%	0%	0%	6
1.6%	150.6%	9041%	-9091.7%	0%	0%	0%	7
0.8%	150.6%	18059.7%	-18110.4%	0%	0%	0%	8
0.4%	150.6%	36079.9%	-36130.6%	0%	0%	0%	9
0.2%	150.6%	72089.2%	-72139.8%	0%	0%	0%	10
0.1%	150.6%	143996.1%	-144046.7%	0%	0%	0%	11
0.1%	150.6%	287689.7%	-287740.4%	0%	0%	0%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

soundness1.4min (5.5%)

Rules

262190×	`fma-def`
165532×	`associate-r`
147044×	`log-prod`
119800×	`times-frac`
116612×	`associate-l`

Stop Event

3×	unsound
13×	saturated
377×	node limit

Compiler

Compiled 43726 to 24808 computations (43.3% saved)

regimes1.4min (5.3%)

Counts

15354 → 895

Calls

134 calls:

6.0s	phi2
5.7s	B
5.4s	lambda1
5.3s	phi1
5.2s	lambda2

Compiler

Compiled 353168 to 159690 computations (54.8% saved)

simplify49.5s (3.2%)

Algorithm

234×	egg-herbie

Rules

162282×	`fma-def`
95340×	`associate-r`
78758×	`fma-neg`
77972×	`associate-l`
75818×	`*-commutative`

Stop Event

59×	saturated
6×	done
36×	fuel
175×	node limit

Counts

66765 → 52347

Compiler

Compiled 15661 to 10042 computations (35.9% saved)

prune48.2s (3.1%)

Counts: 131801 → 5841
Compiler: Compiled 612789 to 410209 computations (33.1% saved)

bsearch39.1s (2.5%)

Algorithm

424×	binary-search
56×	left-value

Stop Event

412×	narrow-enough
12×	predicate-same

Results

13.5s	34884×	body	256	valid
11.1s	8253×	body	1024	valid
4.8s	2236×	body	2048	valid
3.9s	4197×	body	512	valid
1.6s	720×	body	4096	valid
944.0ms	332×	body	1024	infinite
850.0ms	2578×	body	256	invalid
702.0ms	1159×	body	256	infinite
391.0ms	261×	body	512	infinite
14.0ms	2×	body	4096	infinite
13.0ms	4×	body	2048	infinite
3.0ms	4×	body	512	invalid
3.0ms	2×	body	1024	invalid

Compiler

Compiled 126711 to 91155 computations (28.1% saved)

rewrite18.6s (1.2%)

Algorithm

148×	batch-egg-rewrite

Rules

100688×	`pow1`
95252×	`add-exp-log`
95160×	`log1p-expm1-u`
95112×	`expm1-log1p-u`
91622×	`add-log-exp`

Stop Event

3×	unsound
145×	node limit

Counts

1416 → 36290

series12.8s (0.8%)

Counts

1416 → 30431

Calls

8757 calls:

Time	Variable		Point	Expression
330.0ms	g	@	-inf	(pow.f64 (*.f64 2 (/.f64 a g)) -1/3)
303.0ms	x	@	-inf	(log1p.f64 (log.f64 (*.f64 x (+.f64 y 1/2))))
155.0ms	lambda1	@	-inf	(log1p.f64 (.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
112.0ms	y-scale	@	0	(sqrt.f64 (.f64 (.f64 (pow.f64 (.f64 y-scale x-scale) 2) -1/4) (neg.f64 (/.f64 (pow.f64 (.f64 8 (.f64 2 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))) 2)))) 1/2) (.f64 y-scale (*.f64 y-scale x-scale))))))
85.0ms	angle	@	inf	(log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) b) 2))

end7.2s (0.5%)

Compiler: Compiled 33544 to 16764 computations (50% saved)

preprocess4.2s (0.3%)

Algorithm

88×	egg-herbie

Rules

52564×	`fma-def`
15060×	`associate-r`
14332×	`unsub-neg`
14136×	`fma-neg`
13988×	`distribute-lft-in`

Stop Event

50×	saturated
9×	unsound
29×	node limit

Compiler

Compiled 1607 to 1138 computations (29.2% saved)

Herbie run

Details

localize8.8min (33.8%)

sample7.5min (29%)

eval2.0min (7.6%)

analyze1.9min (7.4%)

soundness1.4min (5.5%)

regimes1.4min (5.3%)

simplify49.5s (3.2%)

prune48.2s (3.1%)

bsearch39.1s (2.5%)

rewrite18.6s (1.2%)

series12.8s (0.8%)

end7.2s (0.5%)

preprocess4.2s (0.3%)

Profiling