Herbie run

Date:Monday, June 3rd, 2024
Commit:e0929cca on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024155
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 37.8min)

soundness7.8min (20.6%)

Rules
3394212×*-lowering-*.f32
3394212×*-lowering-*.f64
1754538×+-lowering-+.f32
1754538×+-lowering-+.f64
1743534×/-lowering-/.f32
Stop Event
86×saturated
1057×iter limit
159×fuel
954×node limit
5×unsound
110×done
Compiler

Compiled 169547 to 94506 computations (44.3% saved)

simplify6.9min (18.3%)

Algorithm
2165×egg-herbie
Rules
4346918×*-lowering-*.f32
4346918×*-lowering-*.f64
2298164×+-lowering-+.f32
2298164×+-lowering-+.f64
1815446×fma-lowering-fma.f64
Stop Event
1872×iter limit
798×saturated
1391×node limit
Counts
280008 → 280008

rewrite5.9min (15.6%)

Algorithm
948×batch-egg-rewrite
Rules
3192192×*-lowering-*.f32
3192192×*-lowering-*.f64
2549772×/-lowering-/.f32
2549772×/-lowering-/.f64
1334544×+-lowering-+.f32
Stop Event
44×saturated
976×iter limit
904×node limit
12×unsound
Counts
10404 → 511781

sample5.2min (13.7%)

Results
3.2min2145509×0valid
20.4s66220×1valid
9.1s64046×0invalid
4.8s1591×5exit
2.5s8016×2valid
508.0ms1116×3valid
381.0ms1693×1invalid
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-mult: 45.7s (32.8% of total)
ival-add: 19.0s (13.7% of total)
ival-sub: 19.0s (13.6% of total)
ival-div: 17.9s (12.8% of total)
ival-log: 11.3s (8.1% of total)
...c/correct-round.rkt:119:19: 6.0s (4.3% of total)
ival-sqrt: 5.4s (3.9% of total)
ival-sin: 3.4s (2.5% of total)
ival-cos: 3.0s (2.1% of total)
const: 2.9s (2.1% of total)
backward-pass: 2.5s (1.8% of total)
ival-exp: 1.8s (1.3% of total)
ival-fabs: 367.0ms (0.3% of total)
ival-tan: 239.0ms (0.2% of total)
ival-cosh: 204.0ms (0.1% of total)
ival-acos: 187.0ms (0.1% of total)
ival-sinh: 182.0ms (0.1% of total)
ival-tanh: 143.0ms (0.1% of total)
Bogosity

eval2.4min (6.4%)

Compiler

Compiled 24758543 to 1823650 computations (92.6% saved)

prune2.2min (5.9%)

Counts
894132 → 15894
Compiler

Compiled 618014 to 328058 computations (46.9% saved)

localize2.1min (5.6%)

Results
1.1min226141×0valid
14.0s8714×1valid
4.8s2357×5exit
2.2s1422×2valid
1.3s2908×0invalid
411.0ms254×3valid
259.0ms715×0unsamplable
203.0ms142×1invalid
64.0ms23×4valid
17.0ms10×1unsamplable
8.0ms2×5valid
Compiler

Compiled 131378 to 19208 computations (85.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.7s
ival-mult: 15.2s (33.9% of total)
ival-div: 8.5s (19% of total)
ival-add: 5.1s (11.3% of total)
ival-sub: 3.1s (7% of total)
...c/correct-round.rkt:119:19: 3.0s (6.8% of total)
backward-pass: 2.3s (5.2% of total)
ival-sqrt: 1.7s (3.8% of total)
ival-log: 1.3s (2.9% of total)
ival-cos: 927.0ms (2.1% of total)
ival-pow: 919.0ms (2.1% of total)
compiled-spec: 857.0ms (1.9% of total)
ival-sin: 688.0ms (1.5% of total)
const: 543.0ms (1.2% of total)
ival-exp: 292.0ms (0.7% of total)
ival-neg: 143.0ms (0.3% of total)
ival-tan: 44.0ms (0.1% of total)
ival-fabs: 22.0ms (0% of total)
ival-cosh: 19.0ms (0% of total)
ival-sinh: 14.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-asin: 9.0ms (0% of total)
ival-acos: 8.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

regimes1.5min (3.9%)

Counts
50929 → 5273
Calls

513 calls:

15.1s
y
14.6s
x
14.2s
z
5.9s
t
3.8s
a
Compiler

Compiled 46537 to 36695 computations (21.1% saved)

bsearch1.2min (3.1%)

Algorithm
2693×binary-search
359×left-value
Stop Event
50×predicate-same
2643×narrow-enough
Results
45.4s327137×0valid
3.0s8399×1valid
694.0ms7685×0invalid
209.0ms607×2valid
42.0ms128×1invalid
28.0ms65×3valid
Compiler

Compiled 621306 to 456074 computations (26.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.2s
ival-mult: 11.7s (37.5% of total)
ival-sub: 5.5s (17.6% of total)
ival-add: 3.8s (12.3% of total)
ival-div: 3.1s (9.9% of total)
ival-log: 2.0s (6.5% of total)
...c/correct-round.rkt:119:19: 1.8s (5.8% of total)
ival-sin: 809.0ms (2.6% of total)
ival-sqrt: 601.0ms (1.9% of total)
ival-cos: 488.0ms (1.6% of total)
const: 446.0ms (1.4% of total)
ival-exp: 361.0ms (1.2% of total)
backward-pass: 334.0ms (1.1% of total)
ival-sinh: 131.0ms (0.4% of total)
ival-cosh: 67.0ms (0.2% of total)
ival-tanh: 8.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)

preprocess1.1min (3%)

Algorithm
538×egg-herbie
Rules
454154×sum3-define
442996×fnmadd-define
350802×fmsub-define
350726×fnmsub-define
338756×fma-define
Stop Event
286×saturated
269×iter limit
252×node limit
Compiler

Compiled 159948 to 54272 computations (66.1% saved)

series33.4s (1.5%)

Counts
10404 → 280008
Calls

51054 calls:

TimeVariablePointExpression
259.0ms
z
@inf
(/ (* (* 60 y) (* 60 y)) (* (- t z) (- t z)))
133.0ms
y
@-inf
(* (log (/ b (+ (* (cos (- (/ t (/ 3 z)) y)) (* (sqrt x) (* 2 b))) (* a -1/3)))) -1)
127.0ms
y
@-inf
(log (/ y x))
127.0ms
y
@0
(- (+ 1 (log y)) (log (+ -1 x)))
119.0ms
x
@0
(/ (- (pow (/ 1 (+ 1 (log (+ 1 (/ (- x y) (+ y -1)))))) 3) (pow (/ (pow (log (+ 1 (/ (- x y) (+ y -1)))) 2) (+ 1 (log (+ 1 (/ (- x y) (+ y -1)))))) 3)) (+ (* (/ 1 (+ 1 (log (+ 1 (/ (- x y) (+ y -1)))))) (/ 1 (+ 1 (log (+ 1 (/ (- x y) (+ y -1))))))) (+ (* (/ (pow (log (+ 1 (/ (- x y) (+ y -1)))) 2) (+ 1 (log (+ 1 (/ (- x y) (+ y -1)))))) (/ (pow (log (+ 1 (/ (- x y) (+ y -1)))) 2) (+ 1 (log (+ 1 (/ (- x y) (+ y -1))))))) (* (/ 1 (+ 1 (log (+ 1 (/ (- x y) (+ y -1)))))) (/ (pow (log (+ 1 (/ (- x y) (+ y -1)))) 2) (+ 1 (log (+ 1 (/ (- x y) (+ y -1))))))))))

explain31.9s (1.4%)

Results
16.0s130644×0valid
2.7s5962×1valid
547.0ms972×2valid
111.0ms148×3valid
1.0ms2×4valid
Compiler

Compiled 26361 to 7864 computations (70.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-mult: 3.0s (34.8% of total)
ival-div: 1.1s (13% of total)
ival-sub: 1.1s (12.5% of total)
ival-add: 1.1s (12.5% of total)
ival-log: 745.0ms (8.6% of total)
...c/correct-round.rkt:119:19: 356.0ms (4.1% of total)
backward-pass: 279.0ms (3.2% of total)
ival-sin: 223.0ms (2.6% of total)
ival-sqrt: 199.0ms (2.3% of total)
const: 197.0ms (2.3% of total)
ival-cos: 180.0ms (2.1% of total)
ival-exp: 118.0ms (1.4% of total)
ival-cosh: 22.0ms (0.3% of total)
ival-tan: 13.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

analyze19.3s (0.9%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2711 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-mult: 2.8s (35.9% of total)
ival-sub: 1.2s (15.7% of total)
ival-div: 1.2s (14.8% of total)
ival-add: 1.1s (14.3% of total)
...c/correct-round.rkt:119:19: 533.0ms (6.7% of total)
ival-sqrt: 259.0ms (3.3% of total)
ival-log: 228.0ms (2.9% of total)
const: 144.0ms (1.8% of total)
ival-exp: 137.0ms (1.7% of total)
ival-sin: 80.0ms (1% of total)
backward-pass: 47.0ms (0.6% of total)
ival-cos: 27.0ms (0.3% of total)
ival-tan: 23.0ms (0.3% of total)
ival-acos: 21.0ms (0.3% of total)
ival-cosh: 14.0ms (0.2% of total)
ival-tanh: 9.0ms (0.1% of total)
ival-sinh: 4.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)

end2.0ms (0%)

Profiling

Loading profile data...