Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
Parameters:256 points for 4 iterations
Flags:
reduce: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: 28.3min)

localize8.1min (28.4%)

Results
Compiler

Compiled 89240 to 48180 computations (46% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5min
Operation ival-mult, time spent: 1.3min, 21.0% of total-time
Operation ival-sin, time spent: 1.2min, 19.0% of total-time
Operation ival-pow, time spent: 49.8s, 13.0% of total-time
Operation ival-cos, time spent: 39.6s, 10.0% of total-time
Operation ival-div, time spent: 33.0s, 9.0% of total-time
Operation composed, time spent: 27.2s, 7.0% of total-time
Operation ival-add, time spent: 25.3s, 7.0% of total-time
Operation ival-sub, time spent: 15.5s, 4.0% of total-time
Operation ival-sqrt, time spent: 13.3s, 3.0% of total-time
Operation const, time spent: 10.1s, 3.0% of total-time
Operation ival-exp, time spent: 8.5s, 2.0% of total-time
Operation ival-log, time spent: 5.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.0s, 1.0% of total-time
Operation ival-tan, time spent: 1.2s, 0.0% of total-time
Operation ival-atan, time spent: 977.0ms, 0.0% of total-time
Operation ival-acos, time spent: 927.0ms, 0.0% of total-time
Operation ival-neg, time spent: 816.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 713.0ms, 0.0% of total-time
Operation ival-pi, time spent: 228.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 165.0ms, 0.0% of total-time
Operation ival-asin, time spent: 35.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time

sample7.4min (26.2%)

Results
1.4min292426×0valid
59.0s64084×1valid
17.9s51138×0unsamplable
8.1s29285×0invalid
57.4s26933×6exit
7.1s26447×0infinite
44.5s12887×4valid
20.0s9588×3valid
14.0s9316×2valid
6.4s6247×1infinite
43.1s4456×5valid
1.4s1965×1invalid
29.9s1731×6valid
1.6s930×4invalid
133.0ms878×0precondition
1.1s780×3invalid
1.0s770×2invalid
4.1s713×4infinite
4.8s630×5infinite
1.5s402×3infinite
998.0ms297×2infinite
1.2s88×6infinite
6.0ms4×5invalid
2.0ms1×6unsamplable
1.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 5.4min
Operation ival-sin, time spent: 52.6s, 16.0% of total-time
Operation ival-mult, time spent: 51.1s, 16.0% of total-time
Operation ival-cos, time spent: 43.4s, 13.0% of total-time
Operation ival-div, time spent: 41.9s, 13.0% of total-time
Operation ival-pow, time spent: 35.9s, 11.0% of total-time
Operation ival-add, time spent: 26.3s, 8.0% of total-time
Operation ival-sub, time spent: 22.1s, 7.0% of total-time
Operation ival-exp, time spent: 16.1s, 5.0% of total-time
Operation ival-sqrt, time spent: 8.3s, 3.0% of total-time
Operation const, time spent: 8.2s, 3.0% of total-time
Operation ival-<, time spent: 5.3s, 2.0% of total-time
Operation ival-neg, time spent: 4.7s, 1.0% of total-time
Operation ival-log, time spent: 4.0s, 1.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-and, time spent: 1.1s, 0.0% of total-time
Operation ival-atan2, time spent: 850.0ms, 0.0% of total-time
Operation ival-acos, time spent: 640.0ms, 0.0% of total-time
Operation ival-tan, time spent: 611.0ms, 0.0% of total-time
Operation ival-asin, time spent: 319.0ms, 0.0% of total-time
Operation ival-<=, time spent: 244.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 223.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 93.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

eval2.9min (10.1%)

Compiler

Compiled 6888453 to 4075778 computations (40.8% saved)

preprocess2.3min (8.2%)

Algorithm
52×egg-herbie
Rules
63262×fma-define
50226×fma-neg
27064×div-sub
24342×sub-neg
22954×distribute-lft-neg-in
Stop Event
9×saturated
43×node limit
Compiler

Compiled 70379 to 42621 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-sin, time spent: 21.0s, 22.0% of total-time
Operation ival-mult, time spent: 18.1s, 19.0% of total-time
Operation ival-cos, time spent: 17.5s, 18.0% of total-time
Operation ival-div, time spent: 14.7s, 15.0% of total-time
Operation ival-pow, time spent: 10.0s, 10.0% of total-time
Operation ival-add, time spent: 5.0s, 5.0% of total-time
Operation ival-sub, time spent: 4.4s, 5.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 2.0% of total-time
Operation ival-tan, time spent: 741.0ms, 1.0% of total-time
Operation ival-exp, time spent: 281.0ms, 0.0% of total-time
Operation ival-neg, time spent: 207.0ms, 0.0% of total-time
Operation ival-atan, time spent: 201.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 177.0ms, 0.0% of total-time
Operation ival-log, time spent: 145.0ms, 0.0% of total-time
Operation ival-pi, time spent: 125.0ms, 0.0% of total-time
Operation ival-acos, time spent: 53.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time

soundness2.1min (7.4%)

Rules
230036×fma-define
193078×associate-*r*
164066×fma-neg
160302×log-prod
147184×associate-*l*
Stop Event
8×saturated
402×node limit
7×unsound
Results
Compiler

Compiled 42515 to 25368 computations (40.3% saved)

regimes1.6min (5.5%)

Counts
17652 → 808
Calls

147 calls:

7.4s
phi2
7.0s
phi1
7.0s
lambda1
6.1s
a
6.1s
lambda2
Compiler

Compiled 11700 to 8583 computations (26.6% saved)

simplify1.1min (3.9%)

Algorithm
228×egg-herbie
Rules
119412×fma-define
113022×associate-*r*
103176×log-prod
95906×associate-*l*
88336×fma-neg
Stop Event
49×saturated
40×fuel
178×node limit
1×unsound
9×done
Counts
83161 → 67080
Compiler

Compiled 14120 to 9602 computations (32% saved)

prune50.7s (3%)

Counts
160443 → 6569
Compiler

Compiled 431546 to 298552 computations (30.8% saved)

rewrite39.9s (2.3%)

Algorithm
179×batch-egg-rewrite
Rules
119785×log1p-expm1-u
86404×expm1-log1p-u
56768×log-prod
44642×prod-diff
42250×unpow-prod-down
Stop Event
176×node limit
3×unsound
Counts
1644 → 49620

analyze36.9s (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 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.8s
Operation ival-mult, time spent: 6.3s, 26.0% of total-time
Operation ival-cos, time spent: 4.0s, 16.0% of total-time
Operation ival-sin, time spent: 3.1s, 12.0% of total-time
Operation ival-pow, time spent: 3.1s, 12.0% of total-time
Operation ival-div, time spent: 3.0s, 12.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 7.0% of total-time
Operation ival-add, time spent: 1.1s, 4.0% of total-time
Operation ival-sub, time spent: 754.0ms, 3.0% of total-time
Operation const, time spent: 334.0ms, 1.0% of total-time
Operation ival-neg, time spent: 307.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 225.0ms, 1.0% of total-time
Operation ival-<, time spent: 165.0ms, 1.0% of total-time
Operation ival-log, time spent: 112.0ms, 0.0% of total-time
Operation ival-exp, time spent: 105.0ms, 0.0% of total-time
Operation ival-pi, time spent: 80.0ms, 0.0% of total-time
Operation ival-tan, time spent: 66.0ms, 0.0% of total-time
Operation ival-acos, time spent: 63.0ms, 0.0% of total-time
Operation ival-asin, time spent: 60.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.0ms, 0.0% of total-time
Operation ival-and, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 32.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 0.0% of total-time
Operation ival-<=, time spent: 10.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

bsearch23.6s (1.4%)

Algorithm
303×binary-search
79×left-value
Stop Event
13×predicate-same
290×narrow-enough
Results
7.3s25132×0valid
7.5s8716×1valid
2.1s6033×0invalid
612.0ms851×1invalid
648.0ms611×4valid
234.0ms589×0infinite
266.0ms389×2valid
549.0ms387×4invalid
334.0ms298×1infinite
355.0ms265×2invalid
254.0ms226×3valid
273.0ms224×5valid
309.0ms212×3invalid
16.0ms8×6exit
12.0ms7×6valid
0.0ms2×0unsamplable
Compiler

Compiled 86344 to 64952 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8s
Operation ival-mult, time spent: 3.2s, 22.0% of total-time
Operation ival-sub, time spent: 1.8s, 12.0% of total-time
Operation ival-sin, time spent: 1.8s, 12.0% of total-time
Operation ival-cos, time spent: 1.8s, 12.0% of total-time
Operation ival-add, time spent: 1.4s, 10.0% of total-time
Operation ival-div, time spent: 1.3s, 9.0% of total-time
Operation ival-pow, time spent: 1.1s, 8.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 7.0% of total-time
Operation const, time spent: 331.0ms, 2.0% of total-time
Operation ival-acos, time spent: 192.0ms, 1.0% of total-time
Operation ival-atan, time spent: 165.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 163.0ms, 1.0% of total-time
Operation ival-neg, time spent: 142.0ms, 1.0% of total-time
Operation ival-exp, time spent: 99.0ms, 1.0% of total-time
Operation ival-pi, time spent: 85.0ms, 1.0% of total-time
Operation ival-log, time spent: 36.0ms, 0.0% of total-time
Operation ival-asin, time spent: 15.0ms, 0.0% of total-time
Operation ival-tan, time spent: 9.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series22.4s (1.3%)

Counts
1644 → 33541
Calls

9126 calls:

TimeVariablePointExpression
433.0ms
a
@0
(/.f64 (sqrt.f64 (*.f64 (*.f64 8 (*.f64 b (/.f64 (*.f64 (neg.f64 (pow.f64 a 2)) b) (pow.f64 (*.f64 x-scale y-scale) 2)))) (*.f64 (*.f64 b (*.f64 (neg.f64 (pow.f64 a 2)) b)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 x-scale 2)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 y-scale 2)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 x-scale 2)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 y-scale 2))) (*.f64 (cos.f64 (*.f64 angle (/.f64 (PI.f64) 180))) (/.f64 (*.f64 (*.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) 180))) 2) (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (*.f64 x-scale y-scale))))))))) (*.f64 b (/.f64 (*.f64 (neg.f64 (pow.f64 a 2)) b) (pow.f64 (*.f64 x-scale y-scale) 2))))
387.0ms
g
@-inf
(log.f64 (*.f64 1/2 (/.f64 g a)))
343.0ms
delta
@0
(-.f64 (cos.f64 delta) (*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))))
276.0ms
b
@inf
(/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2)) (pow.f64 y-scale 2))
265.0ms
ew
@0
(log1p.f64 (*.f64 (sin.f64 t) (sin.f64 (atan.f64 (/.f64 eh (/.f64 ew (tan.f64 t)))))))

end22.0ms (0%)

Profiling

Loading profile data...