Herbie run

Date:Thursday, October 12th, 2023
Commit:77e0ec89 on mixed-precision
Hostname:nightly with Racket 8.6
Seed:2023285
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

Time bar (total: 3.8min)

sample1.2min (30.4%)

Results
18.2s106944×body256valid
18.0s26912×body1024valid
16.4s13335×body8192exit
6.5s6068×body2048valid
5.3s11946×body512valid
2.1s4065×body1024invalid
1.1s4694×body256infinite
597.0ms1969×body512invalid
531.0ms2359×body256invalid
231.0ms1231×body256unsamplable
116.0ms155×body1024infinite
68.0ms154×body512infinite
8.0ms3×body8192invalid
3.0ms3×body2048invalid
Bogosity

soundness32.8s (14.4%)

Rules
67834×fma-def
55996×log-prod
51706×pow1
48578×add-exp-log
48474×log1p-expm1-u
Stop Event
3×unsound
5×saturated
128×node limit
Compiler

Compiled 10786 to 5438 computations (49.6% saved)

localize30.0s (13.1%)

Compiler

Compiled 7984 to 2871 computations (64% saved)

regimes18.4s (8%)

Counts
4220 → 155
Calls

52 calls:

5.6s
b
1.7s
a
1.5s
x
924.0ms
r
767.0ms
s
Compiler

Compiled 50745 to 19533 computations (61.5% saved)

eval18.1s (7.9%)

Compiler

Compiled 814740 to 366997 computations (55% saved)

simplify13.6s (5.9%)

Algorithm
80×egg-herbie
Rules
46772×fma-def
39476×log-prod
29520×associate-*r*
27296×distribute-lft-in
26660×associate-*l*
Stop Event
5×done
3×unsound
19×saturated
14×fuel
58×node limit
Counts
21461 → 17783
Compiler

Compiled 2007 to 1230 computations (38.7% saved)

prune11.8s (5.2%)

Counts
33403 → 1650
Compiler

Compiled 98031 to 60877 computations (37.9% saved)

analyze11.0s (4.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.1%54.8%16.3%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

rewrite9.0s (4%)

Algorithm
61×batch-egg-rewrite
Rules
51902×pow1
48506×add-exp-log
48422×log1p-expm1-u
48414×expm1-log1p-u
44694×add-log-exp
Stop Event
61×node limit
Counts
429 → 12824

preprocess6.3s (2.8%)

Algorithm
19×egg-herbie
Rules
18716×fma-def
9546×fma-neg
5290×distribute-lft-neg-in
4888×sub-neg
4298×distribute-rgt-in
Stop Event
11×saturated
8×node limit
Compiler

Compiled 5166 to 2285 computations (55.8% saved)

series4.4s (1.9%)

Counts
429 → 8637
Calls

2229 calls:

TimeVariablePointExpression
358.0ms
a
@inf
(log.f64 (+.f64 (tan.f64 z) (-.f64 x (tan.f64 a))))
164.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
140.0ms
x
@inf
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
128.0ms
y
@inf
(log.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) a)))
98.0ms
z
@inf
(log.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) a)))

bsearch3.5s (1.5%)

Algorithm
45×binary-search
6×left-value
Stop Event
39×narrow-enough
6×predicate-same
Results
1.7s1403×body1024valid
788.0ms1988×body256valid
637.0ms1236×body512valid
58.0ms40×body2048valid
51.0ms119×body256infinite
16.0ms13×body1024infinite
2.0ms1×body8192exit
1.0ms1×body512infinite
Compiler

Compiled 9593 to 6688 computations (30.3% saved)

end7.0ms (0%)

Profiling

Loading profile data...