Herbie run

Date:Friday, March 15th, 2024
Commit:099d23a3 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024075
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.3min)

localize20.1s (26.6%)

Compiler

Compiled 6027 to 3351 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
Operation ival-mult, time spent: 4.6s, 31.0% of total-time
Operation composed, time spent: 2.1s, 14.0% of total-time
Operation ival-div, time spent: 1.6s, 10.0% of total-time
Operation ival-pow, time spent: 1.5s, 10.0% of total-time
Operation ival-add, time spent: 1.1s, 7.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 7.0% of total-time
Operation ival-log, time spent: 927.0ms, 6.0% of total-time
Operation ival-sub, time spent: 847.0ms, 6.0% of total-time
Operation ival->=, time spent: 407.0ms, 3.0% of total-time
Operation ival-exp, time spent: 391.0ms, 3.0% of total-time
Operation const, time spent: 259.0ms, 2.0% of total-time
Operation ival-if, time spent: 206.0ms, 1.0% of total-time
Operation ival-neg, time spent: 52.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 46.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 0.0% of total-time

sample14.8s (19.6%)

Results
10.2s63053×0valid
1.3s7150×0infinite
1.3s4101×2valid
456.0ms1906×0invalid
2.0ms6×5exit
Precisions
Click to see histograms. Total time spent on operations: 6.4s
Operation ival-mult, time spent: 1.9s, 30.0% of total-time
Operation ival-div, time spent: 1.2s, 18.0% of total-time
Operation ival-sub, time spent: 914.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 810.0ms, 13.0% of total-time
Operation ival-add, time spent: 410.0ms, 6.0% of total-time
Operation ival-neg, time spent: 240.0ms, 4.0% of total-time
Operation ival->=, time spent: 175.0ms, 3.0% of total-time
Operation const, time spent: 156.0ms, 2.0% of total-time
Operation backward-pass, time spent: 155.0ms, 2.0% of total-time
Operation ival-log, time spent: 130.0ms, 2.0% of total-time
Operation ival-if, time spent: 112.0ms, 2.0% of total-time
Operation ival-exp, time spent: 109.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 106.0ms, 2.0% of total-time
Bogosity

eval12.1s (16.1%)

Compiler

Compiled 637393 to 427009 computations (33% saved)

soundness5.1s (6.8%)

Rules
5941×log1p-expm1-u
5600×fma-neg
4956×fma-define
4269×times-frac
4141×distribute-lft-in
Stop Event
2×saturated
20×node limit
Compiler

Compiled 4395 to 2601 computations (40.8% saved)

prune5.1s (6.8%)

Counts
14785 → 293
Compiler

Compiled 17698 to 12038 computations (32% saved)

simplify5.1s (6.7%)

Algorithm
27×egg-herbie
Rules
6152×*-commutative
5815×times-frac
5424×fma-define
5208×fma-neg
5180×distribute-lft-in
Stop Event
9×saturated
17×node limit
3×fuel
1×unsound
6×done
Counts
7341 → 7847
Compiler

Compiled 1128 to 740 computations (34.4% saved)

preprocess4.9s (6.4%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3790 to 2171 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-mult, time spent: 529.0ms, 37.0% of total-time
Operation ival-sub, time spent: 293.0ms, 20.0% of total-time
Operation ival-sqrt, time spent: 210.0ms, 15.0% of total-time
Operation ival-div, time spent: 199.0ms, 14.0% of total-time
Operation ival-add, time spent: 60.0ms, 4.0% of total-time
Operation const, time spent: 43.0ms, 3.0% of total-time
Operation ival->=, time spent: 27.0ms, 2.0% of total-time
Operation ival-neg, time spent: 26.0ms, 2.0% of total-time
Operation ival-log, time spent: 19.0ms, 1.0% of total-time
Operation ival-if, time spent: 15.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

rewrite3.2s (4.3%)

Algorithm
18×batch-egg-rewrite
Rules
11660×log1p-expm1-u
7499×expm1-log1p-u
3763×add-exp-log
3646×pow1
3386×add-cube-cbrt
Stop Event
18×node limit
Counts
127 → 4157

regimes1.9s (2.5%)

Counts
529 → 73
Calls

22 calls:

410.0ms
a
378.0ms
b
277.0ms
c
188.0ms
z
131.0ms
y
Compiler

Compiled 466 to 323 computations (30.7% saved)

series1.5s (2%)

Counts
127 → 3184
Calls

798 calls:

TimeVariablePointExpression
153.0ms
c
@inf
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
65.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
64.0ms
f
@inf
(/ 1 (- n f))
54.0ms
f
@inf
(/ (- (neg (+ f f)) (* f (/ (+ f f) n))) n)
51.0ms
b
@-inf
(log (pow (exp (/ b a)) 2))

analyze1.0s (1.4%)

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: 751.0ms
Operation ival-mult, time spent: 356.0ms, 47.0% of total-time
Operation ival-sub, time spent: 92.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 82.0ms, 11.0% of total-time
Operation ival-div, time spent: 80.0ms, 11.0% of total-time
Operation ival-neg, time spent: 62.0ms, 8.0% of total-time
Operation ival-add, time spent: 33.0ms, 4.0% of total-time
Operation ival->=, time spent: 17.0ms, 2.0% of total-time
Operation ival-if, time spent: 15.0ms, 2.0% of total-time
Operation const, time spent: 9.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

bsearch758.0ms (1%)

Algorithm
35×binary-search
Stop Event
7×predicate-same
28×narrow-enough
Results
515.0ms3351×0valid
86.0ms457×0infinite
30.0ms182×0invalid
Compiler

Compiled 8597 to 6102 computations (29% saved)

Precisions
Click to see histograms. Total time spent on operations: 276.0ms
Operation ival-mult, time spent: 79.0ms, 29.0% of total-time
Operation ival-div, time spent: 54.0ms, 20.0% of total-time
Operation ival-sub, time spent: 41.0ms, 15.0% of total-time
Operation ival-add, time spent: 29.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 22.0ms, 8.0% of total-time
Operation ival-neg, time spent: 12.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 4.0% of total-time
Operation ival-if, time spent: 9.0ms, 3.0% of total-time
Operation ival->=, time spent: 9.0ms, 3.0% of total-time
Operation const, time spent: 8.0ms, 3.0% of total-time
Operation backward-pass, time spent: 2.0ms, 1.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...