Herbie run

Date:Friday, January 26th, 2024
Commit:4da0cfad on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024026
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.5min)

sample9.8min (34.5%)

Results
1.9min298623×256valid
1.1min46146×512valid
9.7s27986×256invalid
9.9s27224×256infinite
9.7s25639×256unsamplable
32.5s25425×1024valid
2.7min16463×8192exit
50.3s10868×2048valid
1.3min7352×4096valid
11.8s5831×512infinite
2.3s1662×1024invalid
1.1s1218×512invalid
2.5s1155×2048invalid
26.2s1097×8192valid
193.0ms946×256precondition
4.8s688×2048infinite
2.6s548×1024infinite
3.8s371×4096infinite
6.0ms5×512unsamplable
9.0ms4×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 7.3min
Operation ival-pow, time spent: 2.8min, 39.0% of total-time
Operation ival-mult, time spent: 54.5s, 13.0% of total-time
Operation ival-sin, time spent: 50.4s, 12.0% of total-time
Operation ival-div, time spent: 38.9s, 9.0% of total-time
Operation ival-cos, time spent: 36.4s, 8.0% of total-time
Operation ival-add, time spent: 14.7s, 3.0% of total-time
Operation const, time spent: 13.6s, 3.0% of total-time
Operation ival-exp, time spent: 11.6s, 3.0% of total-time
Operation ival-log, time spent: 11.4s, 3.0% of total-time
Operation ival-sub, time spent: 10.9s, 3.0% of total-time
Operation ival-sqrt, time spent: 9.0s, 2.0% of total-time
Operation ival-neg, time spent: 3.5s, 1.0% of total-time
Operation ival-<, time spent: 3.5s, 1.0% of total-time
Operation ival-atan2, time spent: 2.0s, 0.0% of total-time
Operation ival-pi, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-and, time spent: 1.2s, 0.0% of total-time
Operation ival-acos, time spent: 944.0ms, 0.0% of total-time
Operation ival-tan, time spent: 890.0ms, 0.0% of total-time
Operation ival-asin, time spent: 365.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 304.0ms, 0.0% of total-time
Operation ival-<=, time spent: 303.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 156.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

localize7.2min (25.4%)

Results
Compiler

Compiled 69262 to 36157 computations (47.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4min
Operation ival-sin, time spent: 2.0min, 37.0% of total-time
Operation ival-pow, time spent: 56.5s, 18.0% of total-time
Operation ival-mult, time spent: 44.3s, 14.0% of total-time
Operation ival-div, time spent: 27.0s, 8.0% of total-time
Operation ival-cos, time spent: 24.6s, 8.0% of total-time
Operation const, time spent: 11.8s, 4.0% of total-time
Operation ival-add, time spent: 7.3s, 2.0% of total-time
Operation ival-sub, time spent: 5.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 1.0% of total-time
Operation ival-log, time spent: 4.1s, 1.0% of total-time
Operation ival-exp, time spent: 3.3s, 1.0% of total-time
Operation ival-log1p, time spent: 2.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.6s, 1.0% of total-time
Operation ival-fma, time spent: 2.1s, 1.0% of total-time
Operation ival-hypot, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival-expm1, time spent: 1.4s, 0.0% of total-time
Operation ival-atan, time spent: 640.0ms, 0.0% of total-time
Operation ival-acos, time spent: 590.0ms, 0.0% of total-time
Operation ival-neg, time spent: 517.0ms, 0.0% of total-time
Operation ival-tan, time spent: 398.0ms, 0.0% of total-time
Operation ival-pi, time spent: 187.0ms, 0.0% of total-time
Operation ival-asin, time spent: 100.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 0.0% of total-time

preprocess2.3min (8.1%)

Algorithm
51×egg-herbie
Rules
76366×fma-def
27106×div-sub
26806×fma-neg
24952×sub-neg
22390×distribute-lft-in
Stop Event
8×saturated
43×node limit
Results
Compiler

Compiled 66615 to 39665 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-sin, time spent: 18.6s, 21.0% of total-time
Operation ival-pow, time spent: 16.8s, 19.0% of total-time
Operation ival-mult, time spent: 16.4s, 18.0% of total-time
Operation ival-div, time spent: 12.5s, 14.0% of total-time
Operation ival-cos, time spent: 12.4s, 14.0% of total-time
Operation const, time spent: 3.3s, 4.0% of total-time
Operation ival-add, time spent: 3.1s, 4.0% of total-time
Operation ival-sub, time spent: 2.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 2.0% of total-time
Operation ival-log, time spent: 640.0ms, 1.0% of total-time
Operation ival-neg, time spent: 305.0ms, 0.0% of total-time
Operation ival-tan, time spent: 296.0ms, 0.0% of total-time
Operation ival-exp, time spent: 279.0ms, 0.0% of total-time
Operation ival-atan, time spent: 233.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 174.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 158.0ms, 0.0% of total-time
Operation ival-pi, time spent: 115.0ms, 0.0% of total-time
Operation ival-acos, time spent: 71.0ms, 0.0% of total-time
Operation ival-asin, time spent: 44.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time

eval2.0min (6.9%)

Results
Compiler

Compiled 6099661 to 3589281 computations (41.2% saved)

soundness1.6min (5.7%)

Rules
246700×fma-def
162232×associate-*r*
148136×log-prod
124212×associate-*l*
119950×fma-neg
Stop Event
5×saturated
380×node limit
8×unsound
Compiler

Compiled 38845 to 23043 computations (40.7% saved)

regimes1.5min (5.3%)

Counts
19281 → 805
Calls

134 calls:

8.7s
phi1
7.6s
lambda2
7.3s
phi2
5.7s
lambda1
4.1s
b
Results
Compiler

Compiled 10522 to 7773 computations (26.1% saved)

analyze1.1min (3.9%)

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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.3s
Operation ival-pow, time spent: 16.9s, 35.0% of total-time
Operation ival-mult, time spent: 9.5s, 20.0% of total-time
Operation ival-sin, time spent: 4.9s, 10.0% of total-time
Operation ival-cos, time spent: 4.4s, 9.0% of total-time
Operation ival-div, time spent: 4.3s, 9.0% of total-time
Operation const, time spent: 1.7s, 3.0% of total-time
Operation ival-add, time spent: 1.6s, 3.0% of total-time
Operation ival-sub, time spent: 1.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-<, time spent: 790.0ms, 2.0% of total-time
Operation ival-neg, time spent: 625.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 313.0ms, 1.0% of total-time
Operation ival-pi, time spent: 276.0ms, 1.0% of total-time
Operation ival-exp, time spent: 111.0ms, 0.0% of total-time
Operation ival-log, time spent: 109.0ms, 0.0% of total-time
Operation ival-tan, time spent: 106.0ms, 0.0% of total-time
Operation ival-and, time spent: 98.0ms, 0.0% of total-time
Operation ival-atan, time spent: 83.0ms, 0.0% of total-time
Operation ival-acos, time spent: 80.0ms, 0.0% of total-time
Operation ival-asin, time spent: 77.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 0.0% of total-time
Operation ival-<=, time spent: 5.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time

simplify55.1s (3.2%)

Algorithm
215×egg-herbie
Rules
142736×fma-def
96220×associate-*r*
83510×log-prod
82006×associate-*l*
77350×times-frac
Stop Event
46×saturated
34×fuel
168×node limit
1×unsound
12×done
Counts
78756 → 64969
Compiler

Compiled 12526 to 8415 computations (32.8% saved)

prune45.2s (2.6%)

Counts
140686 → 6188
Compiler

Compiled 384275 to 265588 computations (30.9% saved)

rewrite34.6s (2%)

Algorithm
169×batch-egg-rewrite
Rules
89659×log1p-expm1-u
70644×expm1-log1p-u
55346×expm1-udef
50972×log-prod
50410×log1p-udef
Stop Event
164×node limit
5×unsound
Counts
1538 → 46463

bsearch26.1s (1.5%)

Algorithm
291×binary-search
66×left-value
Stop Event
7×predicate-same
284×narrow-enough
Results
10.8s26505×256valid
6.0s5799×512valid
1.2s2919×256invalid
1.7s1687×1024valid
2.3s1593×2048valid
1.7s867×4096valid
278.0ms787×256infinite
378.0ms230×1024invalid
571.0ms173×2048invalid
242.0ms164×512invalid
97.0ms122×512infinite
17.0ms15×256unsamplable
Compiler

Compiled 79344 to 58951 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.7s
Operation ival-mult, time spent: 2.9s, 19.0% of total-time
Operation ival-cos, time spent: 1.9s, 12.0% of total-time
Operation ival-sub, time spent: 1.9s, 12.0% of total-time
Operation ival-sin, time spent: 1.6s, 10.0% of total-time
Operation ival-pow, time spent: 1.2s, 8.0% of total-time
Operation const, time spent: 1.2s, 8.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 7.0% of total-time
Operation ival-add, time spent: 1.0s, 7.0% of total-time
Operation ival-div, time spent: 870.0ms, 6.0% of total-time
Operation ival-acos, time spent: 409.0ms, 3.0% of total-time
Operation ival-atan, time spent: 408.0ms, 3.0% of total-time
Operation ival-exp, time spent: 399.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 285.0ms, 2.0% of total-time
Operation ival-neg, time spent: 207.0ms, 1.0% of total-time
Operation ival-log, time spent: 131.0ms, 1.0% of total-time
Operation ival-pi, time spent: 122.0ms, 1.0% of total-time
Operation ival-asin, time spent: 71.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 14.0ms, 0.0% of total-time
Operation ival-tan, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

series15.2s (0.9%)

Counts
1538 → 32293
Calls

8844 calls:

TimeVariablePointExpression
518.0ms
t
@inf
(/.f64 1 (/.f64 (/.f64 (hypot.f64 1 (*.f64 (tan.f64 t) (/.f64 eh ew))) ew) (cos.f64 t)))
388.0ms
lambda2
@inf
(log.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))
341.0ms
x-scale
@0
(fma.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale) (/.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale)) (*.f64 (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale) (/.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale)) (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 y-scale 2)) (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 x-scale 2)) -4)))
340.0ms
t
@-inf
(*.f64 ew (sin.f64 t))
211.0ms
a
@-inf
(fma.f64 (/.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (/.f64 (*.f64 x-scale y-scale) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (/.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (/.f64 (*.f64 x-scale y-scale) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 y-scale 2)) (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 x-scale 2)) -4)))

end23.0ms (0%)

Profiling

Loading profile data...