Herbie run

Date:Sunday, April 21st, 2024
Commit:fa400dbf on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024112
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.5min)

eval23.5s (26.2%)

Compiler

Compiled 1098198 to 724550 computations (34% saved)

localize21.1s (23.6%)

Compiler

Compiled 6446 to 3597 computations (44.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.5s
Operation ival-mult, time spent: 4.7s, 29.0% of total-time
Operation ival-pow, time spent: 2.9s, 17.0% of total-time
Operation composed, time spent: 2.5s, 15.0% of total-time
Operation ival-div, time spent: 1.5s, 9.0% of total-time
Operation ival-add, time spent: 1.2s, 7.0% of total-time
Operation ival-sub, time spent: 1.2s, 7.0% of total-time
Operation ival-sqrt, time spent: 869.0ms, 5.0% of total-time
Operation ival-log, time spent: 622.0ms, 4.0% of total-time
Operation const, time spent: 310.0ms, 2.0% of total-time
Operation ival-exp, time spent: 259.0ms, 2.0% of total-time
Operation ival->=, time spent: 191.0ms, 1.0% of total-time
Operation ival-if, time spent: 131.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 68.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time

sample16.3s (18.1%)

Results
10.9s62973×256valid
1.2s7173×256infinite
1.8s4158×2048valid
646.0ms1957×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.7s
Operation ival-mult, time spent: 1.8s, 28.0% of total-time
Operation ival-div, time spent: 1.3s, 20.0% of total-time
Operation ival-sub, time spent: 982.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 883.0ms, 13.0% of total-time
Operation ival-add, time spent: 332.0ms, 5.0% of total-time
Operation ival-neg, time spent: 323.0ms, 5.0% of total-time
Operation ival-log, time spent: 224.0ms, 3.0% of total-time
Operation const, time spent: 195.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 180.0ms, 3.0% of total-time
Operation ival-if, time spent: 161.0ms, 2.0% of total-time
Operation ival->=, time spent: 129.0ms, 2.0% of total-time
Operation ival-exp, time spent: 84.0ms, 1.0% of total-time
Bogosity

prune6.0s (6.7%)

Counts
22413 → 282
Compiler

Compiled 18317 to 12280 computations (33% saved)

preprocess5.6s (6.2%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4186 to 2489 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 890.0ms, 42.0% of total-time
Operation ival-sub, time spent: 315.0ms, 15.0% of total-time
Operation ival-div, time spent: 286.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 286.0ms, 13.0% of total-time
Operation ival-add, time spent: 102.0ms, 5.0% of total-time
Operation ival-neg, time spent: 82.0ms, 4.0% of total-time
Operation ival-log, time spent: 71.0ms, 3.0% of total-time
Operation const, time spent: 50.0ms, 2.0% of total-time
Operation ival->=, time spent: 27.0ms, 1.0% of total-time
Operation ival-if, time spent: 20.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

simplify5.2s (5.8%)

Algorithm
29×egg-herbie
Rules
6332×*-commutative
6278×distribute-lft-in
5913×fma-define
5145×fmm-def
5029×distribute-rgt-in
Stop Event
9×saturated
3×fuel
19×node limit
1×unsound
6×done
Counts
7335 → 7470
Compiler

Compiled 1329 to 892 computations (32.9% saved)

soundness4.6s (5.1%)

Rules
7394×log1p-expm1-u
5043×fmm-def
4770×fma-define
4307×expm1-log1p-u
3779×times-frac
Stop Event
2×saturated
19×node limit
1×unsound
Compiler

Compiled 3261 to 1936 computations (40.6% saved)

rewrite3.7s (4.2%)

Algorithm
20×batch-egg-rewrite
Rules
13919×log1p-expm1-u
9841×expm1-log1p-u
3948×add-exp-log
3817×pow1
3524×add-log-exp
Stop Event
20×node limit
Counts
113 → 4232

bsearch1000.0ms (1.1%)

Algorithm
46×binary-search
Stop Event
7×predicate-same
39×narrow-enough
Results
723.0ms4264×256valid
69.0ms488×256infinite
59.0ms313×256invalid
Compiler

Compiled 10687 to 7653 computations (28.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 403.0ms
Operation ival-mult, time spent: 110.0ms, 27.0% of total-time
Operation ival-div, time spent: 91.0ms, 23.0% of total-time
Operation ival-sub, time spent: 74.0ms, 18.0% of total-time
Operation ival-add, time spent: 36.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 28.0ms, 7.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 4.0% of total-time
Operation ival-neg, time spent: 14.0ms, 3.0% of total-time
Operation const, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 10.0ms, 2.0% of total-time
Operation ival->=, time spent: 10.0ms, 2.0% of total-time

series973.0ms (1.1%)

Counts
113 → 3103
Calls

696 calls:

TimeVariablePointExpression
54.0ms
a
@0
(pow (* (* a -4) c) 1/4)
46.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
45.0ms
a
@0
(exp (* 1/4 (+ (log (* -4 a)) (* -1 (log (/ 1 c))))))
29.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
28.0ms
c
@0
(exp (* 1/4 (+ (log (* -4 a)) (* -1 (log (/ 1 c))))))

analyze900.0ms (1%)

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: 525.0ms
Operation ival-mult, time spent: 234.0ms, 45.0% of total-time
Operation ival-sub, time spent: 111.0ms, 21.0% of total-time
Operation ival-sqrt, time spent: 46.0ms, 9.0% of total-time
Operation ival-div, time spent: 39.0ms, 7.0% of total-time
Operation ival-add, time spent: 22.0ms, 4.0% of total-time
Operation ival->=, time spent: 21.0ms, 4.0% of total-time
Operation ival-neg, time spent: 18.0ms, 3.0% of total-time
Operation ival-if, time spent: 17.0ms, 3.0% of total-time
Operation const, time spent: 13.0ms, 2.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

regimes832.0ms (0.9%)

Counts
416 → 84
Calls

22 calls:

180.0ms
b
116.0ms
a
116.0ms
c
98.0ms
x
53.0ms
z
Compiler

Compiled 449 to 308 computations (31.4% saved)

end1.0ms (0%)

Profiling

Loading profile data...