Herbie run

Date:Wednesday, January 31st, 2024
Commit:666e0b59 on artem-minus-and-trig-tuning
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: 7.8min)

sample1.9min (24.6%)

Results
1.0min270737×0valid
9.3s31079×0infinite
5.5s15843×1valid
9.9s14136×2valid
11.5s13982×3valid
515.0ms2660×0invalid
572.0ms945×0unsamplable
883.0ms591×4valid
4.1s479×5exit
341.0ms244×2infinite
95.0ms126×1infinite
23.0ms14×3infinite
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-add, time spent: 17.1s, 24.0% of total-time
Operation ival-sub, time spent: 12.4s, 18.0% of total-time
Operation ival-mult, time spent: 11.1s, 16.0% of total-time
Operation ival-pow, time spent: 6.9s, 10.0% of total-time
Operation ival-div, time spent: 6.4s, 9.0% of total-time
Operation ival-<=, time spent: 4.2s, 6.0% of total-time
Operation ival-sin, time spent: 3.0s, 4.0% of total-time
Operation const, time spent: 2.0s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-and, time spent: 661.0ms, 1.0% of total-time
Operation ival-fma, time spent: 434.0ms, 1.0% of total-time
Operation ival-neg, time spent: 378.0ms, 1.0% of total-time
Operation ival-log, time spent: 346.0ms, 0.0% of total-time
Operation ival-tan, time spent: 308.0ms, 0.0% of total-time
Operation ival-==, time spent: 289.0ms, 0.0% of total-time
Operation ival-<, time spent: 231.0ms, 0.0% of total-time
Operation ival-atan, time spent: 221.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 44.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

localize1.3min (17.3%)

Compiler

Compiled 25683 to 14868 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-add, time spent: 14.9s, 24.0% of total-time
Operation ival-mult, time spent: 12.0s, 20.0% of total-time
Operation ival-pow, time spent: 10.4s, 17.0% of total-time
Operation ival-sub, time spent: 9.8s, 16.0% of total-time
Operation ival-div, time spent: 6.6s, 11.0% of total-time
Operation ival-fma, time spent: 3.2s, 5.0% of total-time
Operation const, time spent: 1.7s, 3.0% of total-time
Operation ival-exp, time spent: 723.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 612.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 489.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 266.0ms, 0.0% of total-time
Operation ival-log, time spent: 173.0ms, 0.0% of total-time
Operation ival-atan, time spent: 148.0ms, 0.0% of total-time
Operation ival-neg, time spent: 107.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 70.0ms, 0.0% of total-time
Operation ival-sin, time spent: 69.0ms, 0.0% of total-time
Operation ival-cos, time spent: 53.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 48.0ms, 0.0% of total-time
Operation ival-tan, time spent: 22.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

soundness1.0min (13.2%)

Rules
152572×fma-def
90242×times-frac
83332×associate-*r*
71202×log-prod
71138×distribute-lft-in
Stop Event
4×saturated
250×node limit
Compiler

Compiled 21027 to 12286 computations (41.6% saved)

eval48.3s (10.3%)

Compiler

Compiled 2146766 to 1435214 computations (33.1% saved)

preprocess34.1s (7.3%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 34849 to 21117 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.7s
Operation ival-add, time spent: 4.6s, 27.0% of total-time
Operation ival-mult, time spent: 4.2s, 25.0% of total-time
Operation ival-sub, time spent: 3.4s, 21.0% of total-time
Operation ival-div, time spent: 2.1s, 12.0% of total-time
Operation ival-pow, time spent: 1.3s, 8.0% of total-time
Operation const, time spent: 456.0ms, 3.0% of total-time
Operation ival-sin, time spent: 191.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 165.0ms, 1.0% of total-time
Operation ival-exp, time spent: 105.0ms, 1.0% of total-time
Operation ival-neg, time spent: 73.0ms, 0.0% of total-time
Operation ival-cos, time spent: 43.0ms, 0.0% of total-time
Operation ival-atan, time spent: 25.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-fma, time spent: 17.0ms, 0.0% of total-time
Operation ival-tan, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

simplify32.5s (7%)

Algorithm
166×egg-herbie
Rules
95544×fma-def
57546×associate-*r*
55522×times-frac
54822×log-prod
53906×distribute-lft-in
Stop Event
42×saturated
124×node limit
23×fuel
19×done
Counts
51859 → 46023
Compiler

Compiled 10235 to 6529 computations (36.2% saved)

rewrite24.6s (5.3%)

Algorithm
124×batch-egg-rewrite
Rules
66133×log1p-expm1-u
58618×expm1-log1p-u
43114×log-prod
42232×prod-diff
36300×expm1-udef
Stop Event
124×node limit
Counts
916 → 34594

bsearch21.0s (4.5%)

Algorithm
323×binary-search
34×left-value
Stop Event
14×predicate-same
309×narrow-enough
Results
9.2s24502×0valid
4.1s5663×0infinite
720.0ms4960×0invalid
1.4s3811×1valid
2.2s3772×2valid
464.0ms329×3valid
63.0ms101×2infinite
288.0ms43×5exit
18.0ms41×1infinite
20.0ms5×4valid
0.0ms2×0unsamplable
Compiler

Compiled 98075 to 68307 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
Operation ival-add, time spent: 4.4s, 32.0% of total-time
Operation ival-sub, time spent: 3.2s, 23.0% of total-time
Operation ival-mult, time spent: 2.8s, 21.0% of total-time
Operation ival-div, time spent: 1.3s, 10.0% of total-time
Operation ival-pow, time spent: 1.2s, 9.0% of total-time
Operation const, time spent: 301.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 226.0ms, 2.0% of total-time
Operation ival-exp, time spent: 138.0ms, 1.0% of total-time
Operation ival-neg, time spent: 106.0ms, 1.0% of total-time
Operation ival-log, time spent: 13.0ms, 0.0% of total-time

regimes18.0s (3.9%)

Counts
4634 → 635
Calls

94 calls:

2.0s
c
1.7s
x
1.7s
b
1.7s
a
1.3s
x1
Compiler

Compiled 3984 to 2806 computations (29.6% saved)

prune17.8s (3.8%)

Counts
71408 → 1942
Compiler

Compiled 71792 to 49209 computations (31.5% saved)

analyze9.6s (2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.2%26.2%27.1%45.5%0%1.2%0%3
58%30.7%22.3%45.5%0%1.5%0%4
71.4%37.7%15.1%45.6%0%1.7%0%5
73%38.4%14.2%45.6%0%1.7%0%6
78%40.7%11.5%45.6%0%2.2%0%7
81.6%42.6%9.6%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.7%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-sqrt, time spent: 1.6s, 20.0% of total-time
Operation ival-add, time spent: 1.3s, 16.0% of total-time
Operation ival-sub, time spent: 1.1s, 14.0% of total-time
Operation ival-mult, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 927.0ms, 12.0% of total-time
Operation ival-pow, time spent: 774.0ms, 10.0% of total-time
Operation ival-<=, time spent: 456.0ms, 6.0% of total-time
Operation ival-fabs, time spent: 259.0ms, 3.0% of total-time
Operation const, time spent: 166.0ms, 2.0% of total-time
Operation ival-==, time spent: 97.0ms, 1.0% of total-time
Operation ival-exp, time spent: 91.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 0.0% of total-time
Operation ival-if, time spent: 25.0ms, 0.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-fma, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series3.6s (0.8%)

Counts
916 → 17265
Calls

4902 calls:

TimeVariablePointExpression
149.0ms
t
@inf
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 1/2))
113.0ms
x2
@-inf
(+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)))
85.0ms
x
@-inf
(pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) (sqrt.f64 x)) (sqrt.f64 x))
79.0ms
t1
@0
(/.f64 v (+.f64 t1 u))
64.0ms
b
@-inf
(pow.f64 b 2)

end24.0ms (0%)

Profiling

Loading profile data...