Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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: 1.9hr)

sample24.2min (21.6%)

Results
8.4min3851407×0valid
3.7min94909×5exit
2.9min475943×1valid
1.4min126007×2valid
30.4s19272×3valid
27.5s171369×0invalid
27.3s144654×0precondition
14.8s63900×0unsamplable
9.2s2241×4valid
8.8s23629×1invalid
1.4s2296×2invalid
104.0ms29×3invalid
81.0ms68×1unsamplable
30.0ms13×5valid
Precisions
Click to see histograms. Total time spent on operations: 13.5min
ival-pow: 2.5min (18.8% of total)
ival-mult: 2.4min (18% of total)
ival-div: 1.1min (8% of total)
ival-sub: 1.0min (7.5% of total)
ival-sin: 1.0min (7.5% of total)
ival-add: 54.4s (6.7% of total)
backward-pass: 42.4s (5.2% of total)
ival-cos: 35.8s (4.4% of total)
...c/correct-round.rkt:119:19: 34.5s (4.3% of total)
ival-log: 25.6s (3.2% of total)
ival-exp: 25.5s (3.2% of total)
ival-sqrt: 22.8s (2.8% of total)
ival-tan: 17.0s (2.1% of total)
ival-<=: 14.3s (1.8% of total)
const: 8.6s (1.1% of total)
ival-neg: 7.2s (0.9% of total)
compiled-spec: 5.1s (0.6% of total)
ival-fabs: 5.0s (0.6% of total)
ival-and: 4.6s (0.6% of total)
ival-<: 4.2s (0.5% of total)
ival-pi: 2.5s (0.3% of total)
ival-asin: 1.8s (0.2% of total)
ival->: 1.7s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-acos: 1.5s (0.2% of total)
ival-atan: 1.2s (0.2% of total)
ival-==: 956.0ms (0.1% of total)
ival-sinh: 930.0ms (0.1% of total)
ival-fmod: 834.0ms (0.1% of total)
ival-floor: 797.0ms (0.1% of total)
ival-fmin: 635.0ms (0.1% of total)
ival-cbrt: 586.0ms (0.1% of total)
ival-if: 442.0ms (0.1% of total)
ival->=: 431.0ms (0.1% of total)
ival-cosh: 353.0ms (0% of total)
ival-fmax: 316.0ms (0% of total)
ival-log2: 310.0ms (0% of total)
ival-asinh: 286.0ms (0% of total)
ival-acosh: 250.0ms (0% of total)
ival-atanh: 168.0ms (0% of total)
ival-tanh: 124.0ms (0% of total)
ival-or: 72.0ms (0% of total)
Bogosity

soundness20.1min (17.9%)

Rules
9006352×*-lowering-*.f32
9006352×*-lowering-*.f64
4635780×+-lowering-+.f32
4635780×+-lowering-+.f64
4198936×/-lowering-/.f32
Stop Event
2527×iter limit
173×saturated
372×fuel
2322×node limit
6×unsound
168×done
Compiler

Compiled 388268 to 208309 computations (46.3% saved)

simplify17.3min (15.4%)

Algorithm
4433×egg-herbie
Rules
10589738×*-lowering-*.f32
10589738×*-lowering-*.f64
5692282×+-lowering-+.f32
5692282×+-lowering-+.f64
3855432×fma-lowering-fma.f64
Stop Event
1490×saturated
3852×iter limit
2983×node limit
2×unsound
Counts
632665 → 632665

rewrite12.5min (11.2%)

Algorithm
1946×batch-egg-rewrite
Rules
6639908×*-lowering-*.f32
6639908×*-lowering-*.f64
5075784×/-lowering-/.f32
5075784×/-lowering-/.f64
2710872×+-lowering-+.f32
Stop Event
69×saturated
2006×iter limit
1874×node limit
23×unsound
Counts
25990 → 1064428

localize10.3min (9.2%)

Results
3.1min404496×0valid
1.8min13688×2valid
1.6min15311×5exit
1.3min45502×1valid
12.6s14908×0invalid
7.0s1914×3valid
1.2s385×1invalid
1.1s1772×0unsamplable
559.0ms132×4valid
146.0ms28×5valid
54.0ms23×1unsamplable
45.0ms17×2invalid
Compiler

Compiled 531804 to 51813 computations (90.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9min
ival-mult: 43.3s (18.4% of total)
backward-pass: 41.6s (17.7% of total)
ival-pow: 29.0s (12.3% of total)
ival-div: 27.3s (11.6% of total)
ival-add: 15.5s (6.6% of total)
ival-cos: 11.4s (4.8% of total)
ival-sin: 9.9s (4.2% of total)
ival-sub: 9.8s (4.1% of total)
...c/correct-round.rkt:119:19: 9.7s (4.1% of total)
ival-log: 9.6s (4.1% of total)
ival-tan: 8.0s (3.4% of total)
compiled-spec: 5.5s (2.3% of total)
ival-exp: 3.7s (1.6% of total)
ival-sqrt: 3.6s (1.5% of total)
const: 1.6s (0.7% of total)
ival-atan2: 856.0ms (0.4% of total)
ival-neg: 744.0ms (0.3% of total)
ival-asin: 705.0ms (0.3% of total)
ival-acos: 579.0ms (0.2% of total)
ival-fabs: 416.0ms (0.2% of total)
ival-if: 390.0ms (0.2% of total)
ival-cosh: 379.0ms (0.2% of total)
ival-atan: 361.0ms (0.2% of total)
ival-cbrt: 334.0ms (0.1% of total)
ival-fmod: 319.0ms (0.1% of total)
ival-pi: 290.0ms (0.1% of total)
ival-sinh: 129.0ms (0.1% of total)
ival-log2: 119.0ms (0.1% of total)
ival-fmax: 118.0ms (0.1% of total)
ival-copysign: 98.0ms (0% of total)
ival-floor: 91.0ms (0% of total)
ival->=: 46.0ms (0% of total)
ival-tanh: 43.0ms (0% of total)
ival-e: 22.0ms (0% of total)
ival->: 21.0ms (0% of total)
ival-<: 10.0ms (0% of total)

eval6.5min (5.8%)

Compiler

Compiled 91970677 to 4691399 computations (94.9% saved)

prune5.7min (5.1%)

Counts
2076515 → 43762
Compiler

Compiled 2513248 to 1159513 computations (53.9% saved)

regimes4.2min (3.7%)

Counts
140919 → 10086
Calls

1221 calls:

29.8s
y
20.4s
x
15.1s
t
11.0s
z
8.1s
a
Compiler

Compiled 97124 to 71410 computations (26.5% saved)

bsearch2.5min (2.2%)

Algorithm
4557×binary-search
635×left-value
Stop Event
130×predicate-same
4424×narrow-enough
3×predicate-failed
Results
1.3min509827×0valid
18.4s36312×1valid
3.9s6238×2valid
3.0s24027×0invalid
2.4s1525×3valid
543.0ms289×4valid
457.0ms1762×1invalid
91.0ms101×5exit
56.0ms130×2invalid
30.0ms230×0unsamplable
1.0ms1×5valid
Compiler

Compiled 1108218 to 781023 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 20.4s (29.3% of total)
ival-sub: 8.6s (12.4% of total)
ival-add: 7.4s (10.6% of total)
ival-div: 6.6s (9.5% of total)
ival-sin: 5.2s (7.4% of total)
ival-cos: 4.3s (6.2% of total)
ival-pow: 3.6s (5.1% of total)
...c/correct-round.rkt:119:19: 2.6s (3.7% of total)
ival-log: 2.2s (3.2% of total)
backward-pass: 2.2s (3.1% of total)
ival-sqrt: 2.0s (2.9% of total)
ival-exp: 1.3s (1.9% of total)
const: 893.0ms (1.3% of total)
ival-tan: 527.0ms (0.8% of total)
ival-neg: 507.0ms (0.7% of total)
ival-atan2: 416.0ms (0.6% of total)
ival-atan: 206.0ms (0.3% of total)
ival-acos: 165.0ms (0.2% of total)
ival-pi: 128.0ms (0.2% of total)
ival-cosh: 102.0ms (0.1% of total)
ival-fabs: 100.0ms (0.1% of total)
ival-fmod: 78.0ms (0.1% of total)
ival-sinh: 65.0ms (0.1% of total)
ival-copysign: 26.0ms (0% of total)
ival-asin: 21.0ms (0% of total)
ival-if: 13.0ms (0% of total)
ival->=: 10.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-cbrt: 5.0ms (0% of total)

preprocess2.2min (2%)

Algorithm
1082×egg-herbie
Rules
834604×fnmadd-define
798592×sum3-define
694080×fma-define
667668×fmsub-define
622970×fnmsub-define
Stop Event
538×iter limit
572×saturated
513×node limit
Compiler

Compiled 412804 to 142464 computations (65.5% saved)

explain1.9min (1.7%)

Results
45.2s230198×0valid
20.9s34752×1valid
9.6s10012×2valid
3.0s1370×3valid
923.0ms170×4valid
646.0ms488×5exit
6.0ms2×5valid
Compiler

Compiled 95243 to 18404 computations (80.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.1s
ival-mult: 7.4s (21% of total)
ival-add: 3.1s (8.9% of total)
ival-div: 3.1s (8.9% of total)
ival-sin: 3.1s (8.7% of total)
backward-pass: 2.9s (8.3% of total)
ival-sub: 2.7s (7.7% of total)
ival-log: 2.6s (7.3% of total)
ival-cos: 2.5s (7.1% of total)
ival-pow: 1.5s (4.3% of total)
ival-exp: 1.3s (3.7% of total)
ival-tan: 1.3s (3.6% of total)
ival-sqrt: 1.0s (2.9% of total)
...c/correct-round.rkt:119:19: 672.0ms (1.9% of total)
const: 532.0ms (1.5% of total)
ival-neg: 443.0ms (1.3% of total)
compiled-spec: 142.0ms (0.4% of total)
ival-pi: 121.0ms (0.3% of total)
ival-atan2: 95.0ms (0.3% of total)
ival-asin: 88.0ms (0.3% of total)
ival-acos: 83.0ms (0.2% of total)
ival-fabs: 77.0ms (0.2% of total)
ival-atan: 75.0ms (0.2% of total)
ival-floor: 48.0ms (0.1% of total)
ival-cbrt: 41.0ms (0.1% of total)
ival-sinh: 37.0ms (0.1% of total)
ival-fmod: 36.0ms (0.1% of total)
ival-if: 34.0ms (0.1% of total)
ival-fmax: 21.0ms (0.1% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 14.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival->=: 10.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->: 4.0ms (0% of total)
ival-<: 2.0ms (0% of total)

analyze1.9min (1.7%)

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: 1.0min
ival-mult: 15.7s (25.8% of total)
...c/correct-round.rkt:119:19: 6.7s (11% of total)
ival-div: 5.0s (8.3% of total)
ival-add: 4.7s (7.7% of total)
ival-sub: 4.2s (6.8% of total)
ival-pow: 3.8s (6.2% of total)
ival-<=: 3.2s (5.3% of total)
ival-cos: 2.7s (4.4% of total)
ival-sqrt: 2.6s (4.2% of total)
ival-sin: 2.4s (3.9% of total)
ival-fabs: 1.5s (2.4% of total)
ival-and: 993.0ms (1.6% of total)
ival-neg: 912.0ms (1.5% of total)
ival-log: 870.0ms (1.4% of total)
ival-floor: 739.0ms (1.2% of total)
ival-exp: 673.0ms (1.1% of total)
ival-tan: 607.0ms (1% of total)
const: 600.0ms (1% of total)
ival-if: 452.0ms (0.7% of total)
ival-<: 415.0ms (0.7% of total)
ival-fmax: 399.0ms (0.7% of total)
ival-pi: 242.0ms (0.4% of total)
ival-==: 232.0ms (0.4% of total)
ival-atan2: 225.0ms (0.4% of total)
backward-pass: 204.0ms (0.3% of total)
ival-log2: 172.0ms (0.3% of total)
ival->: 157.0ms (0.3% of total)
ival-asin: 131.0ms (0.2% of total)
ival-atan: 116.0ms (0.2% of total)
ival-acos: 110.0ms (0.2% of total)
ival->=: 87.0ms (0.1% of total)
ival-cbrt: 57.0ms (0.1% of total)
ival-fmod: 55.0ms (0.1% of total)
ival-sinh: 46.0ms (0.1% of total)
ival-or: 32.0ms (0.1% of total)
ival-cosh: 15.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-fmin: 7.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.5%)

Counts
25990 → 632665
Calls

119661 calls:

TimeVariablePointExpression
1.9s
x
@-inf
(/ (fmod (exp x) (/ (* (+ -6859/191102976000 (/ (* (+ -1/96 (/ -1/4 (* x x))) (* (+ (/ 1/4 (* x x)) 1/96) (+ (/ 1/4 (* x x)) 1/96))) (* (* x x) (* (* x x) (* x x))))) (* (* x x) (* (* x x) (* x x)))) (+ 361/33177600 (* (/ (+ (/ 1/4 (* x x)) 1/96) (* x x)) (+ -19/5760 (/ (+ (/ 1/4 (* x x)) 1/96) (* x x))))))) (exp x))
557.0ms
t
@inf
(exp (+ (- (* c_n (log (+ 1 (/ 1 (+ -1 (/ -1 (exp s))))))) (* c_n (log (+ 1 (/ 1 (- -1 (/ 1 (exp t)))))))) (+ (neg (* (log (+ 1 (/ 1 (exp s)))) c_p)) (* (log (+ 1 (/ 1 (exp t)))) c_p))))
327.0ms
v
@0
(+ (* (neg (/ (- (* 2 (- 1 u)) (/ (* u (+ 2 (- (/ 4/3 v) (* u (+ 2 (/ 4 v)))))) v)) v)) v) 1)
313.0ms
w
@-inf
(log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))))
302.0ms
y
@-inf
(/ (- (* (* (* x x) (+ 1/2 (* 1/2 (cos (* 2 y))))) (+ (* x (cos y)) (* z (sin y)))) (* (+ (* x (cos y)) (* z (sin y))) (* (* z z) (- 1/2 (* 1/2 (cos (* 2 y))))))) (pow (+ (* x (cos y)) (* z (sin y))) 2))

end1.1min (1%)

Profiling

Loading profile data...