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

sample5.7min (31.6%)

Results
2.0min25951×5exit
1.2min130169×1valid
41.7s270349×0valid
23.3s8229×3valid
19.7s19192×2valid
12.0s50041×0unsamplable
8.9s1365×4valid
3.9s18926×0invalid
3.0s11029×1invalid
1.6s1760×2invalid
463.0ms8×5valid
108.0ms906×0precondition
48.0ms66×1unsamplable
17.0ms26×3invalid
2.0ms1×4unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (42.5% of total)
ival-mult: 25.8s (9.7% of total)
ival-sin: 23.0s (8.7% of total)
ival-cos: 22.8s (8.6% of total)
ival-div: 17.7s (6.7% of total)
backward-pass: 13.9s (5.3% of total)
ival-sub: 9.0s (3.4% of total)
ival-add: 9.0s (3.4% of total)
ival-exp: 6.5s (2.4% of total)
ival-log: 5.5s (2.1% of total)
ival-sqrt: 4.7s (1.8% of total)
ival-neg: 3.8s (1.4% of total)
ival-<: 2.2s (0.8% of total)
...c/correct-round.rkt:119:19: 2.1s (0.8% of total)
const: 1.2s (0.4% of total)
ival-atan2: 1.0s (0.4% of total)
ival-pi: 713.0ms (0.3% of total)
ival-acos: 656.0ms (0.2% of total)
ival-tan: 631.0ms (0.2% of total)
ival-and: 595.0ms (0.2% of total)
ival-atan: 500.0ms (0.2% of total)
ival-cbrt: 312.0ms (0.1% of total)
ival-<=: 233.0ms (0.1% of total)
ival-asin: 172.0ms (0.1% of total)
ival-fabs: 157.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

soundness2.3min (12.6%)

Rules
1260198×*-lowering-*.f32
1260198×*-lowering-*.f64
604314×+-lowering-+.f32
604314×+-lowering-+.f64
521110×/-lowering-/.f32
Stop Event
13×saturated
306×iter limit
293×node limit
41×fuel
11×done
Compiler

Compiled 53552 to 28240 computations (47.3% saved)

simplify2.2min (11.9%)

Algorithm
446×egg-herbie
Rules
1386948×*-lowering-*.f32
1386948×*-lowering-*.f64
689562×+-lowering-+.f32
689562×+-lowering-+.f64
407888×fma-lowering-fma.f64
Stop Event
394×iter limit
123×saturated
323×node limit
Counts
88628 → 88628

localize2.1min (11.6%)

Results
46.6s5466×5exit
27.7s12095×1valid
15.6s26677×0valid
6.3s1935×2valid
3.8s3413×0invalid
2.1s401×3valid
1.2s311×1invalid
702.0ms46×2invalid
29.0ms83×0unsamplable
22.0ms5×4valid
Compiler

Compiled 99892 to 7862 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.2s
ival-mult: 9.9s (18.3% of total)
backward-pass: 8.4s (15.5% of total)
ival-cos: 6.9s (12.7% of total)
ival-sin: 6.7s (12.5% of total)
ival-div: 5.9s (10.9% of total)
ival-pow: 4.2s (7.8% of total)
ival-add: 2.9s (5.4% of total)
compiled-spec: 1.6s (2.9% of total)
ival-sub: 1.5s (2.8% of total)
...c/correct-round.rkt:119:19: 1.5s (2.7% of total)
ival-sqrt: 1.2s (2.1% of total)
ival-exp: 840.0ms (1.6% of total)
ival-log: 827.0ms (1.5% of total)
ival-atan2: 416.0ms (0.8% of total)
ival-tan: 276.0ms (0.5% of total)
const: 260.0ms (0.5% of total)
ival-neg: 177.0ms (0.3% of total)
ival-acos: 167.0ms (0.3% of total)
ival-atan: 162.0ms (0.3% of total)
ival-cbrt: 143.0ms (0.3% of total)
ival-pi: 121.0ms (0.2% of total)
ival-fabs: 82.0ms (0.2% of total)
ival-e: 68.0ms (0.1% of total)
ival-asin: 18.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

rewrite1.1min (6.1%)

Algorithm
197×batch-egg-rewrite
Rules
606376×*-lowering-*.f32
606376×*-lowering-*.f64
463200×/-lowering-/.f32
463200×/-lowering-/.f64
216634×+-lowering-+.f32
Stop Event
9×saturated
198×iter limit
188×node limit
Counts
3396 → 155247

eval57.7s (5.3%)

Compiler

Compiled 13451836 to 813868 computations (93.9% saved)

prune56.6s (5.2%)

Counts
300273 → 8541
Compiler

Compiled 648778 to 304161 computations (53.1% saved)

regimes54.7s (5%)

Counts
28237 → 1040
Calls

155 calls:

3.6s
phi2
3.3s
a
3.0s
phi1
2.9s
lambda2
2.8s
lambda1
Compiler

Compiled 13138 to 8752 computations (33.4% saved)

bsearch33.1s (3%)

Algorithm
432×binary-search
57×left-value
Stop Event
8×predicate-same
424×narrow-enough
Results
12.0s15591×1valid
5.7s32756×0valid
4.4s1942×3valid
2.9s3178×2valid
1.9s1105×5exit
412.0ms69×4valid
250.0ms1779×0invalid
66.0ms227×1invalid
60.0ms128×2invalid
Compiler

Compiled 152268 to 102361 computations (32.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.3s
ival-cos: 4.6s (20.7% of total)
ival-sin: 4.0s (17.8% of total)
ival-mult: 3.2s (14.4% of total)
ival-pow: 2.8s (12.4% of total)
ival-div: 2.0s (8.8% of total)
backward-pass: 1.6s (7.2% of total)
ival-sub: 1.3s (5.9% of total)
ival-add: 919.0ms (4.1% of total)
ival-sqrt: 607.0ms (2.7% of total)
ival-neg: 261.0ms (1.2% of total)
ival-atan2: 235.0ms (1.1% of total)
ival-exp: 169.0ms (0.8% of total)
ival-atan: 150.0ms (0.7% of total)
ival-pi: 142.0ms (0.6% of total)
const: 128.0ms (0.6% of total)
ival-acos: 124.0ms (0.6% of total)
ival-tan: 58.0ms (0.3% of total)
ival-log: 52.0ms (0.2% of total)
ival-fabs: 15.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)

analyze24.6s (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.1s
ival-mult: 4.0s (28.2% of total)
ival-pow: 1.9s (13.8% of total)
ival-cos: 1.5s (10.8% of total)
ival-sin: 1.3s (9.2% of total)
ival-div: 1.3s (8.9% of total)
ival-add: 858.0ms (6.1% of total)
ival-sub: 751.0ms (5.3% of total)
ival-sqrt: 600.0ms (4.3% of total)
...c/correct-round.rkt:119:19: 377.0ms (2.7% of total)
ival-<: 269.0ms (1.9% of total)
ival-neg: 254.0ms (1.8% of total)
ival-atan2: 200.0ms (1.4% of total)
ival-pi: 109.0ms (0.8% of total)
const: 101.0ms (0.7% of total)
ival-exp: 88.0ms (0.6% of total)
ival-fabs: 76.0ms (0.5% of total)
ival-atan: 70.0ms (0.5% of total)
ival-and: 69.0ms (0.5% of total)
ival-tan: 55.0ms (0.4% of total)
ival-log: 49.0ms (0.3% of total)
backward-pass: 44.0ms (0.3% of total)
ival-acos: 38.0ms (0.3% of total)
ival-asin: 38.0ms (0.3% of total)
ival-<=: 30.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

explain22.0s (2%)

Results
6.5s8396×1valid
4.1s15732×0valid
3.4s1810×2valid
2.0s588×3valid
736.0ms98×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
ival-sin: 1.9s (18.9% of total)
ival-cos: 1.4s (14.1% of total)
ival-mult: 1.3s (13.4% of total)
backward-pass: 1.2s (12.5% of total)
ival-sub: 810.0ms (8.1% of total)
ival-div: 727.0ms (7.3% of total)
ival-pow: 700.0ms (7% of total)
ival-log: 498.0ms (5% of total)
ival-add: 325.0ms (3.3% of total)
ival-sqrt: 286.0ms (2.9% of total)
ival-tan: 201.0ms (2% of total)
ival-exp: 185.0ms (1.9% of total)
ival-neg: 109.0ms (1.1% of total)
const: 61.0ms (0.6% of total)
ival-atan2: 56.0ms (0.6% of total)
ival-pi: 41.0ms (0.4% of total)
ival-atan: 29.0ms (0.3% of total)
ival-fabs: 22.0ms (0.2% of total)
ival-acos: 21.0ms (0.2% of total)
ival-cbrt: 21.0ms (0.2% of total)
ival-asin: 10.0ms (0.1% of total)

series21.3s (2%)

Counts
3396 → 88628
Calls

18123 calls:

TimeVariablePointExpression
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)))))
170.0ms
t
@-inf
(exp (+ (* c_n (log (/ (+ 1 (/ 1 (+ -1 (/ -1 (exp s))))) (+ 1 (/ 1 (+ -1 (/ -1 (exp t)))))))) (* c_p (log (/ (/ 1 (- 1 (/ -1 (exp s)))) (/ 1 (+ 1 (exp (- 0 t)))))))))
157.0ms
F
@-inf
(/ (* (sqrt (neg (* C (+ (* -8 (/ (* A (* B B)) C)) (* 16 (* A A)))))) (sqrt F)) (- (* 4 (* A C)) (* B B)))
119.0ms
y-scale
@-inf
(* 180 (/ (atan (+ (/ (* -180 y-scale) (* angle (* x-scale (PI)))) (* (* 180 (* a a)) (- (/ x-scale (* angle (* (* (* b b) y-scale) (PI)))) (/ y-scale (* (* angle (* b b)) (* x-scale (PI)))))))) (PI)))
118.0ms
phi1
@inf
(sqrt (+ (+ 1/2 (* -1/2 (+ (* (sin phi2) (sin phi1)) (* (cos phi2) (cos phi1))))) (* (cos phi1) (* (cos phi2) (+ 1/2 (* -1/2 (cos (- lambda1 lambda2))))))))

preprocess14.1s (1.3%)

Algorithm
104×egg-herbie
Rules
92942×fnmadd-define
85938×fma-define
71350×sum3-define
65336×fmsub-define
57266×*-lowering-*.f32
Stop Event
50×saturated
52×iter limit
54×node limit
Compiler

Compiled 63292 to 21032 computations (66.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...