Herbie run

Date:Wednesday, May 29th, 2024
Commit:65079e0a on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024150
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: 17.1min)

sample5.4min (31.6%)

Results
1.9min26035×5exit
1.1min130042×1valid
40.1s270568×0valid
22.2s8173×3valid
17.4s19135×2valid
12.1s49583×0unsamplable
8.7s1392×4valid
3.6s18912×0invalid
2.4s11080×1invalid
983.0ms1641×2invalid
105.0ms909×0precondition
71.0ms2×5valid
53.0ms74×1unsamplable
16.0ms18×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.2min
ival-pow: 1.8min (43.4% of total)
ival-mult: 25.6s (10.1% of total)
ival-sin: 22.8s (9% of total)
ival-cos: 20.5s (8.1% of total)
ival-div: 15.6s (6.1% of total)
backward-pass: 11.0s (4.3% of total)
ival-add: 9.6s (3.8% of total)
ival-sub: 8.5s (3.4% of total)
ival-exp: 6.0s (2.4% of total)
ival-sqrt: 5.2s (2.1% of total)
ival-log: 5.1s (2% of total)
ival-neg: 3.8s (1.5% of total)
ival-<: 3.2s (1.3% of total)
...c/correct-round.rkt:119:19: 1.7s (0.7% of total)
const: 1.0s (0.4% of total)
ival-atan2: 851.0ms (0.3% of total)
ival-pi: 723.0ms (0.3% of total)
ival-tan: 589.0ms (0.2% of total)
ival-and: 423.0ms (0.2% of total)
ival-atan: 389.0ms (0.2% of total)
ival-acos: 352.0ms (0.1% of total)
ival-cbrt: 332.0ms (0.1% of total)
ival-<=: 226.0ms (0.1% of total)
ival-asin: 153.0ms (0.1% of total)
ival-fabs: 150.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

soundness2.2min (12.8%)

Rules
1309018×*-lowering-*.f32
1309018×*-lowering-*.f64
656240×+-lowering-+.f32
656240×+-lowering-+.f64
523508×/-lowering-/.f32
Stop Event
11×saturated
309×iter limit
296×node limit
46×fuel
6×done
Compiler

Compiled 55247 to 29214 computations (47.1% saved)

simplify2.2min (12.7%)

Algorithm
452×egg-herbie
Rules
1446354×*-lowering-*.f32
1446354×*-lowering-*.f64
734872×+-lowering-+.f32
734872×+-lowering-+.f64
445966×fma-lowering-fma.f64
Stop Event
400×iter limit
106×saturated
346×node limit
Counts
92136 → 92136

localize1.6min (9.3%)

Results
29.9s3928×5exit
22.9s12672×1valid
13.4s28990×0valid
5.4s2104×2valid
2.1s3172×0invalid
879.0ms255×3valid
242.0ms21×4valid
59.0ms16×2invalid
36.0ms17×1invalid
13.0ms25×0unsamplable
Compiler

Compiled 107313 to 8076 computations (92.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0s
ival-mult: 11.0s (20.8% of total)
ival-sin: 7.9s (14.9% of total)
ival-cos: 7.5s (14.2% of total)
ival-div: 5.2s (9.9% of total)
backward-pass: 5.1s (9.7% of total)
ival-pow: 3.2s (6.1% of total)
ival-add: 2.9s (5.5% of total)
compiled-spec: 2.1s (3.9% of total)
ival-sub: 1.5s (2.9% of total)
...c/correct-round.rkt:119:19: 1.4s (2.7% of total)
ival-exp: 1.2s (2.2% of total)
ival-sqrt: 1.1s (2.1% of total)
ival-log: 782.0ms (1.5% of total)
ival-atan2: 442.0ms (0.8% of total)
ival-tan: 302.0ms (0.6% of total)
const: 226.0ms (0.4% of total)
ival-neg: 221.0ms (0.4% of total)
ival-cbrt: 211.0ms (0.4% of total)
ival-atan: 169.0ms (0.3% of total)
ival-pi: 155.0ms (0.3% of total)
ival-acos: 115.0ms (0.2% of total)
ival-fabs: 98.0ms (0.2% of total)
ival-asin: 38.0ms (0.1% of total)
ival-cosh: 8.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)

rewrite1.3min (7.4%)

Algorithm
200×batch-egg-rewrite
Rules
735396×*-lowering-*.f32
735396×*-lowering-*.f64
526230×/-lowering-/.f32
526230×/-lowering-/.f64
276702×+-lowering-+.f32
Stop Event
1×saturated
205×iter limit
199×node limit
Counts
3568 → 132517

regimes57.1s (5.5%)

Counts
31619 → 1072
Calls

155 calls:

3.4s
phi1
3.4s
phi2
3.3s
lambda1
3.2s
a
3.1s
b
Compiler

Compiled 13085 to 8610 computations (34.2% saved)

eval52.1s (5.1%)

Compiler

Compiled 13981436 to 730677 computations (94.8% saved)

prune50.7s (4.9%)

Counts
286389 → 8490
Compiler

Compiled 710320 to 310516 computations (56.3% saved)

bsearch33.5s (3.3%)

Algorithm
435×binary-search
41×left-value
Stop Event
26×predicate-same
409×narrow-enough
Results
10.3s14942×1valid
6.8s4834×5exit
5.9s34818×0valid
2.3s1756×3valid
1.7s2487×2valid
229.0ms45×4valid
165.0ms1249×0invalid
Compiler

Compiled 144044 to 98515 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.5s
ival-pow: 4.3s (19.3% of total)
ival-sin: 3.6s (15.9% of total)
ival-mult: 3.3s (14.8% of total)
ival-cos: 3.2s (14.3% of total)
ival-div: 1.8s (8.1% of total)
backward-pass: 1.5s (6.5% of total)
ival-sub: 1.3s (5.7% of total)
ival-add: 995.0ms (4.4% of total)
ival-sqrt: 542.0ms (2.4% of total)
ival-exp: 410.0ms (1.8% of total)
ival-neg: 409.0ms (1.8% of total)
ival-atan2: 292.0ms (1.3% of total)
ival-acos: 175.0ms (0.8% of total)
ival-atan: 163.0ms (0.7% of total)
ival-tan: 142.0ms (0.6% of total)
const: 137.0ms (0.6% of total)
ival-pi: 114.0ms (0.5% of total)
ival-log: 65.0ms (0.3% of total)
ival-fabs: 25.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)

analyze22.5s (2.2%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 947 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.6s
ival-mult: 4.8s (32.5% of total)
ival-pow: 2.1s (14.3% of total)
ival-cos: 1.5s (10.4% of total)
ival-sin: 1.2s (8.1% of total)
ival-div: 1.1s (7.6% of total)
ival-sub: 835.0ms (5.7% of total)
ival-add: 746.0ms (5.1% of total)
ival-sqrt: 471.0ms (3.2% of total)
...c/correct-round.rkt:119:19: 363.0ms (2.5% of total)
ival-neg: 357.0ms (2.4% of total)
ival-<: 324.0ms (2.2% of total)
ival-atan2: 189.0ms (1.3% of total)
ival-pi: 97.0ms (0.7% of total)
const: 92.0ms (0.6% of total)
ival-asin: 75.0ms (0.5% of total)
ival-exp: 73.0ms (0.5% of total)
ival-and: 55.0ms (0.4% of total)
ival-atan: 54.0ms (0.4% of total)
ival-tan: 51.0ms (0.3% of total)
ival-log: 49.0ms (0.3% of total)
ival-fabs: 39.0ms (0.3% of total)
ival-acos: 34.0ms (0.2% of total)
backward-pass: 32.0ms (0.2% of total)
ival-cbrt: 23.0ms (0.2% of total)
ival-<=: 3.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

series21.3s (2.1%)

Counts
3568 → 92136
Calls

18912 calls:

TimeVariablePointExpression
335.0ms
b
@-inf
(/ (/ (- (* (+ (* b b) (* a (* c -3))) (* (+ (* b b) (* a (* c -3))) (+ (* b b) (* a (* c -3))))) (* (* b (* b b)) (* b (* b b)))) (* (+ b (sqrt (+ (* b b) (* a (* c -3))))) (+ (* (+ (* b b) (* a (* c -3))) (+ (* b b) (* a (* c -3)))) (* (* b b) (+ (* b b) (+ (* b b) (* a (* c -3)))))))) (* 3 a))
187.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 (exp (- 0 s)))) c_p)) (* (log (+ 1 (exp (- 0 t)))) c_p))))
151.0ms
t
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
127.0ms
F
@0
(* -2 (exp (+ (* (log (* F A)) 1/2) (* (log B) -1))))
116.0ms
x-scale
@0
(* (* (* 1/4 b) x-scale) (* (* (sqrt 8) y-scale) (sqrt (+ (* (/ 1 (* y-scale y-scale)) (+ 1/2 (* (cos (* (/ (* 2 (PI)) 180) angle)) -1/2))) (neg (- (sqrt (+ (/ (+ 2 (* 2 (cos (* (/ (* 2 (PI)) 180) angle)))) (/ (* x-scale (* x-scale (* y-scale y-scale))) (+ 1/2 (* (cos (* (/ (* 2 (PI)) 180) angle)) -1/2)))) (pow (- (/ (+ 1/2 (* 1/2 (cos (* (/ (* 2 (PI)) 180) angle)))) (* x-scale x-scale)) (/ (+ 1/2 (* (cos (* (/ (* 2 (PI)) 180) angle)) -1/2)) (* y-scale y-scale))) 2))) (/ (+ 1/2 (* 1/2 (cos (* (/ (* 2 (PI)) 180) angle)))) (* x-scale x-scale))))))))

explain18.1s (1.8%)

Results
5.0s8398×1valid
3.0s15702×0valid
2.4s1800×2valid
2.0s636×3valid
573.0ms88×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-sin: 2.0s (22.2% of total)
ival-mult: 1.3s (14.9% of total)
ival-cos: 1.3s (14.7% of total)
ival-pow: 877.0ms (9.9% of total)
ival-div: 759.0ms (8.6% of total)
backward-pass: 652.0ms (7.4% of total)
ival-sub: 376.0ms (4.3% of total)
ival-add: 350.0ms (4% of total)
ival-sqrt: 232.0ms (2.6% of total)
ival-log: 224.0ms (2.5% of total)
ival-tan: 187.0ms (2.1% of total)
ival-exp: 182.0ms (2.1% of total)
ival-neg: 127.0ms (1.4% of total)
ival-acos: 61.0ms (0.7% of total)
const: 57.0ms (0.6% of total)
ival-atan2: 44.0ms (0.5% of total)
ival-pi: 40.0ms (0.5% of total)
ival-atan: 30.0ms (0.3% of total)
ival-cbrt: 23.0ms (0.3% of total)
ival-fabs: 20.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.5s (1.4%)

Algorithm
104×egg-herbie
Rules
96972×fnmadd-define
86314×fma-define
80658×sum3-define
69422×fmsub-define
62900×*-lowering-*.f32
Stop Event
43×saturated
52×iter limit
61×node limit
Compiler

Compiled 66484 to 23500 computations (64.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...