Herbie run

Date:Wednesday, January 31st, 2024
Commit:c25f4985 on artem-tuning-128start-20-256-512-1024-2048
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.3min)

sample3.3min (44.7%)

Results
35.8s144588×0precondition
16.0s81826×0valid
26.3s75975×1invalid
50.0s53373×3valid
27.3s48620×2valid
12.4s38550×1valid
759.0ms4861×0invalid
9.2s4182×4valid
1.1s4167×0infinite
806.0ms3980×0unsamplable
296.0ms344×2infinite
92.0ms99×3infinite
1.0ms3×1infinite
3.0ms3×5valid
1.0ms1×4infinite
Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-sub, time spent: 27.0s, 20.0% of total-time
Operation ival-add, time spent: 18.0s, 13.0% of total-time
Operation ival-tan, time spent: 14.0s, 10.0% of total-time
Operation ival-exp, time spent: 13.0s, 10.0% of total-time
Operation ival-log, time spent: 12.7s, 9.0% of total-time
Operation ival-mult, time spent: 9.2s, 7.0% of total-time
Operation ival-div, time spent: 6.8s, 5.0% of total-time
Operation ival-<=, time spent: 6.2s, 5.0% of total-time
Operation ival-sin, time spent: 4.5s, 3.0% of total-time
Operation ival-cos, time spent: 3.9s, 3.0% of total-time
Operation ival-fabs, time spent: 3.7s, 3.0% of total-time
Operation ival-pow, time spent: 3.4s, 3.0% of total-time
Operation ival-<, time spent: 2.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 2.0% of total-time
Operation const, time spent: 2.5s, 2.0% of total-time
Operation ival->, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 1.3s, 1.0% of total-time
Operation ival-atan, time spent: 840.0ms, 1.0% of total-time
Operation ival-neg, time spent: 796.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 415.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 359.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 92.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.7%)

Compiler

Compiled 16484 to 9436 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 18.3s, 28.0% of total-time
Operation ival-add, time spent: 14.5s, 22.0% of total-time
Operation ival-mult, time spent: 7.2s, 11.0% of total-time
Operation ival-div, time spent: 6.5s, 10.0% of total-time
Operation ival-sub, time spent: 4.0s, 6.0% of total-time
Operation ival-tan, time spent: 3.3s, 5.0% of total-time
Operation ival-sin, time spent: 1.9s, 3.0% of total-time
Operation const, time spent: 1.7s, 3.0% of total-time
Operation ival-fma, time spent: 1.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation ival-log, time spent: 1.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.0s, 2.0% of total-time
Operation ival-exp, time spent: 662.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 510.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 293.0ms, 0.0% of total-time
Operation ival-neg, time spent: 254.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 124.0ms, 0.0% of total-time
Operation ival-atan, time spent: 119.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 102.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 66.0ms, 0.0% of total-time
Operation ival-e, time spent: 2.0ms, 0.0% of total-time

soundness44.7s (10.1%)

Rules
107606×fma-def
66022×times-frac
65108×fma-neg
56594×associate-*r*
55650×log-prod
Stop Event
2×saturated
181×node limit
1×unsound
Compiler

Compiled 17684 to 11149 computations (37% saved)

eval29.7s (6.7%)

Compiler

Compiled 1345832 to 886047 computations (34.2% saved)

simplify20.3s (4.6%)

Algorithm
122×egg-herbie
Rules
68040×fma-def
54944×times-frac
47092×associate-*r*
39516×fma-neg
39320×associate-*l*
Stop Event
28×saturated
93×node limit
19×fuel
1×unsound
9×done
Counts
34975 → 33291
Compiler

Compiled 3216 to 2233 computations (30.6% saved)

rewrite18.1s (4.1%)

Algorithm
94×batch-egg-rewrite
Rules
54027×log1p-expm1-u
42323×expm1-log1p-u
40076×prod-diff
29518×log-prod
28652×expm1-udef
Stop Event
94×node limit
Counts
675 → 25633

preprocess16.6s (3.8%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
12020×fma-neg
11952×div-sub
9422×sub-neg
8120×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 11135 to 6752 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
Operation ival-sub, time spent: 1.6s, 22.0% of total-time
Operation ival-add, time spent: 1.3s, 18.0% of total-time
Operation ival-tan, time spent: 820.0ms, 11.0% of total-time
Operation ival-exp, time spent: 795.0ms, 11.0% of total-time
Operation ival-log, time spent: 589.0ms, 8.0% of total-time
Operation ival-mult, time spent: 487.0ms, 7.0% of total-time
Operation ival-div, time spent: 410.0ms, 6.0% of total-time
Operation ival-pow, time spent: 331.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 279.0ms, 4.0% of total-time
Operation ival-sin, time spent: 249.0ms, 3.0% of total-time
Operation const, time spent: 178.0ms, 2.0% of total-time
Operation ival-cos, time spent: 161.0ms, 2.0% of total-time
Operation ival-neg, time spent: 84.0ms, 1.0% of total-time
Operation ival-atan, time spent: 46.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 34.0ms, 0.0% of total-time

prune11.6s (2.6%)

Counts
50608 → 1818
Compiler

Compiled 61758 to 43991 computations (28.8% saved)

regimes8.0s (1.8%)

Counts
2853 → 293
Calls

43 calls:

1.7s
x
1.1s
a
985.0ms
b
970.0ms
c
746.0ms
b_2
Compiler

Compiled 1424 to 1001 computations (29.7% saved)

series5.4s (1.2%)

Counts
675 → 9342
Calls

2970 calls:

TimeVariablePointExpression
385.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
333.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
234.0ms
x
@inf
(*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (+.f64 1/6 (-.f64 (fma.f64 -1/2 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (*.f64 1/6 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (*.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))
134.0ms
x
@inf
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))))
92.0ms
x
@inf
(pow.f64 (E.f64) (log.f64 (expm1.f64 (*.f64 a x))))

bsearch4.2s (1%)

Algorithm
92×binary-search
35×left-value
Stop Event
2×predicate-same
90×narrow-enough
Results
1.4s6901×0valid
1.0s2859×1valid
390.0ms2066×0invalid
476.0ms480×3valid
233.0ms357×2valid
84.0ms289×0infinite
12.0ms57×0unsamplable
11.0ms10×3infinite
Compiler

Compiled 16497 to 12185 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-sub, time spent: 504.0ms, 24.0% of total-time
Operation ival-mult, time spent: 448.0ms, 21.0% of total-time
Operation ival-pow, time spent: 320.0ms, 15.0% of total-time
Operation ival-div, time spent: 247.0ms, 12.0% of total-time
Operation ival-add, time spent: 215.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 203.0ms, 9.0% of total-time
Operation ival-neg, time spent: 74.0ms, 3.0% of total-time
Operation ival-exp, time spent: 54.0ms, 3.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival-log, time spent: 14.0ms, 1.0% of total-time
Operation ival-cos, time spent: 11.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 3.0ms, 0.0% of total-time

analyze2.7s (0.6%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.5%32.3%24.8%42.4%0%0.4%0%5
58.9%33.1%23.1%43.1%0%0.7%0%6
62.9%34.2%20.2%44%0%1.4%0.1%7
66.1%35.6%18.2%44.5%0%1.6%0.1%8
68.6%36.3%16.6%44.9%0%2%0.3%9
70.7%36.7%15.2%45.2%0%2.6%0.3%10
73.3%37.7%13.7%45.4%0%2.8%0.4%11
74.5%38%13%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-sub, time spent: 304.0ms, 18.0% of total-time
Operation ival-<=, time spent: 261.0ms, 16.0% of total-time
Operation ival-log, time spent: 182.0ms, 11.0% of total-time
Operation ival-mult, time spent: 172.0ms, 10.0% of total-time
Operation ival-pow, time spent: 137.0ms, 8.0% of total-time
Operation ival-div, time spent: 122.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 90.0ms, 5.0% of total-time
Operation ival-add, time spent: 71.0ms, 4.0% of total-time
Operation ival-exp, time spent: 66.0ms, 4.0% of total-time
Operation ival-sin, time spent: 55.0ms, 3.0% of total-time
Operation ival-neg, time spent: 41.0ms, 2.0% of total-time
Operation ival-tan, time spent: 37.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 2.0% of total-time
Operation ival-cos, time spent: 18.0ms, 1.0% of total-time
Operation ival-and, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 7.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 4.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time

end5.0ms (0%)

Profiling

Loading profile data...