Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
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: 1.4min)

localize26.9s (33%)

Compiler

Compiled 6193 to 3400 computations (45.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.6s
Operation ival-mult, time spent: 5.2s, 25.0% of total-time
Operation composed, time spent: 3.5s, 17.0% of total-time
Operation ival-add, time spent: 2.9s, 14.0% of total-time
Operation ival-pow, time spent: 2.0s, 10.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 10.0% of total-time
Operation ival-sub, time spent: 1.5s, 7.0% of total-time
Operation ival-div, time spent: 1.4s, 7.0% of total-time
Operation ival-log, time spent: 650.0ms, 3.0% of total-time
Operation const, time spent: 613.0ms, 3.0% of total-time
Operation ival->=, time spent: 311.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 276.0ms, 1.0% of total-time
Operation ival-exp, time spent: 185.0ms, 1.0% of total-time
Operation ival-if, time spent: 39.0ms, 0.0% of total-time
Operation ival-neg, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

sample18.0s (22%)

Results
11.6s63032×0valid
1.1s7167×0infinite
3.1s4105×4valid
554.0ms2036×0invalid
4.0ms8×6exit
Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-sub, time spent: 2.9s, 32.0% of total-time
Operation ival-mult, time spent: 2.0s, 22.0% of total-time
Operation ival-div, time spent: 1.4s, 16.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 14.0% of total-time
Operation ival-add, time spent: 482.0ms, 5.0% of total-time
Operation const, time spent: 320.0ms, 3.0% of total-time
Operation ival-neg, time spent: 277.0ms, 3.0% of total-time
Operation ival-log, time spent: 178.0ms, 2.0% of total-time
Operation ival->=, time spent: 129.0ms, 1.0% of total-time
Operation ival-exp, time spent: 79.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 78.0ms, 1.0% of total-time
Operation ival-if, time spent: 35.0ms, 0.0% of total-time
Bogosity

eval9.6s (11.8%)

Compiler

Compiled 520122 to 338144 computations (35% saved)

soundness5.5s (6.7%)

Rules
17140×fma-define
16186×fma-neg
14194×associate-*r*
13206×times-frac
11738×associate-*l*
Stop Event
2×saturated
28×node limit
Compiler

Compiled 3125 to 1821 computations (41.7% saved)

simplify4.8s (5.9%)

Algorithm
30×egg-herbie
Rules
15172×fma-define
15150×times-frac
10312×associate-*r*
9862×distribute-lft-in
8920×associate-*l*
Stop Event
8×saturated
4×fuel
22×node limit
5×done
Counts
6346 → 6536
Compiler

Compiled 771 to 509 computations (34% saved)

preprocess4.7s (5.7%)

Algorithm
9×egg-herbie
Rules
6504×fma-neg
5438×fma-define
3560×times-frac
3478×div-sub
2544×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3104 to 1829 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 603.0ms, 33.0% of total-time
Operation ival-sub, time spent: 340.0ms, 18.0% of total-time
Operation ival-sqrt, time spent: 313.0ms, 17.0% of total-time
Operation ival-add, time spent: 257.0ms, 14.0% of total-time
Operation ival-div, time spent: 162.0ms, 9.0% of total-time
Operation ival->=, time spent: 61.0ms, 3.0% of total-time
Operation const, time spent: 58.0ms, 3.0% of total-time
Operation ival-log, time spent: 23.0ms, 1.0% of total-time
Operation ival-neg, time spent: 20.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

rewrite4.1s (5%)

Algorithm
21×batch-egg-rewrite
Rules
14022×log1p-expm1-u
9791×expm1-log1p-u
6546×log-prod
6438×prod-diff
5190×associate-*r*
Stop Event
21×node limit
Counts
137 → 4121

prune2.9s (3.5%)

Counts
12559 → 344
Compiler

Compiled 21236 to 14162 computations (33.3% saved)

regimes2.1s (2.5%)

Counts
342 → 60
Calls

26 calls:

437.0ms
a
390.0ms
c
233.0ms
x
232.0ms
b
137.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 473 to 329 computations (30.4% saved)

series1.5s (1.9%)

Counts
137 → 2225
Calls

684 calls:

TimeVariablePointExpression
121.0ms
b
@inf
(/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))))
73.0ms
x
@inf
(-.f64 (/.f64 1 x) 1)
48.0ms
a
@0
(*.f64 c (/.f64 -2 (+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))))
47.0ms
a
@0
(pow.f64 (*.f64 (*.f64 -4 a) c) 1/4)
41.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -4 a)) (*.f64 -1 (log.f64 (/.f64 1 c))))))

analyze1.0s (1.3%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 523.0ms
Operation ival-mult, time spent: 226.0ms, 43.0% of total-time
Operation ival-sub, time spent: 97.0ms, 19.0% of total-time
Operation ival-sqrt, time spent: 67.0ms, 13.0% of total-time
Operation ival-add, time spent: 45.0ms, 9.0% of total-time
Operation ival-div, time spent: 40.0ms, 8.0% of total-time
Operation ival->=, time spent: 15.0ms, 3.0% of total-time
Operation ival-neg, time spent: 14.0ms, 3.0% of total-time
Operation const, time spent: 10.0ms, 2.0% of total-time
Operation ival-if, time spent: 4.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

bsearch545.0ms (0.7%)

Algorithm
26×binary-search
Stop Event
8×predicate-same
18×narrow-enough
Results
366.0ms2368×0valid
90.0ms432×0infinite
2.0ms11×0invalid
Compiler

Compiled 5043 to 3606 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 207.0ms
Operation ival-div, time spent: 45.0ms, 22.0% of total-time
Operation ival-mult, time spent: 44.0ms, 21.0% of total-time
Operation ival-sub, time spent: 42.0ms, 20.0% of total-time
Operation ival-add, time spent: 36.0ms, 17.0% of total-time
Operation ival-sqrt, time spent: 12.0ms, 6.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 4.0% of total-time
Operation const, time spent: 9.0ms, 4.0% of total-time
Operation ival-neg, time spent: 5.0ms, 2.0% of total-time
Operation ival->=, time spent: 3.0ms, 1.0% of total-time
Operation ival-if, time spent: 1.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...