Herbie run

Date:Friday, April 19th, 2024
Commit:633bebd4 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024110
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.5min)

localize24.5s (27.4%)

Compiler

Compiled 6271 to 3367 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.1s
Operation ival-pow, time spent: 5.1s, 27.0% of total-time
Operation ival-mult, time spent: 4.4s, 23.0% of total-time
Operation composed, time spent: 2.6s, 13.0% of total-time
Operation ival-div, time spent: 1.8s, 9.0% of total-time
Operation ival-add, time spent: 1.7s, 9.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 6.0% of total-time
Operation ival-sub, time spent: 952.0ms, 5.0% of total-time
Operation ival-log, time spent: 369.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 339.0ms, 2.0% of total-time
Operation const, time spent: 332.0ms, 2.0% of total-time
Operation ival->=, time spent: 251.0ms, 1.0% of total-time
Operation ival-if, time spent: 114.0ms, 1.0% of total-time
Operation ival-exp, time spent: 97.0ms, 1.0% of total-time
Operation ival-neg, time spent: 52.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time

sample16.7s (18.7%)

Results
11.0s62922×256valid
1.4s7255×256infinite
2.2s4127×2048valid
496.0ms1961×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.2s
Operation ival-mult, time spent: 1.9s, 26.0% of total-time
Operation ival-div, time spent: 1.6s, 23.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 15.0% of total-time
Operation ival-sub, time spent: 874.0ms, 12.0% of total-time
Operation ival-fabs, time spent: 298.0ms, 4.0% of total-time
Operation ival-add, time spent: 275.0ms, 4.0% of total-time
Operation ival-neg, time spent: 274.0ms, 4.0% of total-time
Operation ival->=, time spent: 229.0ms, 3.0% of total-time
Operation ival-if, time spent: 205.0ms, 3.0% of total-time
Operation const, time spent: 181.0ms, 3.0% of total-time
Operation ival-log, time spent: 175.0ms, 2.0% of total-time
Operation ival-exp, time spent: 87.0ms, 1.0% of total-time
Bogosity

eval16.5s (18.5%)

Compiler

Compiled 907014 to 599732 computations (33.9% saved)

prune7.1s (7.9%)

Counts
21276 → 310
Compiler

Compiled 17107 to 11343 computations (33.7% saved)

simplify6.9s (7.8%)

Algorithm
30×egg-herbie
Rules
7534×times-frac
7142×*-commutative
6640×distribute-lft-in
5899×fma-define
5184×fmm-def
Stop Event
9×saturated
21×node limit
3×fuel
6×done
Counts
9388 → 9545
Compiler

Compiled 923 to 602 computations (34.8% saved)

soundness5.3s (5.9%)

Rules
6623×fma-define
5798×times-frac
5744×fmm-def
5151×distribute-lft-in
4939×log1p-expm1-u
Stop Event
2×saturated
21×node limit
Compiler

Compiled 2656 to 1483 computations (44.2% saved)

preprocess4.8s (5.3%)

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 3346 to 1909 computations (42.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-mult, time spent: 696.0ms, 40.0% of total-time
Operation ival-sub, time spent: 444.0ms, 25.0% of total-time
Operation ival-sqrt, time spent: 196.0ms, 11.0% of total-time
Operation ival-div, time spent: 168.0ms, 10.0% of total-time
Operation ival-add, time spent: 68.0ms, 4.0% of total-time
Operation ival-neg, time spent: 46.0ms, 3.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival->=, time spent: 34.0ms, 2.0% of total-time
Operation ival-log, time spent: 19.0ms, 1.0% of total-time
Operation ival-if, time spent: 15.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

rewrite4.1s (4.6%)

Algorithm
21×batch-egg-rewrite
Rules
12492×log1p-expm1-u
9964×expm1-log1p-u
4475×add-exp-log
4293×pow1
3992×log-prod
Stop Event
21×node limit
Counts
135 → 5509

regimes920.0ms (1%)

Counts
450 → 73
Calls

26 calls:

155.0ms
x
142.0ms
b
132.0ms
a
126.0ms
c
49.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))))
Compiler

Compiled 485 to 337 computations (30.5% saved)

series852.0ms (1%)

Counts
135 → 3879
Calls

867 calls:

TimeVariablePointExpression
14.0ms
a
@-inf
(* b (+ (* 2 (* a (/ c (pow b 2)))) -2))
9.0ms
a
@inf
(* b (+ (* 2 (* a (/ c (pow b 2)))) -2))
8.0ms
a
@0
(sqrt (+ (* b b) (* c (* a -4))))
7.0ms
b
@0
(cbrt (+ b (sqrt (+ (* b b) (* c (* a -4))))))
6.0ms
y
@-inf
(/ (- (+ x 4) (* x z)) y)

analyze800.0ms (0.9%)

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: 435.0ms
Operation ival-mult, time spent: 190.0ms, 44.0% of total-time
Operation ival-sub, time spent: 51.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 50.0ms, 12.0% of total-time
Operation ival-div, time spent: 48.0ms, 11.0% of total-time
Operation ival-add, time spent: 23.0ms, 5.0% of total-time
Operation ival-neg, time spent: 20.0ms, 5.0% of total-time
Operation ival-if, time spent: 18.0ms, 4.0% of total-time
Operation ival->=, time spent: 18.0ms, 4.0% of total-time
Operation const, time spent: 12.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

bsearch676.0ms (0.8%)

Algorithm
35×binary-search
Stop Event
11×predicate-same
24×narrow-enough
Results
490.0ms3276×256valid
59.0ms420×256infinite
16.0ms92×256invalid
Compiler

Compiled 6808 to 4926 computations (27.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 222.0ms
Operation ival-mult, time spent: 57.0ms, 26.0% of total-time
Operation ival-div, time spent: 54.0ms, 24.0% of total-time
Operation ival-sub, time spent: 32.0ms, 14.0% of total-time
Operation ival-add, time spent: 28.0ms, 13.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 12.0ms, 5.0% of total-time
Operation const, time spent: 8.0ms, 4.0% of total-time
Operation ival-neg, time spent: 8.0ms, 4.0% of total-time
Operation ival->=, time spent: 5.0ms, 2.0% of total-time
Operation ival-if, time spent: 4.0ms, 2.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...