Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 1.2min)

localize17.1s (23%)

Compiler

Compiled 5511 to 3105 computations (43.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
Operation ival-mult, time spent: 4.0s, 32.0% of total-time
Operation composed, time spent: 1.5s, 12.0% of total-time
Operation ival-pow, time spent: 1.3s, 11.0% of total-time
Operation ival-div, time spent: 1.1s, 9.0% of total-time
Operation ival-add, time spent: 913.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 817.0ms, 7.0% of total-time
Operation ival-log, time spent: 601.0ms, 5.0% of total-time
Operation ival-sub, time spent: 507.0ms, 4.0% of total-time
Operation ival->=, time spent: 416.0ms, 3.0% of total-time
Operation ival-exp, time spent: 355.0ms, 3.0% of total-time
Operation const, time spent: 273.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 237.0ms, 2.0% of total-time
Operation ival-if, time spent: 103.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 96.0ms, 1.0% of total-time
Operation ival-neg, time spent: 37.0ms, 0.0% of total-time
Operation ival-e, time spent: 11.0ms, 0.0% of total-time

sample15.8s (21.2%)

Results
11.0s63046×256valid
1.1s7165×256infinite
2.0s4093×2048valid
374.0ms1888×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.9s
Operation ival-mult, time spent: 1.8s, 27.0% of total-time
Operation ival-div, time spent: 1.4s, 21.0% of total-time
Operation ival-sub, time spent: 1.1s, 16.0% of total-time
Operation ival-sqrt, time spent: 908.0ms, 13.0% of total-time
Operation ival-add, time spent: 279.0ms, 4.0% of total-time
Operation ival-neg, time spent: 278.0ms, 4.0% of total-time
Operation ival-exp, time spent: 249.0ms, 4.0% of total-time
Operation ival-if, time spent: 210.0ms, 3.0% of total-time
Operation const, time spent: 188.0ms, 3.0% of total-time
Operation ival-log, time spent: 177.0ms, 3.0% of total-time
Operation ival->=, time spent: 116.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 106.0ms, 2.0% of total-time
Bogosity

eval11.9s (16%)

Compiler

Compiled 638820 to 428831 computations (32.9% saved)

preprocess6.0s (8%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4192 to 2437 computations (41.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
Operation ival-mult, time spent: 1.2s, 52.0% of total-time
Operation ival-sub, time spent: 268.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 230.0ms, 10.0% of total-time
Operation ival-div, time spent: 213.0ms, 9.0% of total-time
Operation ival-add, time spent: 171.0ms, 7.0% of total-time
Operation ival-log, time spent: 80.0ms, 3.0% of total-time
Operation const, time spent: 47.0ms, 2.0% of total-time
Operation ival->=, time spent: 37.0ms, 2.0% of total-time
Operation ival-neg, time spent: 27.0ms, 1.0% of total-time
Operation ival-if, time spent: 15.0ms, 1.0% of total-time
Operation ival-exp, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

simplify5.2s (6.9%)

Algorithm
29×egg-herbie
Rules
7374×fma-define
5976×distribute-lft-in
5806×times-frac
5797×*-commutative
5650×associate-*r*
Stop Event
9×saturated
3×fuel
20×node limit
6×done
Counts
7080 → 7166
Compiler

Compiled 1333 to 877 computations (34.2% saved)

prune5.1s (6.8%)

Counts
14060 → 308
Compiler

Compiled 18930 to 12753 computations (32.6% saved)

soundness4.8s (6.4%)

Rules
4538×fma-define
4224×fmm-def
4190×log1p-expm1-u
3940×times-frac
3555×distribute-lft-in
Stop Event
2×saturated
18×node limit
Compiler

Compiled 3400 to 2079 computations (38.9% saved)

rewrite4.2s (5.6%)

Algorithm
20×batch-egg-rewrite
Rules
11002×log1p-expm1-u
8490×expm1-log1p-u
5069×add-exp-log
4797×pow1
4166×add-log-exp
Stop Event
20×node limit
Counts
116 → 3943

bsearch1.3s (1.7%)

Algorithm
54×binary-search
Stop Event
7×predicate-same
47×narrow-enough
Results
921.0ms5644×256valid
93.0ms644×256infinite
80.0ms445×256invalid
Compiler

Compiled 12835 to 9315 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 502.0ms
Operation ival-div, time spent: 151.0ms, 30.0% of total-time
Operation ival-mult, time spent: 135.0ms, 27.0% of total-time
Operation ival-sub, time spent: 59.0ms, 12.0% of total-time
Operation ival-add, time spent: 44.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 35.0ms, 7.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 4.0% of total-time
Operation ival-neg, time spent: 18.0ms, 4.0% of total-time
Operation const, time spent: 15.0ms, 3.0% of total-time
Operation ival->=, time spent: 13.0ms, 3.0% of total-time
Operation ival-if, time spent: 12.0ms, 2.0% of total-time

series1.3s (1.7%)

Counts
116 → 3137
Calls

666 calls:

TimeVariablePointExpression
89.0ms
b
@0
(* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b)))
63.0ms
y
@0
(/ (- (+ x 4) (* x z)) y)
59.0ms
b
@0
(+ b (* (cbrt (+ (* c (* a -4)) (pow b 2))) (cbrt (sqrt (+ (* c (* a -4)) (pow b 2))))))
45.0ms
a
@0
(exp (* (- (log (* a 4)) (log (/ -1 c))) 1/2))
43.0ms
a
@0
(exp (* (+ (log (* a -4)) (log c)) 1/2))

regimes1.3s (1.7%)

Counts
429 → 98
Calls

26 calls:

285.0ms
b
219.0ms
f
155.0ms
c
117.0ms
a
89.0ms
x
Compiler

Compiled 517 to 359 computations (30.6% saved)

analyze721.0ms (1%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 418.0ms
Operation ival-mult, time spent: 153.0ms, 37.0% of total-time
Operation ival-sub, time spent: 53.0ms, 13.0% of total-time
Operation ival-div, time spent: 47.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 47.0ms, 11.0% of total-time
Operation ival-add, time spent: 40.0ms, 10.0% of total-time
Operation ival-neg, time spent: 27.0ms, 6.0% of total-time
Operation ival->=, time spent: 17.0ms, 4.0% of total-time
Operation ival-if, time spent: 16.0ms, 4.0% of total-time
Operation const, time spent: 13.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...