Herbie run

Date:Friday, June 7th, 2024
Commit:78284123 on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024159
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:porules:lynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 1.6hr)

sample21.9min (22.5%)

Results
8.1min3850307×0valid
3.6min93994×5exit
3.0min476221×1valid
1.4min126567×2valid
31.6s19391×3valid
28.9s146432×0precondition
28.5s171576×0invalid
13.3s60952×0unsamplable
9.7s2254×4valid
7.0s23326×1invalid
1.8s2289×2invalid
471.0ms16×5valid
48.0ms66×1unsamplable
17.0ms26×3invalid
2.0ms1×4unsamplable
Precisions
Click to see histograms. Total time spent on operations: 13.3min
ival-pow: 2.5min (18.9% of total)
ival-mult: 2.3min (17.1% of total)
ival-div: 1.1min (8.2% of total)
ival-sin: 1.0min (7.6% of total)
ival-add: 56.1s (7% of total)
ival-sub: 52.9s (6.6% of total)
backward-pass: 40.3s (5% of total)
ival-cos: 39.6s (5% of total)
...c/correct-round.rkt:119:19: 35.7s (4.5% of total)
ival-exp: 28.0s (3.5% of total)
ival-log: 27.9s (3.5% of total)
ival-sqrt: 21.9s (2.7% of total)
ival-tan: 16.5s (2.1% of total)
ival-<=: 14.0s (1.8% of total)
const: 8.3s (1% of total)
ival-neg: 7.2s (0.9% of total)
ival-fabs: 5.6s (0.7% of total)
ival-and: 4.6s (0.6% of total)
ival-<: 4.4s (0.6% of total)
compiled-spec: 3.8s (0.5% of total)
ival-pi: 2.3s (0.3% of total)
ival-acos: 1.9s (0.2% of total)
ival-atan2: 1.9s (0.2% of total)
ival-asin: 1.7s (0.2% of total)
ival->: 1.6s (0.2% of total)
ival-atan: 1.5s (0.2% of total)
ival-fmod: 898.0ms (0.1% of total)
ival-floor: 803.0ms (0.1% of total)
ival-sinh: 748.0ms (0.1% of total)
ival-fmin: 719.0ms (0.1% of total)
ival-asinh: 683.0ms (0.1% of total)
ival-cbrt: 667.0ms (0.1% of total)
ival-==: 578.0ms (0.1% of total)
ival->=: 419.0ms (0.1% of total)
ival-fmax: 391.0ms (0% of total)
ival-if: 386.0ms (0% of total)
ival-acosh: 286.0ms (0% of total)
ival-log2: 268.0ms (0% of total)
ival-atanh: 213.0ms (0% of total)
ival-cosh: 212.0ms (0% of total)
ival-tanh: 100.0ms (0% of total)
ival-or: 66.0ms (0% of total)
Bogosity

soundness15.9min (16.3%)

Rules
7532938×*-lowering-*.f32
7532938×*-lowering-*.f64
3923940×+-lowering-+.f32
3923940×+-lowering-+.f64
3195360×/-lowering-/.f32
Stop Event
2383×iter limit
238×saturated
329×fuel
2130×node limit
4×unsound
213×done
Compiler

Compiled 383208 to 207586 computations (45.8% saved)

simplify14.7min (15.1%)

Algorithm
4304×egg-herbie
Rules
9427098×*-lowering-*.f32
9427098×*-lowering-*.f64
5087336×+-lowering-+.f32
5087336×+-lowering-+.f64
3659252×fma-lowering-fma.f64
Stop Event
1584×saturated
3723×iter limit
2759×node limit
Counts
611024 → 611024

rewrite8.4min (8.6%)

Algorithm
1881×batch-egg-rewrite
Rules
4080930×*-lowering-*.f32
4080930×*-lowering-*.f64
2894732×/-lowering-/.f32
2894732×/-lowering-/.f64
1839972×+-lowering-+.f32
Stop Event
299×saturated
1890×iter limit
1595×node limit
6×unsound
Counts
24442 → 1296395

localize8.4min (8.6%)

Results
3.1min396214×0valid
1.6min15814×5exit
1.2min40122×1valid
21.7s10281×2valid
12.6s14718×0invalid
4.8s1479×3valid
1.6s2263×0unsamplable
1.5s495×1invalid
702.0ms46×2invalid
418.0ms91×4valid
27.0ms11×1unsamplable
9.0ms2×5valid
Compiler

Compiled 469329 to 48010 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
ival-mult: 40.0s (22% of total)
ival-div: 25.1s (13.8% of total)
backward-pass: 20.0s (11% of total)
ival-pow: 14.9s (8.2% of total)
ival-add: 14.5s (8% of total)
ival-cos: 10.0s (5.5% of total)
ival-sin: 8.7s (4.8% of total)
ival-sub: 8.6s (4.8% of total)
...c/correct-round.rkt:119:19: 8.0s (4.4% of total)
ival-log: 6.0s (3.3% of total)
compiled-spec: 5.7s (3.1% of total)
ival-tan: 4.2s (2.3% of total)
ival-sqrt: 3.9s (2.2% of total)
ival-exp: 3.1s (1.7% of total)
ival-asin: 1.8s (1% of total)
const: 1.4s (0.8% of total)
ival-acos: 1.4s (0.7% of total)
ival-atan2: 805.0ms (0.4% of total)
ival-neg: 662.0ms (0.4% of total)
ival-fmod: 391.0ms (0.2% of total)
ival-cbrt: 335.0ms (0.2% of total)
ival-pi: 314.0ms (0.2% of total)
ival-fabs: 310.0ms (0.2% of total)
ival-atan: 281.0ms (0.2% of total)
ival-if: 207.0ms (0.1% of total)
ival-fmax: 142.0ms (0.1% of total)
ival-e: 117.0ms (0.1% of total)
ival-sinh: 107.0ms (0.1% of total)
ival-log2: 98.0ms (0.1% of total)
ival-cosh: 91.0ms (0.1% of total)
ival-floor: 89.0ms (0% of total)
ival-copysign: 76.0ms (0% of total)
ival->=: 45.0ms (0% of total)
ival-tanh: 22.0ms (0% of total)
ival->: 17.0ms (0% of total)
ival-<: 8.0ms (0% of total)

prune7.2min (7.4%)

Counts
2255159 → 41173
Compiler

Compiled 2044611 to 1037102 computations (49.3% saved)

eval6.4min (6.6%)

Compiler

Compiled 86218790 to 4786636 computations (94.4% saved)

regimes4.0min (4.1%)

Counts
146260 → 9990
Calls

1221 calls:

19.8s
x
14.3s
y
10.3s
z
9.7s
a
8.7s
t
Compiler

Compiled 98026 to 72118 computations (26.4% saved)

bsearch2.8min (2.9%)

Algorithm
4632×binary-search
584×left-value
Stop Event
109×predicate-same
4521×narrow-enough
2×predicate-failed
Results
1.5min516444×0valid
22.2s44147×1valid
5.0s7066×2valid
4.8s2378×3valid
2.7s22930×0invalid
1.9s1107×5exit
668.0ms285×4valid
147.0ms512×1invalid
110.0ms238×2invalid
15.0ms129×0unsamplable
Compiler

Compiled 1160488 to 825412 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-mult: 24.9s (30.1% of total)
ival-sub: 9.6s (11.5% of total)
ival-add: 8.3s (10% of total)
ival-div: 7.9s (9.6% of total)
ival-sin: 6.8s (8.1% of total)
ival-cos: 6.1s (7.4% of total)
ival-pow: 5.1s (6.2% of total)
backward-pass: 2.8s (3.4% of total)
ival-log: 2.5s (3.1% of total)
...c/correct-round.rkt:119:19: 2.3s (2.8% of total)
ival-sqrt: 1.9s (2.3% of total)
ival-exp: 1.3s (1.6% of total)
const: 928.0ms (1.1% of total)
ival-neg: 646.0ms (0.8% of total)
ival-tan: 641.0ms (0.8% of total)
ival-atan2: 351.0ms (0.4% of total)
ival-atan: 161.0ms (0.2% of total)
ival-pi: 147.0ms (0.2% of total)
ival-acos: 124.0ms (0.1% of total)
ival-cosh: 63.0ms (0.1% of total)
ival-sinh: 63.0ms (0.1% of total)
ival-fabs: 53.0ms (0.1% of total)
ival-if: 23.0ms (0% of total)
ival-copysign: 20.0ms (0% of total)
ival->=: 19.0ms (0% of total)
ival-asin: 16.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-fmod: 11.0ms (0% of total)
ival-cbrt: 1.0ms (0% of total)

preprocess2.1min (2.2%)

Algorithm
1084×egg-herbie
Rules
797726×fnmadd-define
766016×sum3-define
673540×fma-define
637486×fmsub-define
598734×fnmsub-define
Stop Event
539×iter limit
603×saturated
484×node limit
Compiler

Compiled 394504 to 136128 computations (65.5% saved)

explain2.0min (2%)

Results
46.9s230102×0valid
22.0s35394×1valid
10.7s9862×2valid
3.0s1434×3valid
877.0ms176×4valid
752.0ms534×5exit
3.0ms2×5valid
Compiler

Compiled 97157 to 18586 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.9s
ival-mult: 7.8s (20.5% of total)
ival-div: 3.9s (10.3% of total)
ival-sub: 3.4s (9% of total)
backward-pass: 3.3s (8.8% of total)
ival-sin: 2.8s (7.5% of total)
ival-log: 2.7s (7.1% of total)
ival-add: 2.6s (7% of total)
ival-cos: 2.5s (6.5% of total)
ival-sqrt: 1.6s (4.2% of total)
ival-tan: 1.6s (4.2% of total)
ival-pow: 1.5s (3.9% of total)
ival-exp: 1.3s (3.5% of total)
...c/correct-round.rkt:119:19: 824.0ms (2.2% of total)
const: 497.0ms (1.3% of total)
ival-neg: 453.0ms (1.2% of total)
compiled-spec: 125.0ms (0.3% of total)
ival-pi: 125.0ms (0.3% of total)
ival-atan2: 118.0ms (0.3% of total)
ival-fabs: 106.0ms (0.3% of total)
ival-asin: 91.0ms (0.2% of total)
ival-atan: 83.0ms (0.2% of total)
ival-acos: 79.0ms (0.2% of total)
ival-cbrt: 59.0ms (0.2% of total)
ival-floor: 53.0ms (0.1% of total)
ival-fmod: 40.0ms (0.1% of total)
ival-sinh: 36.0ms (0.1% of total)
ival-if: 26.0ms (0.1% of total)
ival-fmax: 17.0ms (0% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival->=: 10.0ms (0% of total)
ival->: 4.0ms (0% of total)
ival-<: 2.0ms (0% of total)

analyze1.9min (1.9%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
38.7%32.7%51.8%15.6%0%0%0%1
44.8%37.5%46.2%15.6%0%0.7%0%2
54%44.1%37.5%15.7%0%2.6%0%3
60.9%49.1%31.6%15.8%0%3.6%0%4
67.1%53.8%26.4%15.8%0%4%0%5
71%56.7%23.1%15.8%0%4.3%0%6
75%59.4%19.8%15.9%0%4.8%0.1%7
77%60.7%18.1%15.9%0%5.2%0.1%8
79.6%62.5%16%15.9%0%5.4%0.1%9
81.1%63.5%14.8%16%0%5.7%0.1%10
83.4%65.1%13%16%0%5.8%0.1%11
84.5%65.8%12.1%16%0%6%0.1%12
Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.5s
ival-mult: 15.7s (26.3% of total)
...c/correct-round.rkt:119:19: 5.9s (10% of total)
ival-div: 5.3s (8.9% of total)
ival-add: 4.6s (7.7% of total)
ival-pow: 3.8s (6.3% of total)
ival-sub: 3.7s (6.3% of total)
ival-<=: 3.7s (6.3% of total)
ival-sqrt: 2.3s (3.8% of total)
ival-sin: 2.2s (3.6% of total)
ival-cos: 2.0s (3.3% of total)
ival-fabs: 1.5s (2.5% of total)
ival-and: 1.0s (1.7% of total)
ival-log: 872.0ms (1.5% of total)
ival-floor: 864.0ms (1.5% of total)
ival-exp: 763.0ms (1.3% of total)
ival-if: 588.0ms (1% of total)
const: 584.0ms (1% of total)
ival-log2: 526.0ms (0.9% of total)
ival-neg: 513.0ms (0.9% of total)
ival-tan: 511.0ms (0.9% of total)
ival-<: 404.0ms (0.7% of total)
ival-fmax: 339.0ms (0.6% of total)
ival-==: 321.0ms (0.5% of total)
ival-atan2: 275.0ms (0.5% of total)
ival-pi: 250.0ms (0.4% of total)
ival->: 235.0ms (0.4% of total)
backward-pass: 218.0ms (0.4% of total)
ival-acos: 127.0ms (0.2% of total)
ival->=: 117.0ms (0.2% of total)
ival-atan: 110.0ms (0.2% of total)
ival-asin: 85.0ms (0.1% of total)
ival-sinh: 68.0ms (0.1% of total)
ival-fmod: 46.0ms (0.1% of total)
ival-or: 31.0ms (0.1% of total)
ival-cbrt: 18.0ms (0% of total)
ival-cosh: 17.0ms (0% of total)
ival-fmin: 8.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

series1.6min (1.6%)

Counts
24442 → 611024
Calls

116415 calls:

TimeVariablePointExpression
434.0ms
f
@0
(/ (- (log 4) (log (* f (PI)))) (/ (PI) -4))
365.0ms
x
@0
(/ (- (* (log (- 0 y)) (/ -1 x)) (* (/ -1 x) (log (- 0 x)))) (/ 1 (* x x)))
348.0ms
z
@inf
(- (+ x (* (- y z) t)) (* x (- y z)))
280.0ms
lambda1
@inf
(* R (sqrt (+ (* (+ (* (- lambda1 lambda2) (- 0 (* (sin (/ phi2 2)) (sin (/ phi1 2))))) (* (cos (/ phi2 2)) (* (- lambda1 lambda2) (cos (/ phi1 2))))) (+ (* (- lambda1 lambda2) (- 0 (* (sin (/ phi2 2)) (sin (/ phi1 2))))) (* (cos (/ phi2 2)) (* (- lambda1 lambda2) (cos (/ phi1 2)))))) (* (- phi1 phi2) (- phi1 phi2)))))
276.0ms
y
@-inf
(exp (neg y))

end15.2s (0.3%)

Profiling

Loading profile data...