Herbie run

Date:Friday, May 17th, 2024
Commit:468a8500 on if-cost
Hostname:nightly with Racket 8.11.1
Seed:2024138
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: 38.0min)

soundness7.7min (20.4%)

Rules
3374686×*-lowering-*.f32
3374686×*-lowering-*.f64
1756458×+-lowering-+.f32
1756458×+-lowering-+.f64
1745370×/-lowering-/.f32
Stop Event
83×saturated
1055×iter limit
158×fuel
953×node limit
5×unsound
111×done
Compiler

Compiled 176151 to 98049 computations (44.3% saved)

simplify6.7min (17.7%)

Algorithm
2161×egg-herbie
Rules
4259346×*-lowering-*.f32
4259346×*-lowering-*.f64
2273438×+-lowering-+.f32
2273438×+-lowering-+.f64
1783334×fma-lowering-fma.f64
Stop Event
1864×iter limit
815×saturated
1374×node limit
Counts
279360 → 279360

rewrite6.0min (15.7%)

Algorithm
946×batch-egg-rewrite
Rules
3188152×*-lowering-*.f32
3188152×*-lowering-*.f64
2522386×/-lowering-/.f32
2522386×/-lowering-/.f64
1346618×+-lowering-+.f32
Stop Event
49×saturated
970×iter limit
899×node limit
12×unsound
Counts
10370 → 492382

sample5.5min (14.4%)

Results
3.5min2145638×0valid
24.4s65702×1valid
10.6s64748×0invalid
2.6s8304×2valid
2.0s1555×5exit
606.0ms1220×3valid
443.0ms1804×1invalid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 54.3s (35.4% of total)
ival-sub: 20.7s (13.4% of total)
ival-add: 19.5s (12.7% of total)
ival-div: 19.4s (12.6% of total)
ival-log: 10.1s (6.6% of total)
...c/correct-round.rkt:119:19: 6.3s (4.1% of total)
ival-sqrt: 5.4s (3.5% of total)
ival-exp: 3.6s (2.3% of total)
ival-sin: 3.6s (2.3% of total)
ival-cos: 3.4s (2.2% of total)
const: 3.0s (1.9% of total)
backward-pass: 2.6s (1.7% of total)
ival-tan: 527.0ms (0.3% of total)
ival-tanh: 382.0ms (0.2% of total)
ival-cosh: 313.0ms (0.2% of total)
ival-sinh: 232.0ms (0.2% of total)
ival-fabs: 208.0ms (0.1% of total)
ival-acos: 192.0ms (0.1% of total)
Bogosity

eval2.4min (6.3%)

Compiler

Compiled 23425371 to 1759379 computations (92.5% saved)

prune2.3min (5.9%)

Counts
866844 → 15768
Compiler

Compiled 616683 to 329215 computations (46.6% saved)

localize2.1min (5.4%)

Results
1.0min224324×0valid
12.2s9146×1valid
6.5s2541×5exit
2.7s1680×2valid
1.3s3192×0invalid
518.0ms272×3valid
490.0ms908×0unsamplable
67.0ms68×1invalid
32.0ms15×3invalid
21.0ms15×2invalid
8.0ms6×4valid
8.0ms9×1unsamplable
Compiler

Compiled 133659 to 19317 computations (85.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.2s
ival-mult: 14.0s (31.6% of total)
ival-div: 9.0s (20.4% of total)
ival-add: 6.2s (14.1% of total)
...c/correct-round.rkt:119:19: 3.2s (7.3% of total)
ival-sub: 3.2s (7.2% of total)
backward-pass: 2.4s (5.3% of total)
ival-pow: 1.1s (2.5% of total)
ival-log: 1.1s (2.4% of total)
compiled-spec: 985.0ms (2.2% of total)
ival-cos: 855.0ms (1.9% of total)
ival-sqrt: 532.0ms (1.2% of total)
const: 528.0ms (1.2% of total)
ival-sin: 518.0ms (1.2% of total)
ival-exp: 277.0ms (0.6% of total)
ival-neg: 168.0ms (0.4% of total)
ival-tan: 110.0ms (0.2% of total)
ival-fabs: 39.0ms (0.1% of total)
ival-cosh: 20.0ms (0% of total)
ival-sinh: 16.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)
ival-asin: 11.0ms (0% of total)
ival-acos: 8.0ms (0% of total)
ival-pi: 4.0ms (0% of total)
ival-cbrt: 2.0ms (0% of total)

regimes1.6min (4.1%)

Counts
50096 → 5462
Calls

513 calls:

18.7s
x
14.4s
y
10.2s
z
6.2s
(*.f64 (*.f64 a #s(literal 27 binary64)) b)
5.7s
t
Compiler

Compiled 47112 to 37195 computations (21% saved)

bsearch1.2min (3.2%)

Algorithm
2852×binary-search
335×left-value
Stop Event
54×predicate-same
2798×narrow-enough
Results
47.7s339284×0valid
2.6s8231×1valid
413.0ms4364×0invalid
163.0ms547×2valid
49.0ms244×1invalid
10.0ms18×3valid
Compiler

Compiled 652015 to 476787 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.1s
ival-mult: 12.3s (38.4% of total)
ival-sub: 5.5s (17.2% of total)
ival-add: 3.9s (12% of total)
ival-div: 3.1s (9.5% of total)
ival-log: 2.0s (6.1% of total)
...c/correct-round.rkt:119:19: 1.8s (5.6% of total)
ival-sin: 1.0s (3.2% of total)
ival-cos: 640.0ms (2% of total)
ival-sqrt: 487.0ms (1.5% of total)
const: 438.0ms (1.4% of total)
ival-exp: 410.0ms (1.3% of total)
backward-pass: 327.0ms (1% of total)
ival-sinh: 117.0ms (0.4% of total)
ival-tanh: 79.0ms (0.2% of total)
ival-cosh: 74.0ms (0.2% of total)
ival-fabs: 3.0ms (0% of total)

preprocess1.1min (3%)

Algorithm
538×egg-herbie
Rules
454966×sum3-define
443582×fnmadd-define
351448×fmsub-define
350726×fnmsub-define
339338×fma-define
Stop Event
286×saturated
269×iter limit
252×node limit
Compiler

Compiled 162136 to 54142 computations (66.6% saved)

series33.7s (1.5%)

Counts
10370 → 279360
Calls

51381 calls:

TimeVariablePointExpression
919.0ms
i
@inf
(* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)))
261.0ms
y
@0
(+ 4 (/ (* (- (* x x) (* z z)) (/ 4 (+ x z))) y))
252.0ms
y
@inf
(/ (- x y) (- z y))
223.0ms
y
@-inf
(* x (+ (log (pow y -1/2)) (log (* (pow y -1/2) x))))
204.0ms
x
@0
(* x (log (/ x y)))

explain32.3s (1.4%)

Results
15.8s130472×0valid
2.6s6114×1valid
454.0ms988×2valid
132.0ms150×3valid
2.0ms4×4valid
Compiler

Compiled 26361 to 7864 computations (70.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-mult: 2.8s (32.3% of total)
ival-div: 1.2s (13.9% of total)
ival-add: 1.2s (13.3% of total)
ival-sub: 1.1s (12.6% of total)
ival-log: 808.0ms (9.2% of total)
...c/correct-round.rkt:119:19: 330.0ms (3.8% of total)
backward-pass: 314.0ms (3.6% of total)
ival-sin: 215.0ms (2.5% of total)
const: 201.0ms (2.3% of total)
ival-cos: 200.0ms (2.3% of total)
ival-sqrt: 196.0ms (2.2% of total)
ival-exp: 98.0ms (1.1% of total)
ival-tanh: 24.0ms (0.3% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

analyze22.2s (1%)

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: 10.8s
ival-mult: 3.4s (31.5% of total)
ival-add: 3.2s (30% of total)
ival-sub: 1.3s (12.2% of total)
ival-div: 1.2s (11.2% of total)
...c/correct-round.rkt:119:19: 565.0ms (5.3% of total)
ival-log: 274.0ms (2.5% of total)
ival-sqrt: 233.0ms (2.2% of total)
const: 150.0ms (1.4% of total)
ival-exp: 138.0ms (1.3% of total)
ival-sin: 73.0ms (0.7% of total)
backward-pass: 53.0ms (0.5% of total)
ival-tan: 45.0ms (0.4% of total)
ival-cos: 32.0ms (0.3% of total)
ival-cosh: 23.0ms (0.2% of total)
ival-acos: 23.0ms (0.2% of total)
ival-tanh: 9.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end2.0ms (0%)

Profiling

Loading profile data...