Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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)

localize22.1s (26.4%)

Compiler

Compiled 6042 to 3405 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8s
Operation ival-pow, time spent: 4.4s, 28.0% of total-time
Operation ival-mult, time spent: 4.0s, 25.0% of total-time
Operation composed, time spent: 1.8s, 11.0% of total-time
Operation ival-add, time spent: 1.6s, 10.0% of total-time
Operation ival-div, time spent: 1.2s, 8.0% of total-time
Operation ival-sqrt, time spent: 972.0ms, 6.0% of total-time
Operation ival-sub, time spent: 546.0ms, 3.0% of total-time
Operation ival->=, time spent: 321.0ms, 2.0% of total-time
Operation const, time spent: 313.0ms, 2.0% of total-time
Operation ival-log, time spent: 229.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 184.0ms, 1.0% of total-time
Operation ival-exp, time spent: 113.0ms, 1.0% of total-time
Operation ival-if, time spent: 106.0ms, 1.0% of total-time
Operation ival-neg, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time

eval16.7s (19.9%)

Compiler

Compiled 891717 to 609806 computations (31.6% saved)

sample15.5s (18.4%)

Results
10.5s62993×256valid
1.0s7213×256infinite
1.8s4098×2048valid
555.0ms1923×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.8s
Operation ival-mult, time spent: 2.4s, 35.0% of total-time
Operation ival-div, time spent: 1.4s, 20.0% of total-time
Operation ival-sub, time spent: 979.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 721.0ms, 11.0% of total-time
Operation ival-neg, time spent: 314.0ms, 5.0% of total-time
Operation ival-add, time spent: 251.0ms, 4.0% of total-time
Operation const, time spent: 189.0ms, 3.0% of total-time
Operation ival-log, time spent: 161.0ms, 2.0% of total-time
Operation ival-if, time spent: 133.0ms, 2.0% of total-time
Operation ival->=, time spent: 120.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 117.0ms, 2.0% of total-time
Operation ival-exp, time spent: 83.0ms, 1.0% of total-time
Bogosity

prune6.4s (7.6%)

Counts
19151 → 285
Compiler

Compiled 17560 to 12048 computations (31.4% saved)

simplify5.8s (6.9%)

Algorithm
29×egg-herbie
Rules
7174×fma-define
6876×*-commutative
6385×distribute-lft-in
6267×distribute-rgt-in
6112×times-frac
Stop Event
9×saturated
3×fuel
20×node limit
6×done
Counts
7652 → 8191
Compiler

Compiled 1093 to 736 computations (32.7% saved)

preprocess5.0s (6%)

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 3820 to 2241 computations (41.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 785.0ms, 42.0% of total-time
Operation ival-sqrt, time spent: 381.0ms, 20.0% of total-time
Operation ival-sub, time spent: 219.0ms, 12.0% of total-time
Operation ival-div, time spent: 186.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 83.0ms, 4.0% of total-time
Operation ival-add, time spent: 74.0ms, 4.0% of total-time
Operation const, time spent: 46.0ms, 2.0% of total-time
Operation ival->=, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 26.0ms, 1.0% of total-time
Operation ival-if, time spent: 23.0ms, 1.0% of total-time
Operation ival-log, time spent: 18.0ms, 1.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

soundness3.8s (4.5%)

Rules
4346×fma-neg
3955×fma-define
3866×times-frac
3686×distribute-lft-in
3595×distribute-rgt-in
Stop Event
2×saturated
15×node limit
Compiler

Compiled 3001 to 1786 computations (40.5% saved)

rewrite3.7s (4.4%)

Algorithm
20×batch-egg-rewrite
Rules
12175×log1p-expm1-u
8590×expm1-log1p-u
4952×add-exp-log
4748×pow1
4495×add-log-exp
Stop Event
20×node limit
Counts
123 → 4224

regimes1.8s (2.2%)

Counts
411 → 78
Calls

26 calls:

292.0ms
x
276.0ms
c
273.0ms
b
256.0ms
a
140.0ms
z
Compiler

Compiled 507 to 357 computations (29.6% saved)

series1.3s (1.5%)

Counts
123 → 3428
Calls

756 calls:

TimeVariablePointExpression
78.0ms
n
@-inf
(* -2 (/ n f))
58.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
36.0ms
c
@0
(pow (exp 1/4) (+ (log (* c -4)) (log a)))
36.0ms
y
@inf
(* (/ -1 y) (+ (* x z) (- -4 x)))
30.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

analyze1.1s (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: 715.0ms
Operation ival-sqrt, time spent: 301.0ms, 42.0% of total-time
Operation ival-mult, time spent: 184.0ms, 26.0% of total-time
Operation ival-sub, time spent: 82.0ms, 11.0% of total-time
Operation ival-div, time spent: 40.0ms, 6.0% of total-time
Operation ival-add, time spent: 29.0ms, 4.0% of total-time
Operation ival-if, time spent: 22.0ms, 3.0% of total-time
Operation ival-neg, time spent: 22.0ms, 3.0% of total-time
Operation ival->=, time spent: 16.0ms, 2.0% of total-time
Operation const, time spent: 13.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 6.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

bsearch765.0ms (0.9%)

Algorithm
36×binary-search
2×left-value
Stop Event
7×predicate-same
29×narrow-enough
Results
546.0ms3390×256valid
71.0ms434×256infinite
38.0ms196×256invalid
Compiler

Compiled 8416 to 6003 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 282.0ms
Operation ival-mult, time spent: 79.0ms, 28.0% of total-time
Operation ival-div, time spent: 66.0ms, 23.0% of total-time
Operation ival-sub, time spent: 38.0ms, 13.0% of total-time
Operation ival-add, time spent: 28.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 22.0ms, 8.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 5.0% of total-time
Operation ival-neg, time spent: 12.0ms, 4.0% of total-time
Operation const, time spent: 9.0ms, 3.0% of total-time
Operation ival-if, time spent: 8.0ms, 3.0% of total-time
Operation ival->=, time spent: 7.0ms, 2.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...