Herbie run

Date:Saturday, March 2nd, 2024
Commit:f1c17153 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024062
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: 10.6min)

sample2.8min (26.7%)

Results
1.2min369497×0valid
13.3s71108×0infinite
7.9s18312×1valid
54.7s9740×5exit
4.1s6863×2valid
3.4s4829×1infinite
774.0ms4587×0unsamplable
99.0ms518×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-sin, time spent: 27.6s, 27.0% of total-time
Operation ival-mult, time spent: 21.2s, 21.0% of total-time
Operation ival-add, time spent: 11.4s, 11.0% of total-time
Operation ival-sub, time spent: 9.2s, 9.0% of total-time
Operation ival-div, time spent: 7.6s, 7.0% of total-time
Operation backward-pass, time spent: 7.3s, 7.0% of total-time
Operation ival-exp, time spent: 3.3s, 3.0% of total-time
Operation ival-log, time spent: 2.6s, 3.0% of total-time
Operation ival-pow, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 2.0% of total-time
Operation ival-asin, time spent: 1.2s, 1.0% of total-time
Operation ival-atan2, time spent: 961.0ms, 1.0% of total-time
Operation ival-<=, time spent: 708.0ms, 1.0% of total-time
Operation ival->, time spent: 627.0ms, 1.0% of total-time
Operation ival-pi, time spent: 504.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 396.0ms, 0.0% of total-time
Operation ival-neg, time spent: 291.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 239.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 199.0ms, 0.0% of total-time
Operation ival->=, time spent: 141.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 105.0ms, 0.0% of total-time
Operation ival-and, time spent: 94.0ms, 0.0% of total-time
Bogosity

localize2.2min (20.3%)

Compiler

Compiled 44247 to 25031 computations (43.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 13.9s, 15.0% of total-time
Operation ival-pow, time spent: 13.5s, 15.0% of total-time
Operation ival-asin, time spent: 13.0s, 14.0% of total-time
Operation ival-add, time spent: 10.6s, 11.0% of total-time
Operation ival-sub, time spent: 8.4s, 9.0% of total-time
Operation composed, time spent: 8.1s, 9.0% of total-time
Operation ival-div, time spent: 7.8s, 8.0% of total-time
Operation ival-log, time spent: 4.5s, 5.0% of total-time
Operation ival-acos, time spent: 3.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.1s, 2.0% of total-time
Operation ival-sin, time spent: 893.0ms, 1.0% of total-time
Operation ival-cos, time spent: 754.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 441.0ms, 0.0% of total-time
Operation ival-neg, time spent: 397.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 321.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 65.0ms, 0.0% of total-time
Operation ival-pi, time spent: 47.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 47.0ms, 0.0% of total-time
Operation ival-e, time spent: 16.0ms, 0.0% of total-time

soundness1.3min (11.9%)

Rules
165233×fma-define
128241×associate-*r*
126519×fma-neg
96718×associate-*l*
92465×distribute-lft-in
Stop Event
15×saturated
316×node limit
19×unsound
Compiler

Compiled 38913 to 24354 computations (37.4% saved)

eval1.2min (10.9%)

Compiler

Compiled 3020650 to 1929077 computations (36.1% saved)

simplify43.8s (6.9%)

Algorithm
219×egg-herbie
Rules
100909×fma-define
78237×fma-neg
77169×log-prod
74785×associate-*r*
68243×*-commutative
Stop Event
57×saturated
153×node limit
32×fuel
9×unsound
25×done
Counts
60745 → 55824
Compiler

Compiled 10431 to 6781 computations (35% saved)

preprocess37.9s (5.9%)

Algorithm
57×egg-herbie
Rules
51375×fma-neg
40847×fma-define
21621×distribute-lft-in
21336×unsub-neg
20835×distribute-lft-neg-in
Stop Event
21×saturated
36×node limit
Compiler

Compiled 44395 to 24032 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 2.8s, 23.0% of total-time
Operation ival-div, time spent: 2.1s, 17.0% of total-time
Operation ival-add, time spent: 2.0s, 16.0% of total-time
Operation ival-sub, time spent: 1.7s, 14.0% of total-time
Operation ival-log, time spent: 832.0ms, 7.0% of total-time
Operation ival-pow, time spent: 533.0ms, 4.0% of total-time
Operation composed, time spent: 516.0ms, 4.0% of total-time
Operation const, time spent: 415.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 341.0ms, 3.0% of total-time
Operation ival-exp, time spent: 311.0ms, 3.0% of total-time
Operation ival-asin, time spent: 219.0ms, 2.0% of total-time
Operation ival-sin, time spent: 110.0ms, 1.0% of total-time
Operation ival-cos, time spent: 97.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 62.0ms, 1.0% of total-time
Operation ival-neg, time spent: 40.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 6.0ms, 0.0% of total-time

rewrite32.7s (5.1%)

Algorithm
162×batch-egg-rewrite
Rules
107944×log1p-expm1-u
81806×expm1-log1p-u
53348×log-prod
46053×prod-diff
43282×unpow-prod-down
Stop Event
154×node limit
8×unsound
Counts
1207 → 38053

regimes26.0s (4.1%)

Counts
6501 → 743
Calls

130 calls:

3.5s
y.im
3.3s
x.re
3.1s
y.re
1.8s
x.im
1.7s
im
Compiler

Compiled 6099 to 4194 computations (31.2% saved)

prune23.1s (3.6%)

Counts
83581 → 2782
Compiler

Compiled 122140 to 85646 computations (29.9% saved)

series14.0s (2.2%)

Counts
1207 → 22692
Calls

6075 calls:

TimeVariablePointExpression
298.0ms
im
@-inf
(log.f64 (pow.f64 base (/.f64 1 (log.f64 im))))
138.0ms
alpha
@0
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 beta i))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
136.0ms
x
@inf
(log1p.f32 (fabs.f32 x))
124.0ms
base
@0
(cbrt.f64 (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) -3))
121.0ms
y.im
@-inf
(sin.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re))))

bsearch12.1s (1.9%)

Algorithm
348×binary-search
35×left-value
Stop Event
19×predicate-same
329×narrow-enough
Results
6.1s29209×0valid
1.3s7204×0infinite
875.0ms1646×1infinite
390.0ms1035×1valid
1.2s317×5exit
74.0ms202×2valid
Compiler

Compiled 74370 to 51625 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.7s
Operation ival-mult, time spent: 2.0s, 35.0% of total-time
Operation ival-sin, time spent: 1.1s, 19.0% of total-time
Operation ival-add, time spent: 875.0ms, 15.0% of total-time
Operation ival-sub, time spent: 374.0ms, 7.0% of total-time
Operation ival-div, time spent: 254.0ms, 4.0% of total-time
Operation ival-exp, time spent: 245.0ms, 4.0% of total-time
Operation ival-log, time spent: 209.0ms, 4.0% of total-time
Operation backward-pass, time spent: 169.0ms, 3.0% of total-time
Operation ival-cos, time spent: 143.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 135.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 100.0ms, 2.0% of total-time
Operation const, time spent: 86.0ms, 2.0% of total-time
Operation ival-neg, time spent: 12.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 6.0ms, 0.0% of total-time
Operation ival-pow, time spent: 2.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze3.4s (0.5%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 551.0ms, 27.0% of total-time
Operation ival-add, time spent: 397.0ms, 19.0% of total-time
Operation ival-sub, time spent: 324.0ms, 16.0% of total-time
Operation ival-log, time spent: 144.0ms, 7.0% of total-time
Operation ival-div, time spent: 126.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 116.0ms, 6.0% of total-time
Operation ival-pow, time spent: 104.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 74.0ms, 4.0% of total-time
Operation ival-exp, time spent: 59.0ms, 3.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival-sin, time spent: 45.0ms, 2.0% of total-time
Operation ival-cos, time spent: 37.0ms, 2.0% of total-time
Operation ival-<=, time spent: 13.0ms, 1.0% of total-time
Operation ival->, time spent: 11.0ms, 1.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-neg, time spent: 6.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 2.0ms, 0.0% of total-time
Operation ival-and, time spent: 1.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end16.0ms (0%)

Profiling

Loading profile data...