Herbie run

Date:Thursday, May 23rd, 2024
Commit:f940d267 on brett-blog-post
Hostname:nightly with Racket 8.11.1
Seed:2024144
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: 5.6min)

sample2.7min (48.1%)

Results
41.4s55270×2valid
30.6s116255×1valid
30.2s140610×0precondition
26.1s7179×5exit
6.0s57045×0valid
4.6s2598×3valid
820.0ms4238×0unsamplable
357.0ms4006×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 24.0s (20.5% of total)
ival-tan: 12.9s (11% of total)
ival-exp: 11.4s (9.8% of total)
ival-mult: 9.4s (8% of total)
ival-sub: 7.5s (6.4% of total)
...c/correct-round.rkt:121:19: 7.4s (6.4% of total)
backward-pass: 6.0s (5.2% of total)
ival-log: 5.7s (4.9% of total)
ival-div: 5.4s (4.6% of total)
ival-add: 5.0s (4.3% of total)
ival-cos: 4.2s (3.6% of total)
ival-<=: 3.9s (3.4% of total)
ival-sin: 3.8s (3.2% of total)
ival-fabs: 3.2s (2.8% of total)
ival-sqrt: 1.6s (1.4% of total)
ival-<: 1.6s (1.4% of total)
ival->: 734.0ms (0.6% of total)
ival-and: 731.0ms (0.6% of total)
const: 615.0ms (0.5% of total)
ival-fmin: 543.0ms (0.5% of total)
ival-neg: 527.0ms (0.5% of total)
ival-atan: 357.0ms (0.3% of total)
ival-cbrt: 291.0ms (0.2% of total)
Bogosity

simplify44.8s (13.3%)

Algorithm
245×egg-herbie
Rules
84952×fma-define
78498×fma-neg
50147×distribute-lft-in
45157×times-frac
44243×distribute-rgt-in
Stop Event
74×saturated
169×node limit
2×unsound
Counts
57318 → 57916

soundness25.0s (7.4%)

Rules
33360×log1p-expm1-u
30040×fma-define
27004×expm1-log1p-u
23673×fma-neg
17212×associate-*r*
Stop Event
8×saturated
109×node limit
23×fuel
5×done
Compiler

Compiled 18456 to 5734 computations (68.9% saved)

localize23.9s (7.1%)

Results
7.1s8126×1valid
6.0s4303×2valid
4.8s13533×0valid
608.0ms1556×0invalid
439.0ms296×3valid
104.0ms48×5exit
19.0ms42×0unsamplable
Compiler

Compiled 17408 to 2503 computations (85.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-mult: 2.2s (18.8% of total)
backward-pass: 1.4s (12.1% of total)
ival-pow: 1.4s (11.7% of total)
ival-div: 1.3s (11.4% of total)
ival-add: 884.0ms (7.5% of total)
ival-sub: 799.0ms (6.8% of total)
ival-tan: 599.0ms (5.1% of total)
ival-log: 585.0ms (5% of total)
...c/correct-round.rkt:121:19: 471.0ms (4% of total)
ival-log1p: 337.0ms (2.9% of total)
ival-cos: 305.0ms (2.6% of total)
ival-fma: 297.0ms (2.5% of total)
ival-sqrt: 234.0ms (2% of total)
ival-exp: 209.0ms (1.8% of total)
ival-sin: 165.0ms (1.4% of total)
ival-neg: 117.0ms (1% of total)
ival-cbrt: 102.0ms (0.9% of total)
const: 101.0ms (0.9% of total)
ival-cosh: 68.0ms (0.6% of total)
ival-expm1: 62.0ms (0.5% of total)
ival-hypot: 53.0ms (0.4% of total)
ival-atan: 32.0ms (0.3% of total)
ival-atan2: 20.0ms (0.2% of total)

rewrite23.3s (6.9%)

Algorithm
108×batch-egg-rewrite
Rules
67162×log1p-expm1-u
51850×expm1-log1p-u
21861×pow1
21102×add-exp-log
21077×add-cube-cbrt
Stop Event
108×node limit
Counts
1235 → 38895

prune16.4s (4.9%)

Counts
79882 → 1952
Compiler

Compiled 60816 to 34854 computations (42.7% saved)

eval15.1s (4.5%)

Compiler

Compiled 1850630 to 296746 computations (84% saved)

explain6.4s (1.9%)

Results
2.4s3446×2valid
1.8s7312×1valid
338.0ms3416×0valid
268.0ms162×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-tan: 648.0ms (20.8% of total)
ival-exp: 425.0ms (13.6% of total)
backward-pass: 296.0ms (9.5% of total)
ival-log: 292.0ms (9.4% of total)
ival-sin: 276.0ms (8.8% of total)
ival-sub: 225.0ms (7.2% of total)
ival-cos: 207.0ms (6.6% of total)
ival-div: 170.0ms (5.4% of total)
ival-add: 158.0ms (5.1% of total)
ival-mult: 149.0ms (4.8% of total)
ival-pow: 102.0ms (3.3% of total)
ival-sqrt: 76.0ms (2.4% of total)
const: 29.0ms (0.9% of total)
ival-neg: 26.0ms (0.8% of total)
ival-atan: 23.0ms (0.7% of total)
ival-cbrt: 18.0ms (0.6% of total)

series5.1s (1.5%)

Counts
1235 → 18423
Calls

4947 calls:

TimeVariablePointExpression
109.0ms
x
@-inf
(* x (+ a (* 1/2 (* (pow a 2) x))))
79.0ms
x
@inf
(log (+ 1 (* 2 (cosh x))))
76.0ms
x
@inf
(/ (* x (- (* x (- (* -1/3 x) 1/2)) 1)) (log (+ 1 x)))
65.0ms
c
@0
(* -2 (/ (* a c) b))
62.0ms
x
@inf
(+ 1 (- (* eps (* -1 (- (* eps (- (* -4/3 (pow x 2)) 1/3)) (/ (* (sin x) (- 1 (neg (/ (pow (sin x) 2) (pow (cos x) 2))))) (cos x))))) (neg (/ (pow (sin x) 2) (pow (cos x) 2)))))

preprocess4.7s (1.4%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8982 to 3548 computations (60.5% saved)

regimes3.4s (1%)

Counts
3670 → 283
Calls

43 calls:

1.0s
x
375.0ms
b_2
252.0ms
eps
161.0ms
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
158.0ms
b
Compiler

Compiled 1470 to 986 computations (32.9% saved)

analyze3.4s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-sub: 275.0ms (13.8% of total)
ival-div: 273.0ms (13.7% of total)
ival-mult: 247.0ms (12.4% of total)
ival-pow: 239.0ms (12% of total)
ival-<=: 197.0ms (9.9% of total)
...c/correct-round.rkt:121:19: 165.0ms (8.3% of total)
ival-log: 110.0ms (5.5% of total)
ival-exp: 70.0ms (3.5% of total)
ival-add: 70.0ms (3.5% of total)
ival-sin: 69.0ms (3.5% of total)
ival-fabs: 54.0ms (2.7% of total)
ival-sqrt: 52.0ms (2.6% of total)
ival-tan: 36.0ms (1.8% of total)
ival-neg: 34.0ms (1.7% of total)
ival-cos: 22.0ms (1.1% of total)
const: 20.0ms (1% of total)
ival->: 16.0ms (0.8% of total)
ival-<: 13.0ms (0.7% of total)
ival-and: 12.0ms (0.6% of total)
ival-fmin: 8.0ms (0.4% of total)
backward-pass: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.6s (0.8%)

Algorithm
77×binary-search
18×left-value
Stop Event
1×predicate-same
76×narrow-enough
Results
820.0ms8123×0valid
470.0ms2313×0invalid
363.0ms1867×1valid
147.0ms426×2valid
7.0ms55×0unsamplable
Compiler

Compiled 17194 to 12101 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 490.0ms (38.7% of total)
ival-pow: 225.0ms (17.8% of total)
ival-sub: 132.0ms (10.4% of total)
ival-div: 113.0ms (8.9% of total)
ival-sqrt: 75.0ms (5.9% of total)
ival-add: 62.0ms (4.9% of total)
ival-neg: 52.0ms (4.1% of total)
backward-pass: 40.0ms (3.2% of total)
ival-cos: 23.0ms (1.8% of total)
const: 18.0ms (1.4% of total)
ival-exp: 16.0ms (1.3% of total)
ival-cbrt: 10.0ms (0.8% of total)
ival-sin: 10.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...