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: 17.1min)

sample5.6min (32.9%)

Results
2.0min25964×5exit
1.1min129861×1valid
42.9s270699×0valid
24.7s8324×3valid
19.2s19121×2valid
12.0s49797×0unsamplable
8.5s1303×4valid
3.6s19187×0invalid
2.8s11039×1invalid
1.1s1750×2invalid
173.0ms4×5valid
124.0ms850×0precondition
45.0ms61×1unsamplable
13.0ms21×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (43.8% of total)
ival-mult: 27.6s (10.4% of total)
ival-sin: 24.3s (9.2% of total)
ival-cos: 21.2s (8% of total)
ival-div: 16.7s (6.3% of total)
backward-pass: 10.7s (4% of total)
ival-add: 9.9s (3.7% of total)
ival-sub: 9.1s (3.4% of total)
ival-exp: 6.0s (2.3% of total)
ival-log: 5.0s (1.9% of total)
ival-sqrt: 4.3s (1.6% of total)
ival-neg: 3.8s (1.4% of total)
ival-<: 2.8s (1% of total)
...c/correct-round.rkt:119:19: 1.8s (0.7% of total)
const: 1.0s (0.4% of total)
ival-tan: 990.0ms (0.4% of total)
ival-atan2: 763.0ms (0.3% of total)
ival-pi: 698.0ms (0.3% of total)
ival-atan: 507.0ms (0.2% of total)
ival-cbrt: 484.0ms (0.2% of total)
ival-and: 423.0ms (0.2% of total)
ival-acos: 392.0ms (0.1% of total)
ival-<=: 215.0ms (0.1% of total)
ival-asin: 195.0ms (0.1% of total)
ival-fabs: 187.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

soundness2.3min (13.3%)

Rules
1327710×*-lowering-*.f32
1327710×*-lowering-*.f64
668364×+-lowering-+.f32
668364×+-lowering-+.f64
549474×/-lowering-/.f32
Stop Event
13×saturated
322×iter limit
305×node limit
48×fuel
4×done
Compiler

Compiled 55563 to 29694 computations (46.6% saved)

simplify2.1min (12.1%)

Algorithm
454×egg-herbie
Rules
1424864×*-lowering-*.f32
1424864×*-lowering-*.f64
746642×+-lowering-+.f32
746642×+-lowering-+.f64
442562×fma-lowering-fma.f64
Stop Event
402×iter limit
113×saturated
343×node limit
Counts
91656 → 91656

localize1.6min (9.4%)

Results
25.9s4068×5exit
23.6s12849×1valid
13.0s28576×0valid
7.1s2467×2valid
2.2s2756×0invalid
1.7s310×3valid
993.0ms327×1invalid
424.0ms50×4valid
208.0ms39×2invalid
23.0ms12×0unsamplable
20.0ms2×5valid
Compiler

Compiled 99037 to 7866 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.2s
ival-mult: 10.8s (20.2% of total)
ival-sin: 8.3s (15.5% of total)
ival-cos: 6.3s (11.7% of total)
backward-pass: 4.7s (8.9% of total)
ival-div: 4.7s (8.9% of total)
ival-pow: 4.2s (8% of total)
ival-exp: 2.6s (4.9% of total)
ival-add: 2.5s (4.8% of total)
ival-log: 1.8s (3.3% of total)
ival-sub: 1.6s (3% of total)
...c/correct-round.rkt:119:19: 1.4s (2.7% of total)
compiled-spec: 1.4s (2.6% of total)
ival-sqrt: 998.0ms (1.9% of total)
ival-atan2: 396.0ms (0.7% of total)
const: 246.0ms (0.5% of total)
ival-tan: 225.0ms (0.4% of total)
ival-cbrt: 216.0ms (0.4% of total)
ival-acos: 195.0ms (0.4% of total)
ival-atan: 179.0ms (0.3% of total)
ival-pi: 132.0ms (0.2% of total)
ival-neg: 126.0ms (0.2% of total)
ival-fabs: 97.0ms (0.2% of total)
ival-sinh: 68.0ms (0.1% of total)
ival-asin: 12.0ms (0% of total)
ival-cosh: 8.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)

rewrite1.3min (7.7%)

Algorithm
201×batch-egg-rewrite
Rules
736350×*-lowering-*.f32
736350×*-lowering-*.f64
537728×/-lowering-/.f32
537728×/-lowering-/.f64
278696×+-lowering-+.f32
Stop Event
3×saturated
203×iter limit
199×node limit
Counts
3594 → 134298

eval52.1s (5.1%)

Compiler

Compiled 12596782 to 711738 computations (94.3% saved)

prune48.9s (4.8%)

Counts
282910 → 8039
Compiler

Compiled 638280 to 285130 computations (55.3% saved)

regimes43.4s (4.2%)

Counts
26272 → 1055
Calls

155 calls:

3.0s
a
2.8s
b
2.7s
lambda1
2.4s
phi1
2.3s
phi2
Compiler

Compiled 11406 to 7621 computations (33.2% saved)

bsearch28.8s (2.8%)

Algorithm
55×left-value
433×binary-search
Stop Event
11×predicate-same
422×narrow-enough
Results
12.1s15062×1valid
6.2s37927×0valid
2.6s1058×3valid
2.3s2074×2valid
259.0ms1706×0invalid
40.0ms7×4valid
5.0ms15×1invalid
0.0ms1×2invalid
Compiler

Compiled 148097 to 99490 computations (32.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.6s
ival-cos: 4.6s (23.3% of total)
ival-sin: 3.8s (19.4% of total)
ival-mult: 3.3s (16.7% of total)
ival-pow: 1.9s (9.9% of total)
ival-div: 1.3s (6.8% of total)
backward-pass: 971.0ms (5% of total)
ival-sub: 953.0ms (4.9% of total)
ival-add: 818.0ms (4.2% of total)
ival-sqrt: 468.0ms (2.4% of total)
ival-acos: 262.0ms (1.3% of total)
ival-atan2: 205.0ms (1% of total)
ival-exp: 172.0ms (0.9% of total)
ival-atan: 140.0ms (0.7% of total)
ival-neg: 139.0ms (0.7% of total)
ival-pi: 134.0ms (0.7% of total)
ival-tan: 120.0ms (0.6% of total)
ival-log: 117.0ms (0.6% of total)
const: 103.0ms (0.5% of total)
ival-fabs: 38.0ms (0.2% of total)
ival-asin: 19.0ms (0.1% of total)

analyze23.2s (2.3%)

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.8s
ival-mult: 4.4s (29.8% of total)
ival-pow: 2.0s (13.8% of total)
ival-sin: 1.6s (10.7% of total)
ival-cos: 1.6s (10.7% of total)
ival-div: 1.3s (8.8% of total)
ival-sub: 887.0ms (6% of total)
ival-add: 764.0ms (5.2% of total)
ival-sqrt: 587.0ms (4% of total)
ival-<: 299.0ms (2% of total)
...c/correct-round.rkt:119:19: 294.0ms (2% of total)
ival-neg: 271.0ms (1.8% of total)
ival-atan2: 158.0ms (1.1% of total)
const: 94.0ms (0.6% of total)
ival-exp: 78.0ms (0.5% of total)
ival-pi: 66.0ms (0.4% of total)
ival-tan: 55.0ms (0.4% of total)
ival-and: 54.0ms (0.4% of total)
ival-log: 54.0ms (0.4% of total)
ival-atan: 49.0ms (0.3% of total)
ival-acos: 43.0ms (0.3% of total)
ival-fabs: 34.0ms (0.2% of total)
ival-asin: 34.0ms (0.2% of total)
backward-pass: 32.0ms (0.2% of total)
ival-cbrt: 17.0ms (0.1% 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
3594 → 91656
Calls

18774 calls:

TimeVariablePointExpression
276.0ms
angle
@0
(* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* 1/90 (* angle (/ (* (PI) (- (* b b) (* a a))) x-scale))) y-scale))
268.0ms
phi2
@inf
(pow (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (/ (* (* (cos phi1) (cos phi2)) (- 1 (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) 2)) 1/4)
238.0ms
F
@0
(/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C)))
224.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))))
158.0ms
lambda1
@-inf
(pow (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (/ (* (* (cos phi1) (cos phi2)) (- 1 (cos (* (- lambda1 lambda2) 1)))) 2)) 1/4)

explain19.6s (1.9%)

Results
5.1s8116×1valid
2.9s1918×2valid
2.9s15902×0valid
2.3s588×3valid
721.0ms100×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
ival-sin: 2.1s (21.1% of total)
ival-mult: 1.5s (14.9% of total)
ival-cos: 1.5s (14.4% of total)
ival-div: 874.0ms (8.7% of total)
ival-pow: 867.0ms (8.6% of total)
backward-pass: 736.0ms (7.3% of total)
ival-sqrt: 562.0ms (5.6% of total)
ival-sub: 469.0ms (4.7% of total)
ival-add: 434.0ms (4.3% of total)
ival-log: 223.0ms (2.2% of total)
ival-exp: 201.0ms (2% of total)
ival-tan: 167.0ms (1.7% of total)
ival-neg: 166.0ms (1.7% of total)
const: 58.0ms (0.6% of total)
ival-atan2: 43.0ms (0.4% of total)
ival-pi: 40.0ms (0.4% of total)
ival-fabs: 40.0ms (0.4% of total)
ival-atan: 30.0ms (0.3% of total)
ival-cbrt: 28.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.3s (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 59716 to 19974 computations (66.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...