Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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.8min)

sample2.9min (49.1%)

Results
44.3s54977×2valid
32.9s116384×1valid
32.0s142662×0precondition
28.6s7139×5exit
6.7s57220×0valid
4.0s2587×3valid
940.0ms3906×0invalid
526.0ms4102×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-pow: 28.6s (22.8% of total)
ival-tan: 12.1s (9.6% of total)
ival-exp: 12.0s (9.5% of total)
ival-mult: 10.6s (8.4% of total)
ival-sub: 8.1s (6.5% of total)
...c/correct-round.rkt:119:19: 7.0s (5.6% of total)
ival-log: 6.3s (5% of total)
backward-pass: 5.3s (4.2% of total)
ival-add: 4.9s (3.9% of total)
ival-sin: 4.9s (3.9% of total)
ival-<=: 4.9s (3.9% of total)
ival-div: 4.8s (3.8% of total)
ival-cos: 4.3s (3.4% of total)
ival-fabs: 3.1s (2.4% of total)
ival-<: 1.8s (1.4% of total)
ival-sqrt: 1.6s (1.3% of total)
ival-neg: 1.2s (0.9% of total)
ival->: 870.0ms (0.7% of total)
ival-and: 833.0ms (0.7% of total)
ival-fmin: 751.0ms (0.6% of total)
ival-cbrt: 679.0ms (0.5% of total)
const: 658.0ms (0.5% of total)
ival-atan: 424.0ms (0.3% of total)
Bogosity

simplify43.9s (12.6%)

Algorithm
245×egg-herbie
Rules
77465×fma-neg
75928×fma-define
47262×distribute-lft-in
43951×distribute-rgt-in
42819×times-frac
Stop Event
72×saturated
172×node limit
1×unsound
Counts
57868 → 59663

localize26.5s (7.6%)

Results
7.4s4442×2valid
6.2s7505×1valid
4.1s13484×0valid
1.6s432×3valid
1.1s2103×0invalid
849.0ms194×5exit
Compiler

Compiled 16928 to 2611 computations (84.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.5s
ival-pow: 2.0s (14.5% of total)
ival-mult: 1.7s (12.5% of total)
ival-div: 1.5s (11% of total)
backward-pass: 1.4s (10.2% of total)
ival-tan: 1.4s (10.1% of total)
ival-add: 848.0ms (6.3% of total)
ival-sin: 722.0ms (5.4% of total)
...c/correct-round.rkt:119:19: 584.0ms (4.3% of total)
ival-sub: 562.0ms (4.2% of total)
ival-log: 461.0ms (3.4% of total)
ival-exp: 392.0ms (2.9% of total)
ival-cos: 349.0ms (2.6% of total)
ival-sqrt: 319.0ms (2.4% of total)
ival-log1p: 247.0ms (1.8% of total)
ival-fma: 232.0ms (1.7% of total)
ival-cosh: 190.0ms (1.4% of total)
ival-neg: 146.0ms (1.1% of total)
ival-hypot: 144.0ms (1.1% of total)
ival-expm1: 137.0ms (1% of total)
ival-cbrt: 135.0ms (1% of total)
const: 109.0ms (0.8% of total)
ival-atan: 37.0ms (0.3% of total)
ival-atan2: 19.0ms (0.1% of total)

soundness25.9s (7.4%)

Rules
31617×log1p-expm1-u
30851×fma-define
26348×fma-neg
25013×expm1-log1p-u
19916×associate-*r*
Stop Event
8×saturated
108×node limit
24×fuel
4×done
Compiler

Compiled 19016 to 6076 computations (68% saved)

rewrite24.1s (6.9%)

Algorithm
107×batch-egg-rewrite
Rules
65482×log1p-expm1-u
51209×expm1-log1p-u
21548×pow1
21478×add-exp-log
21441×add-cube-cbrt
Stop Event
107×node limit
Counts
1268 → 39265

prune16.4s (4.7%)

Counts
82062 → 2011
Compiler

Compiled 68974 to 37190 computations (46.1% saved)

eval14.5s (4.2%)

Compiler

Compiled 1865375 to 308853 computations (83.4% saved)

explain6.5s (1.9%)

Results
2.9s3480×2valid
1.8s7246×1valid
369.0ms3448×0valid
143.0ms162×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-tan: 777.0ms (21.1% of total)
ival-exp: 739.0ms (20% of total)
backward-pass: 315.0ms (8.5% of total)
ival-log: 290.0ms (7.9% of total)
ival-sub: 271.0ms (7.3% of total)
ival-mult: 234.0ms (6.3% of total)
ival-cos: 204.0ms (5.5% of total)
ival-div: 192.0ms (5.2% of total)
ival-add: 168.0ms (4.6% of total)
ival-sin: 152.0ms (4.1% of total)
ival-pow: 127.0ms (3.4% of total)
ival-sqrt: 122.0ms (3.3% of total)
const: 32.0ms (0.9% of total)
ival-neg: 26.0ms (0.7% of total)
ival-atan: 22.0ms (0.6% of total)
ival-cbrt: 19.0ms (0.5% of total)

series5.6s (1.6%)

Counts
1268 → 18603
Calls

4968 calls:

TimeVariablePointExpression
85.0ms
c
@0
(cbrt (* c (* 4 a)))
76.0ms
b
@0
(* -1/2 (+ b (sqrt (+ (* a (* c -4)) (pow b 2)))))
67.0ms
a
@0
(sqrt (+ (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))) (* b_2 b_2)))
62.0ms
x
@inf
(+ 1/2 (* x 1/12))
59.0ms
x
@inf
(+ 1/2 (* x (* x 1/24)))

preprocess5.4s (1.5%)

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 8272 to 3504 computations (57.6% saved)

regimes3.5s (1%)

Counts
3432 → 291
Calls

43 calls:

1.1s
x
430.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
295.0ms
b
197.0ms
eps
178.0ms
c
Compiler

Compiled 1355 to 906 computations (33.1% saved)

analyze3.1s (0.9%)

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: 1.7s
ival-sub: 309.0ms (17.7% of total)
ival-mult: 210.0ms (12.1% of total)
ival-pow: 208.0ms (11.9% of total)
...c/correct-round.rkt:119:19: 164.0ms (9.4% of total)
ival-log: 118.0ms (6.8% of total)
ival-div: 102.0ms (5.9% of total)
ival-fabs: 100.0ms (5.7% of total)
ival-<=: 88.0ms (5.1% of total)
ival-sqrt: 72.0ms (4.1% of total)
ival-sin: 70.0ms (4% of total)
ival-add: 66.0ms (3.8% of total)
ival-exp: 64.0ms (3.7% of total)
ival-tan: 36.0ms (2.1% of total)
ival-neg: 34.0ms (2% of total)
ival-cos: 27.0ms (1.6% of total)
const: 21.0ms (1.2% of total)
ival->: 14.0ms (0.8% of total)
ival-and: 13.0ms (0.7% of total)
ival-<: 11.0ms (0.6% of total)
backward-pass: 9.0ms (0.5% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.1s (0.6%)

Algorithm
73×binary-search
30×left-value
Stop Event
2×predicate-same
71×narrow-enough
Results
779.0ms6829×0valid
326.0ms575×2valid
298.0ms1716×1valid
151.0ms1670×0invalid
4.0ms29×0unsamplable
Compiler

Compiled 13768 to 10178 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 357.0ms (31% of total)
ival-sub: 206.0ms (17.9% of total)
ival-div: 97.0ms (8.4% of total)
ival-pow: 93.0ms (8.1% of total)
backward-pass: 86.0ms (7.5% of total)
ival-exp: 84.0ms (7.3% of total)
ival-sqrt: 73.0ms (6.3% of total)
ival-add: 55.0ms (4.8% of total)
ival-neg: 47.0ms (4.1% of total)
ival-cbrt: 27.0ms (2.3% of total)
const: 18.0ms (1.6% of total)
ival-cos: 9.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...