Herbie run

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

Time bar (total: 4.9min)

sample1.7min (34.8%)

Results
26.9s32126×body1024valid
25.3s99655×body256valid
24.2s7225×body8192exit
8.5s16295×body512valid
5.1s24714×body256precondition
2.9s3991×body1024invalid
2.5s3772×body2048valid
2.1s10262×body256invalid
1.3s2917×body256infinite
1.1s2040×body512invalid
953.0ms1334×body1024infinite
395.0ms765×body512infinite
12.0ms12×body2048invalid
5.0ms3×body4096invalid
3.0ms1×body8192invalid
Bogosity

analyze1.1min (22.6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85%15%0%0%0%0
0%0%169.7%-69.7%0%0%0%1
0%0%339.2%-239.2%0%0%0%2
0.7%4.8%668.3%-573.1%0%0%0%3
0.7%9.6%1326.4%-1236%0%0%0%4
0.5%14.3%2641.2%-2555.6%0%0%0%5
0.4%19.1%5270.4%-5189.6%0%0%0%6
0.2%23.9%10526.6%-10450.5%0%0%0%7
0.1%28.7%21034.3%-20963%0%0%0%8
0.1%33.5%42035.1%-41968.6%0%0%0%9
0%38.3%84024.2%-83962.5%0%0%0%10
0%43.1%167966.1%-167909.1%0%0%0%11
0%47.8%335777.1%-335725%0%0%0%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

localize1.1min (22.5%)

Compiler

Compiled 6741 to 2717 computations (59.7% saved)

soundness13.3s (4.5%)

Rules
42976×fma-def
33592×log-prod
25264×associate-*r*
22694×pow1
21608×times-frac
Stop Event
2×unsound
9×saturated
73×node limit
Compiler

Compiled 5800 to 3057 computations (47.3% saved)

eval10.0s (3.4%)

Compiler

Compiled 578694 to 271722 computations (53% saved)

simplify8.9s (3.1%)

Algorithm
88×egg-herbie
Rules
51440×fma-def
25330×log-prod
24772×associate-*r*
23256×unswap-sqr
23134×sqr-pow
Stop Event
2×unsound
31×saturated
7×done
12×fuel
55×node limit
Counts
18941 → 13938
Compiler

Compiled 1447 to 905 computations (37.5% saved)

regimes7.5s (2.6%)

Counts
2733 → 133
Calls

48 calls:

1.3s
a
876.0ms
b
754.0ms
x
743.0ms
r
329.0ms
(tan.f64 a)
Compiler

Compiled 30598 to 12013 computations (60.7% saved)

prune6.2s (2.1%)

Counts
24585 → 1430
Compiler

Compiled 69752 to 45024 computations (35.5% saved)

rewrite5.3s (1.8%)

Algorithm
50×batch-egg-rewrite
Rules
41764×pow1
39012×add-exp-log
38958×log1p-expm1-u
38952×expm1-log1p-u
38434×add-log-exp
Stop Event
50×node limit
Counts
376 → 11874

bsearch2.4s (0.8%)

Algorithm
47×binary-search
4×left-value
Stop Event
45×narrow-enough
2×predicate-failed
Results
958.0ms3758×body256valid
628.0ms925×body1024valid
320.0ms676×body512valid
204.0ms1177×body256invalid
104.0ms110×body2048valid
72.0ms214×body256infinite
15.0ms26×body512infinite
8.0ms5×body1024infinite
Compiler

Compiled 8802 to 6111 computations (30.6% saved)

series2.3s (0.8%)

Counts
376 → 7048
Calls

1824 calls:

TimeVariablePointExpression
77.0ms
z
@-inf
(log1p.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))
53.0ms
x
@-inf
(log.f64 (fmod.f64 (exp.f64 x) 1))
50.0ms
l
@inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
38.0ms
z
@inf
(log1p.f64 (+.f64 x (tan.f64 (+.f64 y z))))
38.0ms
y
@inf
(log1p.f64 (+.f64 x (tan.f64 (+.f64 y z))))

preprocess1.4s (0.5%)

Algorithm
38×egg-herbie
Rules
10622×fma-def
6350×sqr-pow
5984×associate-/l/
5720×unswap-sqr
3518×associate-*r*
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 208 to 153 computations (26.4% saved)

end1.2s (0.4%)

Compiler

Compiled 3202 to 1496 computations (53.3% saved)

Profiling

Loading profile data...