Herbie run

Date:Friday, February 9th, 2024
Commit:a45dd3bd on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024040
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: 27.9min)

localize9.3min (33.4%)

Results
Compiler

Compiled 85345 to 45920 computations (46.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3min
Operation ival-sin, time spent: 4.4min, 53.0% of total-time
Operation ival-cos, time spent: 57.0s, 11.0% of total-time
Operation ival-mult, time spent: 50.9s, 10.0% of total-time
Operation ival-pow, time spent: 43.6s, 9.0% of total-time
Operation ival-div, time spent: 28.6s, 6.0% of total-time
Operation ival-log, time spent: 9.3s, 2.0% of total-time
Operation ival-add, time spent: 6.1s, 1.0% of total-time
Operation ival-exp, time spent: 5.4s, 1.0% of total-time
Operation ival-sub, time spent: 5.1s, 1.0% of total-time
Operation ival-sqrt, time spent: 5.0s, 1.0% of total-time
Operation const, time spent: 4.3s, 1.0% of total-time
Operation ival-expm1, time spent: 4.0s, 1.0% of total-time
Operation ival-fma, time spent: 2.2s, 0.0% of total-time
Operation ival-hypot, time spent: 2.1s, 0.0% of total-time
Operation ival-cbrt, time spent: 1.7s, 0.0% of total-time
Operation ival-atan2, time spent: 1.6s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-log1p, time spent: 1.2s, 0.0% of total-time
Operation ival-tan, time spent: 860.0ms, 0.0% of total-time
Operation ival-neg, time spent: 548.0ms, 0.0% of total-time
Operation ival-acos, time spent: 454.0ms, 0.0% of total-time
Operation ival-pi, time spent: 221.0ms, 0.0% of total-time
Operation ival-asin, time spent: 109.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 99.0ms, 0.0% of total-time

sample7.6min (27.3%)

Results
1.3min299159×256valid
40.1s45859×512valid
5.3s27781×256invalid
6.3s27027×256infinite
7.3s26965×256unsamplable
19.6s25370×1024valid
2.7min16572×8192exit
29.2s11057×2048valid
50.6s7351×4096valid
6.4s5946×512infinite
1.2s1676×1024invalid
1.7s1188×2048invalid
19.1s1109×8192valid
602.0ms1102×512invalid
98.0ms855×256precondition
2.7s673×2048infinite
1.5s545×1024infinite
2.6s379×4096infinite
2.0ms3×512unsamplable
23.0ms2×4096unsamplable
34.0ms1×8192unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.0min
Operation ival-pow, time spent: 2.5min, 41.0% of total-time
Operation ival-sin, time spent: 47.8s, 13.0% of total-time
Operation ival-mult, time spent: 38.3s, 11.0% of total-time
Operation ival-cos, time spent: 34.0s, 9.0% of total-time
Operation ival-div, time spent: 28.6s, 8.0% of total-time
Operation ival-log, time spent: 11.3s, 3.0% of total-time
Operation ival-exp, time spent: 11.0s, 3.0% of total-time
Operation ival-add, time spent: 9.6s, 3.0% of total-time
Operation ival-sub, time spent: 7.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.7s, 2.0% of total-time
Operation const, time spent: 3.5s, 1.0% of total-time
Operation ival-<, time spent: 2.4s, 1.0% of total-time
Operation ival-neg, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-acos, time spent: 815.0ms, 0.0% of total-time
Operation ival-tan, time spent: 623.0ms, 0.0% of total-time
Operation ival-and, time spent: 499.0ms, 0.0% of total-time
Operation ival-asin, time spent: 445.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 277.0ms, 0.0% of total-time
Operation ival-<=, time spent: 235.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 76.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.3min (8.4%)

Compiler

Compiled 6539758 to 3863144 computations (40.9% saved)

preprocess1.8min (6.3%)

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 65816 to 38892 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-sin, time spent: 19.9s, 26.0% of total-time
Operation ival-cos, time spent: 15.6s, 20.0% of total-time
Operation ival-mult, time spent: 13.3s, 17.0% of total-time
Operation ival-div, time spent: 11.9s, 16.0% of total-time
Operation ival-pow, time spent: 7.4s, 10.0% of total-time
Operation ival-add, time spent: 2.3s, 3.0% of total-time
Operation ival-sub, time spent: 1.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 719.0ms, 1.0% of total-time
Operation ival-atan, time spent: 280.0ms, 0.0% of total-time
Operation ival-tan, time spent: 269.0ms, 0.0% of total-time
Operation ival-exp, time spent: 237.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 161.0ms, 0.0% of total-time
Operation ival-neg, time spent: 147.0ms, 0.0% of total-time
Operation ival-pi, time spent: 91.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 79.0ms, 0.0% of total-time
Operation ival-acos, time spent: 59.0ms, 0.0% of total-time
Operation ival-asin, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

soundness1.7min (6.2%)

Rules
273750×fma-def
153158×associate-*r*
125920×fma-neg
125826×times-frac
120960×log-prod
Stop Event
6×saturated
376×node limit
6×unsound
Results
Compiler

Compiled 45895 to 26625 computations (42% saved)

regimes1.6min (5.8%)

Counts
18341 → 743
Calls

134 calls:

7.8s
lambda1
7.3s
lambda2
7.3s
phi1
7.0s
phi2
5.2s
b
Compiler

Compiled 12080 to 8839 computations (26.8% saved)

simplify59.0s (3.5%)

Algorithm
219×egg-herbie
Rules
140826×fma-def
88606×associate-*r*
86762×log-prod
77058×times-frac
76580×*-commutative
Stop Event
47×saturated
36×fuel
169×node limit
3×unsound
11×done
Counts
80321 → 66313
Compiler

Compiled 14168 to 9511 computations (32.9% saved)

prune49.7s (3%)

Counts
143528 → 6775
Compiler

Compiled 449759 to 309773 computations (31.1% saved)

rewrite35.6s (2.1%)

Algorithm
172×batch-egg-rewrite
Rules
94099×log1p-expm1-u
71223×expm1-log1p-u
56310×expm1-udef
52412×log1p-udef
51156×log-prod
Stop Event
169×node limit
3×unsound
Counts
1584 → 47206

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

Precisions
Click to see histograms. Total time spent on operations: 27.7s
Operation ival-mult, time spent: 6.9s, 25.0% of total-time
Operation ival-sin, time spent: 4.3s, 15.0% of total-time
Operation ival-cos, time spent: 4.3s, 15.0% of total-time
Operation ival-div, time spent: 3.5s, 13.0% of total-time
Operation ival-pow, time spent: 3.2s, 12.0% of total-time
Operation ival-add, time spent: 1.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 5.0% of total-time
Operation ival-sub, time spent: 990.0ms, 4.0% of total-time
Operation ival-<, time spent: 434.0ms, 2.0% of total-time
Operation const, time spent: 414.0ms, 1.0% of total-time
Operation ival-neg, time spent: 224.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 149.0ms, 1.0% of total-time
Operation ival-exp, time spent: 116.0ms, 0.0% of total-time
Operation ival-tan, time spent: 97.0ms, 0.0% of total-time
Operation ival-pi, time spent: 96.0ms, 0.0% of total-time
Operation ival-log, time spent: 90.0ms, 0.0% of total-time
Operation ival-asin, time spent: 64.0ms, 0.0% of total-time
Operation ival-acos, time spent: 62.0ms, 0.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-and, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.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

bsearch15.7s (0.9%)

Algorithm
267×binary-search
52×left-value
Stop Event
5×predicate-same
262×narrow-enough
Results
6.3s23723×256valid
4.1s4930×512valid
377.0ms2380×256invalid
928.0ms1371×2048valid
854.0ms1250×1024valid
1.0s866×4096valid
126.0ms576×256infinite
62.0ms132×512infinite
Compiler

Compiled 84983 to 63001 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-sin, time spent: 1.6s, 18.0% of total-time
Operation ival-mult, time spent: 1.6s, 17.0% of total-time
Operation ival-cos, time spent: 1.1s, 12.0% of total-time
Operation ival-div, time spent: 896.0ms, 10.0% of total-time
Operation ival-sub, time spent: 662.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 652.0ms, 7.0% of total-time
Operation ival-pow, time spent: 478.0ms, 5.0% of total-time
Operation ival-atan, time spent: 406.0ms, 4.0% of total-time
Operation ival-exp, time spent: 373.0ms, 4.0% of total-time
Operation ival-add, time spent: 369.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 282.0ms, 3.0% of total-time
Operation ival-acos, time spent: 153.0ms, 2.0% of total-time
Operation ival-log, time spent: 153.0ms, 2.0% of total-time
Operation const, time spent: 142.0ms, 2.0% of total-time
Operation ival-pi, time spent: 103.0ms, 1.0% of total-time
Operation ival-neg, time spent: 92.0ms, 1.0% of total-time
Operation ival-asin, time spent: 76.0ms, 1.0% of total-time
Operation ival-tan, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 4.0ms, 0.0% of total-time

series15.6s (0.9%)

Counts
1584 → 33115
Calls

9147 calls:

TimeVariablePointExpression
616.0ms
x-scale
@0
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (pow.f64 a 2) (neg.f64 b))) (*.f64 (/.f64 (*.f64 8 (*.f64 b (*.f64 (pow.f64 a 2) (neg.f64 b)))) (pow.f64 (*.f64 x-scale 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)) (+.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)) (hypot.f64 (-.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)) (/.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 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) x-scale) (/.f64 (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) 2) (-.f64 (pow.f64 b 2) (pow.f64 a 2))) y-scale)))))))) (*.f64 b (*.f64 (pow.f64 a 2) (neg.f64 b))))))
547.0ms
x
@-inf
(pow.f64 (tan.f64 x) 3/2)
437.0ms
b
@0
(pow.f64 (pow.f64 (-.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (pow.f64 b 2)))) 3) 1/3)
365.0ms
C
@0
(/.f64 (neg.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 C (-.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 2 (fma.f64 A (*.f64 C -4) (pow.f64 B 2))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
131.0ms
C
@inf
(sqrt.f64 (*.f64 F (*.f64 (+.f64 C (-.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 2 (fma.f64 A (*.f64 C -4) (pow.f64 B 2))))))

end19.0ms (0%)

Profiling

Loading profile data...