Herbie run

Date:Monday, October 14th, 2024
Commit:2.0 on release
Hostname:nightly with Racket 8.10
Seed:2024288
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: 6.2min)

sample2.5min (40%)

Results
39.2s54970×2valid
28.7s116276×1valid
27.1s142208×0precondition
23.3s7071×5exit
6.3s57266×0valid
3.1s2656×3valid
418.0ms4164×0invalid
413.0ms4239×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pow: 21.9s (21% of total)
ival-exp: 11.3s (10.9% of total)
ival-tan: 9.9s (9.5% of total)
ival-mult: 7.3s (7% of total)
ival-sub: 6.5s (6.3% of total)
backward-pass: 6.3s (6.1% of total)
...c/correct-round.rkt:119:19: 6.2s (6% of total)
ival-log: 6.0s (5.8% of total)
ival-add: 4.3s (4.2% of total)
ival-div: 4.0s (3.9% of total)
ival-cos: 4.0s (3.8% of total)
ival-sin: 3.4s (3.2% of total)
ival-fabs: 3.0s (2.9% of total)
ival-<=: 2.4s (2.3% of total)
ival-<: 1.7s (1.6% of total)
ival-sqrt: 1.5s (1.5% of total)
ival-and: 1.1s (1% of total)
const: 719.0ms (0.7% of total)
ival->: 598.0ms (0.6% of total)
ival-fmin: 593.0ms (0.6% of total)
ival-neg: 584.0ms (0.6% of total)
ival-atan: 514.0ms (0.5% of total)
ival-cbrt: 325.0ms (0.3% of total)
Bogosity

soundness49.3s (13.3%)

Rules
478324×*-lowering-*.f32
478324×*-lowering-*.f64
270466×+-lowering-+.f32
270466×+-lowering-+.f64
229918×/-lowering-/.f32
Stop Event
11×saturated
142×iter limit
130×node limit
26×fuel
2×done
Compiler

Compiled 10827 to 6208 computations (42.7% saved)

simplify45.3s (12.2%)

Algorithm
246×egg-herbie
Rules
586026×*-lowering-*.f32
586026×*-lowering-*.f64
360870×+-lowering-+.f32
360870×+-lowering-+.f64
231460×fma-lowering-fma.f64
Stop Event
218×iter limit
75×saturated
171×node limit
Counts
26940 → 26940

rewrite40.4s (10.9%)

Algorithm
109×batch-egg-rewrite
Rules
367550×*-lowering-*.f32
367550×*-lowering-*.f64
287274×/-lowering-/.f32
287274×/-lowering-/.f64
160534×+-lowering-+.f32
Stop Event
112×iter limit
109×node limit
Counts
1587 → 61947

localize33.1s (8.9%)

Results
8.0s2864×5exit
7.2s14674×0valid
5.3s3418×2valid
5.0s5823×1valid
696.0ms328×3valid
346.0ms765×0invalid
64.0ms32×0unsamplable
Compiler

Compiled 25704 to 2940 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
ival-mult: 2.5s (18.3% of total)
backward-pass: 2.3s (16.3% of total)
ival-div: 1.8s (12.7% of total)
ival-log: 1.4s (10.1% of total)
ival-add: 999.0ms (7.2% of total)
ival-tan: 765.0ms (5.5% of total)
...c/correct-round.rkt:119:19: 765.0ms (5.5% of total)
ival-pow: 679.0ms (4.9% of total)
ival-sub: 579.0ms (4.2% of total)
compiled-spec: 535.0ms (3.9% of total)
ival-exp: 447.0ms (3.2% of total)
ival-cos: 306.0ms (2.2% of total)
ival-sin: 242.0ms (1.7% of total)
ival-sqrt: 215.0ms (1.6% of total)
const: 122.0ms (0.9% of total)
ival-cbrt: 114.0ms (0.8% of total)
ival-cosh: 49.0ms (0.4% of total)
ival-neg: 34.0ms (0.2% of total)
ival-atan2: 25.0ms (0.2% of total)
ival-atan: 18.0ms (0.1% of total)

eval15.9s (4.3%)

Compiler

Compiled 3441881 to 263849 computations (92.3% saved)

prune14.3s (3.8%)

Counts
106455 → 2292
Compiler

Compiled 98117 to 46876 computations (52.2% saved)

explain7.3s (2%)

Results
2.9s3404×2valid
2.3s7200×1valid
502.0ms3574×0valid
169.0ms158×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 675.0ms (19% of total)
ival-exp: 547.0ms (15.4% of total)
backward-pass: 410.0ms (11.5% of total)
ival-sub: 287.0ms (8.1% of total)
ival-log: 287.0ms (8.1% of total)
ival-cos: 273.0ms (7.7% of total)
ival-mult: 230.0ms (6.5% of total)
ival-div: 186.0ms (5.2% of total)
ival-sin: 177.0ms (5% of total)
ival-pow: 163.0ms (4.6% of total)
ival-add: 148.0ms (4.2% of total)
ival-sqrt: 72.0ms (2% of total)
const: 35.0ms (1% of total)
ival-neg: 26.0ms (0.7% of total)
ival-atan: 25.0ms (0.7% of total)
ival-cbrt: 19.0ms (0.5% of total)

preprocess4.7s (1.3%)

Algorithm
56×egg-herbie
Rules
30322×fnmadd-define
27638×sum3-define
24790×fnmsub-define
23844×fmsub-define
21774×fmm-def
Stop Event
44×saturated
28×iter limit
12×node limit
Compiler

Compiled 9632 to 3580 computations (62.8% saved)

regimes3.5s (0.9%)

Counts
4894 → 322
Calls

43 calls:

832.0ms
x
303.0ms
eps
300.0ms
b
197.0ms
b_2
171.0ms
N
Compiler

Compiled 1333 to 886 computations (33.5% saved)

analyze3.3s (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-mult: 214.0ms (12.9% of total)
ival-sub: 210.0ms (12.7% of total)
...c/correct-round.rkt:119:19: 198.0ms (11.9% of total)
ival-<=: 134.0ms (8.1% of total)
ival-div: 113.0ms (6.8% of total)
ival-log: 112.0ms (6.8% of total)
ival-add: 91.0ms (5.5% of total)
ival-pow: 90.0ms (5.4% of total)
ival-exp: 83.0ms (5% of total)
ival-fabs: 80.0ms (4.8% of total)
ival-sqrt: 64.0ms (3.9% of total)
ival-sin: 63.0ms (3.8% of total)
ival-tan: 51.0ms (3.1% of total)
ival-neg: 48.0ms (2.9% of total)
ival-cos: 32.0ms (1.9% of total)
const: 23.0ms (1.4% of total)
ival-and: 17.0ms (1% of total)
backward-pass: 11.0ms (0.7% of total)
ival->: 10.0ms (0.6% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-<: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

series3.2s (0.8%)

Counts
1587 → 26940
Calls

5379 calls:

TimeVariablePointExpression
103.0ms
x
@0
(pow (/ 1 (* x x)) 1/4)
64.0ms
n
@0
(* 1/2 (/ (* (log (* (+ 1 x) x)) (log (/ (+ 1 x) x))) n))
43.0ms
n
@0
(* n (log n))
39.0ms
n
@0
(/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n)
34.0ms
x
@inf
(/ (- (* (* 1/2 x) (* 1/2 x)) (* (* x (* x (* x (+ 1/24 (* x (* x (+ 1/240 (* (* x x) 17/40320)))))))) (* x (* x (* x (+ 1/24 (* x (* x (+ 1/240 (* (* x x) 17/40320)))))))))) (- (* 1/2 x) (* x (* x (* x (+ 1/24 (* x (* x (+ 1/240 (* (* x x) 17/40320))))))))))

bsearch2.7s (0.7%)

Algorithm
88×binary-search
26×left-value
Stop Event
3×predicate-same
85×narrow-enough
Results
1.0s9949×0valid
378.0ms872×2valid
252.0ms923×1valid
154.0ms1649×0invalid
2.0ms18×0unsamplable
Compiler

Compiled 19185 to 13205 computations (31.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 312.0ms (28.5% of total)
ival-sub: 149.0ms (13.6% of total)
ival-div: 139.0ms (12.7% of total)
ival-exp: 113.0ms (10.3% of total)
ival-sqrt: 96.0ms (8.8% of total)
ival-neg: 95.0ms (8.7% of total)
backward-pass: 57.0ms (5.2% of total)
ival-add: 49.0ms (4.5% of total)
ival-pow: 41.0ms (3.7% of total)
const: 22.0ms (2% of total)
ival-cos: 18.0ms (1.6% of total)
ival-cbrt: 3.0ms (0.3% of total)
ival-log: 1.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...