Herbie run

Date:Wednesday, January 31st, 2024
Commit:2d30a991 on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 26.9min)

sample8.0min (29.9%)

Results
1.3min298834×256valid
46.3s45929×512valid
5.8s27995×256invalid
7.1s27037×256infinite
6.9s26853×256unsamplable
20.3s25547×1024valid
2.7min16687×8192exit
30.7s10943×2048valid
56.0s7355×4096valid
9.5s6066×512infinite
1.5s1649×1024invalid
1.1s1151×512invalid
1.3s1141×2048invalid
20.2s1113×8192valid
109.0ms924×256precondition
2.9s674×2048infinite
1.5s501×1024infinite
3.0s419×4096infinite
4.0ms5×512unsamplable
7.0ms4×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-pow, time spent: 2.9min, 45.0% of total-time
Operation ival-sin, time spent: 45.1s, 12.0% of total-time
Operation ival-mult, time spent: 38.9s, 10.0% of total-time
Operation ival-cos, time spent: 35.1s, 9.0% of total-time
Operation ival-div, time spent: 29.6s, 8.0% of total-time
Operation ival-exp, time spent: 11.1s, 3.0% of total-time
Operation ival-log, time spent: 10.9s, 3.0% of total-time
Operation ival-add, time spent: 9.5s, 2.0% of total-time
Operation ival-sub, time spent: 9.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 7.4s, 2.0% of total-time
Operation const, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation ival-<, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.0s, 0.0% of total-time
Operation ival-atan, time spent: 1.0s, 0.0% of total-time
Operation ival-acos, time spent: 888.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 703.0ms, 0.0% of total-time
Operation ival-tan, time spent: 634.0ms, 0.0% of total-time
Operation ival-and, time spent: 506.0ms, 0.0% of total-time
Operation ival-asin, time spent: 333.0ms, 0.0% of total-time
Operation ival-<=, time spent: 212.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 75.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.7min (28.7%)

Results
Compiler

Compiled 84749 to 46403 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9min
Operation ival-sin, time spent: 3.4min, 49.0% of total-time
Operation ival-pow, time spent: 1.2min, 18.0% of total-time
Operation ival-mult, time spent: 38.8s, 9.0% of total-time
Operation ival-cos, time spent: 37.5s, 9.0% of total-time
Operation ival-div, time spent: 26.1s, 6.0% of total-time
Operation ival-add, time spent: 5.4s, 1.0% of total-time
Operation ival-sqrt, time spent: 4.1s, 1.0% of total-time
Operation ival-sub, time spent: 3.8s, 1.0% of total-time
Operation const, time spent: 3.7s, 1.0% of total-time
Operation ival-expm1, time spent: 2.8s, 1.0% of total-time
Operation ival-log, time spent: 2.3s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.9s, 0.0% of total-time
Operation ival-hypot, time spent: 1.8s, 0.0% of total-time
Operation ival-fma, time spent: 1.8s, 0.0% of total-time
Operation ival-exp, time spent: 1.6s, 0.0% of total-time
Operation ival-atan2, time spent: 1.4s, 0.0% of total-time
Operation ival-log1p, time spent: 1.1s, 0.0% of total-time
Operation ival-atan, time spent: 713.0ms, 0.0% of total-time
Operation ival-tan, time spent: 611.0ms, 0.0% of total-time
Operation ival-acos, time spent: 438.0ms, 0.0% of total-time
Operation ival-neg, time spent: 399.0ms, 0.0% of total-time
Operation ival-pi, time spent: 191.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 112.0ms, 0.0% of total-time
Operation ival-asin, time spent: 76.0ms, 0.0% of total-time

eval2.2min (8.2%)

Compiler

Compiled 6252137 to 3696139 computations (40.9% saved)

preprocess2.1min (7.7%)

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
Compiler

Compiled 71914 to 41740 computations (42% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-sin, time spent: 23.6s, 26.0% of total-time
Operation ival-pow, time spent: 17.3s, 19.0% of total-time
Operation ival-cos, time spent: 16.3s, 18.0% of total-time
Operation ival-mult, time spent: 14.2s, 15.0% of total-time
Operation ival-div, time spent: 12.4s, 13.0% of total-time
Operation ival-add, time spent: 2.1s, 2.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 1.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 592.0ms, 1.0% of total-time
Operation ival-atan, time spent: 303.0ms, 0.0% of total-time
Operation ival-tan, time spent: 234.0ms, 0.0% of total-time
Operation ival-exp, time spent: 225.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 145.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 135.0ms, 0.0% of total-time
Operation ival-neg, time spent: 126.0ms, 0.0% of total-time
Operation ival-pi, time spent: 104.0ms, 0.0% of total-time
Operation ival-acos, time spent: 58.0ms, 0.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

soundness1.7min (6.4%)

Rules
258578×fma-def
172680×associate-*r*
122492×log-prod
115158×associate-*l*
112838×fma-neg
Stop Event
6×saturated
367×node limit
3×unsound
Compiler

Compiled 41075 to 23941 computations (41.7% saved)

regimes1.4min (5.2%)

Counts
17368 → 759
Calls

134 calls:

7.8s
phi2
7.4s
phi1
7.0s
lambda1
5.8s
lambda2
4.5s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11053 to 8139 computations (26.4% saved)

simplify1.0min (3.8%)

Algorithm
218×egg-herbie
Rules
144102×fma-def
97932×associate-*r*
83672×times-frac
82896×associate-*l*
82664×log-prod
Stop Event
47×saturated
37×fuel
171×node limit
10×done
Counts
78304 → 62628
Compiler

Compiled 14136 to 9303 computations (34.2% saved)

analyze48.4s (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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 41.9s
Operation ival-pow, time spent: 18.2s, 43.0% of total-time
Operation ival-mult, time spent: 7.0s, 17.0% of total-time
Operation ival-sin, time spent: 4.6s, 11.0% of total-time
Operation ival-cos, time spent: 4.1s, 10.0% of total-time
Operation ival-div, time spent: 3.1s, 7.0% of total-time
Operation ival-add, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 921.0ms, 2.0% of total-time
Operation const, time spent: 459.0ms, 1.0% of total-time
Operation ival-neg, time spent: 247.0ms, 1.0% of total-time
Operation ival-<, time spent: 187.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 146.0ms, 0.0% of total-time
Operation ival-pi, time spent: 103.0ms, 0.0% of total-time
Operation ival-tan, time spent: 93.0ms, 0.0% of total-time
Operation ival-log, time spent: 91.0ms, 0.0% of total-time
Operation ival-exp, time spent: 89.0ms, 0.0% of total-time
Operation ival-asin, time spent: 85.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 70.0ms, 0.0% of total-time
Operation ival-acos, time spent: 64.0ms, 0.0% of total-time
Operation ival-atan, time spent: 55.0ms, 0.0% of total-time
Operation ival-and, time spent: 42.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 24.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.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

prune47.2s (2.9%)

Counts
139160 → 6150
Compiler

Compiled 396385 to 273730 computations (30.9% saved)

rewrite35.0s (2.2%)

Algorithm
171×batch-egg-rewrite
Rules
91261×log1p-expm1-u
70210×expm1-log1p-u
55278×expm1-udef
52124×log1p-udef
51170×log-prod
Stop Event
166×node limit
5×unsound
Counts
1543 → 46401

bsearch17.2s (1.1%)

Algorithm
263×binary-search
81×left-value
Stop Event
9×predicate-same
254×narrow-enough
Results
6.4s22315×256valid
5.4s6592×512valid
1.0s864×2048valid
141.0ms863×256invalid
1.5s795×4096valid
612.0ms600×1024valid
79.0ms325×256infinite
97.0ms205×512infinite
2.0ms25×256unsamplable
Compiler

Compiled 82625 to 60964 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-sin, time spent: 2.4s, 22.0% of total-time
Operation ival-cos, time spent: 1.7s, 16.0% of total-time
Operation ival-mult, time spent: 1.4s, 12.0% of total-time
Operation ival-pow, time spent: 1.1s, 10.0% of total-time
Operation ival-div, time spent: 621.0ms, 6.0% of total-time
Operation ival-sub, time spent: 611.0ms, 6.0% of total-time
Operation ival-atan2, time spent: 591.0ms, 5.0% of total-time
Operation ival-add, time spent: 514.0ms, 5.0% of total-time
Operation ival-pi, time spent: 508.0ms, 5.0% of total-time
Operation ival-atan, time spent: 438.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 394.0ms, 4.0% of total-time
Operation ival-acos, time spent: 275.0ms, 3.0% of total-time
Operation const, time spent: 117.0ms, 1.0% of total-time
Operation ival-log, time spent: 113.0ms, 1.0% of total-time
Operation ival-asin, time spent: 86.0ms, 1.0% of total-time
Operation ival-exp, time spent: 65.0ms, 1.0% of total-time
Operation ival-neg, time spent: 49.0ms, 0.0% of total-time
Operation ival-tan, time spent: 28.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series15.1s (0.9%)

Counts
1543 → 31903
Calls

8676 calls:

TimeVariablePointExpression
447.0ms
F
@inf
(sqrt.f64 (+.f64 (*.f64 -2 (*.f64 (pow.f64 B 3) F)) (+.f64 (*.f64 2 (*.f64 B (*.f64 F (+.f64 (*.f64 -1/2 (pow.f64 (-.f64 A C) 2)) (*.f64 4 (*.f64 A C)))))) (*.f64 2 (*.f64 (pow.f64 B 2) (*.f64 F (+.f64 A C)))))))
447.0ms
phi2
@0
(-.f64 1 (fma.f64 (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 phi2 -1/2)) 2)))
353.0ms
C
@0
(sqrt.f64 (*.f64 (+.f64 (+.f64 C A) (hypot.f64 (-.f64 A C) B)) (*.f64 2 F)))
139.0ms
b
@inf
(/.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 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (pow.f64 x-scale 2)) (/.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))) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (*.f64 y-scale x-scale)) 2))))) (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (*.f64 y-scale x-scale)))
133.0ms
theta
@inf
(*.f64 (sin.f64 theta) (-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)))) 1))

end28.0ms (0%)

Profiling

Loading profile data...