Herbie run

Date:Friday, May 17th, 2024
Commit:bca6ec9c on jackson-platforms-qop-test-a
Hostname:nightly with Racket 8.11.1
Seed:2024138
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)

sample13.0s (17.4%)

Results
7.0s70171×0valid
2.1s4125×2valid
363.0ms1920×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 2.3s (33.4% of total)
ival-sub: 1.4s (19.5% of total)
ival-div: 1.3s (19.3% of total)
ival-sqrt: 577.0ms (8.3% of total)
ival-neg: 282.0ms (4.1% of total)
ival-add: 260.0ms (3.7% of total)
backward-pass: 143.0ms (2.1% of total)
ival-if: 140.0ms (2% of total)
const: 119.0ms (1.7% of total)
ival->=: 116.0ms (1.7% of total)
ival-fabs: 113.0ms (1.6% of total)
ival-log: 107.0ms (1.5% of total)
ival-exp: 71.0ms (1% of total)
Bogosity

localize12.7s (17%)

Algorithm
31×egg-herbie
Rules
14664×fmm-def
12691×associate-*r*
9054×fma-define
6314×div-sub
4921×sub-neg
Stop Event
15×saturated
16×node limit
Results
5.7s1119×5exit
1.6s6346×0valid
322.0ms422×0invalid
80.0ms49×1valid
Compiler

Compiled 5566 to 701 computations (87.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.3s
ival-pow: 846.0ms (19.5% of total)
ival-mult: 771.0ms (17.7% of total)
backward-pass: 678.0ms (15.6% of total)
ival-div: 622.0ms (14.3% of total)
<compiled-spec>: 278.0ms (6.4% of total)
ival-sqrt: 224.0ms (5.2% of total)
ival-add: 220.0ms (5.1% of total)
ival-sub: 195.0ms (4.5% of total)
ival-if: 153.0ms (3.5% of total)
ival-neg: 148.0ms (3.4% of total)
ival-cbrt: 101.0ms (2.3% of total)
const: 37.0ms (0.9% of total)
ival-log: 25.0ms (0.6% of total)
ival-exp: 17.0ms (0.4% of total)
ival->=: 14.0ms (0.3% of total)
ival-fabs: 14.0ms (0.3% of total)
ival-e: 4.0ms (0.1% of total)

simplify12.4s (16.6%)

Algorithm
39×egg-herbie
Rules
12817×fma-define
9491×times-frac
8691×fmm-def
7927×*-commutative
7273×distribute-lft-in
Stop Event
9×saturated
29×node limit
1×unsound
Counts
15456 → 13703

soundness8.8s (11.7%)

Rules
11970×fma-define
8785×fmm-def
8518×times-frac
6049×*-commutative
4665×log1p-expm1-u
Stop Event
3×saturated
4×fuel
30×node limit
5×done
Compiler

Compiled 7561 to 2228 computations (70.5% saved)

rewrite7.0s (9.4%)

Algorithm
30×batch-egg-rewrite
Rules
15412×log1p-expm1-u
13971×expm1-log1p-u
8152×pow1
7615×add-exp-log
6555×add-log-exp
Stop Event
30×node limit
Counts
284 → 9377

eval5.3s (7.1%)

Compiler

Compiled 676850 to 84283 computations (87.5% saved)

prune4.8s (6.5%)

Counts
21728 → 384
Compiler

Compiled 18305 to 9859 computations (46.1% saved)

series2.3s (3.1%)

Counts
284 → 6079
Calls

1569 calls:

TimeVariablePointExpression
383.0ms
x
@inf
(- x (* (+ 1/2 (/ (+ 1/8 (/ 1/16 x)) x)) 1))
128.0ms
b
@inf
(if (>= b 0) (/ 1 (/ a (* (+ b (sqrt (+ (* c (* a -4)) (pow b 2)))) -1/2))) (* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b))))
119.0ms
x
@-inf
(log x)
86.0ms
x
@-inf
(* z (+ (/ x y) (/ (/ (- -4 x) z) y)))
65.0ms
b
@0
(/ c (pow b 2))

bsearch2.2s (3%)

Algorithm
88×binary-search
2×left-value
Stop Event
9×predicate-same
79×narrow-enough
Results
1.5s11136×0valid
107.0ms883×0invalid
17.0ms80×2valid
Compiler

Compiled 22286 to 15390 computations (30.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-mult: 229.0ms (22.2% of total)
ival-div: 207.0ms (20.1% of total)
ival-sub: 189.0ms (18.3% of total)
ival-add: 148.0ms (14.4% of total)
ival-sqrt: 115.0ms (11.2% of total)
ival-fabs: 40.0ms (3.9% of total)
ival-neg: 29.0ms (2.8% of total)
ival->=: 25.0ms (2.4% of total)
ival-if: 24.0ms (2.3% of total)
const: 19.0ms (1.8% of total)
backward-pass: 6.0ms (0.6% of total)

explain2.2s (2.9%)

Results
1.3s766×2valid
389.0ms3642×0valid
83.0ms194×1valid
5.0ms6×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-div: 1.0s (74.5% of total)
ival-mult: 99.0ms (7.4% of total)
ival-sub: 60.0ms (4.5% of total)
backward-pass: 55.0ms (4.1% of total)
ival-sqrt: 39.0ms (2.9% of total)
ival-neg: 21.0ms (1.6% of total)
ival-add: 19.0ms (1.4% of total)
ival-if: 18.0ms (1.3% of total)
const: 9.0ms (0.7% of total)
ival-log: 7.0ms (0.5% of total)
ival->=: 6.0ms (0.4% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess1.9s (2.5%)

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 4580 to 1288 computations (71.9% saved)

regimes1.2s (1.6%)

Counts
1131 → 157
Calls

26 calls:

191.0ms
x
178.0ms
c
145.0ms
z
141.0ms
b
120.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 663 to 445 computations (32.9% saved)

analyze863.0ms (1.2%)

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 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 498.0ms
ival-mult: 255.0ms (51.2% of total)
ival-sqrt: 67.0ms (13.5% of total)
ival-sub: 54.0ms (10.9% of total)
ival-div: 34.0ms (6.8% of total)
ival->=: 25.0ms (5% of total)
ival-add: 18.0ms (3.6% of total)
ival-if: 17.0ms (3.4% of total)
ival-neg: 16.0ms (3.2% of total)
const: 7.0ms (1.4% of total)
ival-fabs: 4.0ms (0.8% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...