Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 35.0min)

sample7.2min (20.6%)

Results
5.0min1821989×256valid
58.2s342594×256infinite
14.2s65136×256invalid
13.4s30405×512valid
9.7s18995×1024valid
3.7s5016×2048valid
1.9s1607×8192exit
447.0ms1118×512infinite
278.0ms741×1024infinite
198.0ms665×1024invalid
125.0ms628×512invalid
43.0ms6×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 51.9s, 34.0% of total-time
Operation ival-sub, time spent: 23.3s, 15.0% of total-time
Operation ival-add, time spent: 22.5s, 15.0% of total-time
Operation ival-div, time spent: 19.4s, 13.0% of total-time
Operation ival-log, time spent: 12.6s, 8.0% of total-time
Operation ival-sqrt, time spent: 5.9s, 4.0% of total-time
Operation ival-sin, time spent: 4.6s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-cos, time spent: 4.2s, 3.0% of total-time
Operation ival-exp, time spent: 1.6s, 1.0% of total-time
Operation ival-tan, time spent: 671.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 342.0ms, 0.0% of total-time
Operation ival-acos, time spent: 326.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 295.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 252.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 116.0ms, 0.0% of total-time
Bogosity

localize4.5min (12.8%)

Compiler

Compiled 115165 to 50529 computations (56.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 42.2s, 27.0% of total-time
Operation ival-div, time spent: 17.9s, 12.0% of total-time
Operation ival-pow, time spent: 17.5s, 11.0% of total-time
Operation ival-add, time spent: 16.3s, 11.0% of total-time
Operation composed, time spent: 12.8s, 8.0% of total-time
Operation ival-sub, time spent: 11.6s, 8.0% of total-time
Operation ival-log, time spent: 10.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.3s, 4.0% of total-time
Operation ival-cos, time spent: 5.4s, 3.0% of total-time
Operation ival-sin, time spent: 4.6s, 3.0% of total-time
Operation const, time spent: 3.5s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 886.0ms, 1.0% of total-time
Operation ival-tan, time spent: 774.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 61.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 40.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time
Operation ival-acos, time spent: 26.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 14.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

simplify4.2min (12%)

Algorithm
1086×egg-herbie
Rules
287496×fma-define
247776×fmm-def
214420×associate-*r*
206300×*-commutative
206291×distribute-lft-in
Stop Event
268×saturated
814×node limit
148×fuel
4×unsound
121×done
Counts
374602 → 317801
Compiler

Compiled 61777 to 38179 computations (38.2% saved)

eval3.4min (9.8%)

Compiler

Compiled 9174823 to 4832554 computations (47.3% saved)

soundness3.4min (9.6%)

Rules
246848×fma-define
223264×fmm-def
181958×log1p-expm1-u
151366×associate-*r*
139315×distribute-lft-in
Stop Event
84×saturated
724×node limit
3×unsound
Compiler

Compiled 89135 to 49748 computations (44.2% saved)

rewrite2.9min (8.4%)

Algorithm
817×batch-egg-rewrite
Rules
572445×log1p-expm1-u
415347×expm1-log1p-u
162273×pow1
151628×add-exp-log
145647×add-log-exp
Stop Event
815×node limit
2×unsound
Counts
5788 → 206368

preprocess2.2min (6.3%)

Algorithm
269×egg-herbie
Rules
137764×fmm-def
117089×fma-define
51035×unsub-neg
50338×sub-neg
47100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 189031 to 97412 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.1s
Operation ival-mult, time spent: 6.6s, 33.0% of total-time
Operation ival-sub, time spent: 3.0s, 15.0% of total-time
Operation ival-add, time spent: 2.9s, 15.0% of total-time
Operation ival-log, time spent: 2.7s, 14.0% of total-time
Operation ival-div, time spent: 1.9s, 10.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 5.0% of total-time
Operation const, time spent: 598.0ms, 3.0% of total-time
Operation ival-sin, time spent: 540.0ms, 3.0% of total-time
Operation ival-exp, time spent: 333.0ms, 2.0% of total-time
Operation ival-cos, time spent: 315.0ms, 2.0% of total-time
Operation ival-tan, time spent: 35.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-acos, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 10.0ms, 0.0% of total-time

regimes2.2min (6.3%)

Counts
33364 → 5405
Calls

491 calls:

22.2s
y
21.5s
x
20.6s
z
14.9s
t
11.4s
a
Compiler

Compiled 44008 to 34708 computations (21.1% saved)

prune2.0min (5.6%)

Counts
398647 → 13279
Compiler

Compiled 440594 to 298390 computations (32.3% saved)

bsearch1.9min (5.3%)

Algorithm
3112×binary-search
311×left-value
Stop Event
47×predicate-same
3065×narrow-enough
Results
1.1min301912×256valid
26.4s73157×256infinite
795.0ms5900×256invalid
2.0s4398×512valid
1.0s2142×1024valid
128.0ms246×1024infinite
75.0ms226×512infinite
69.0ms175×2048valid
4.0ms18×512invalid
Compiler

Compiled 694417 to 520993 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.2s
Operation ival-mult, time spent: 18.8s, 45.0% of total-time
Operation ival-sub, time spent: 8.6s, 20.0% of total-time
Operation ival-add, time spent: 6.2s, 15.0% of total-time
Operation ival-div, time spent: 3.8s, 9.0% of total-time
Operation ival-log, time spent: 1.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 815.0ms, 2.0% of total-time
Operation const, time spent: 776.0ms, 2.0% of total-time
Operation ival-sin, time spent: 569.0ms, 1.0% of total-time
Operation ival-cos, time spent: 465.0ms, 1.0% of total-time
Operation ival-exp, time spent: 305.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 16.0ms, 0.0% of total-time
Operation ival-tan, time spent: 5.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 3.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series45.9s (2.2%)

Counts
5788 → 168234
Calls

41421 calls:

TimeVariablePointExpression
352.0ms
z
@0
(/ (* x y) (* (pow t 2) z))
261.0ms
y
@inf
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* y (+ c (* y (+ b (* y a))))) i))
237.0ms
y
@0
(* y (exp (- (log z) (log (+ (* (* a (/ t z)) -1/2) z)))))
200.0ms
x
@-inf
(cbrt x)
179.0ms
z
@0
(* (pow z y) (/ (/ (pow a (+ t -1)) (exp b)) y))

analyze22.5s (1.1%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.5s
Operation ival-mult, time spent: 4.0s, 38.0% of total-time
Operation ival-sub, time spent: 1.6s, 15.0% of total-time
Operation ival-add, time spent: 1.5s, 15.0% of total-time
Operation ival-div, time spent: 1.4s, 14.0% of total-time
Operation ival-sqrt, time spent: 516.0ms, 5.0% of total-time
Operation ival-log, time spent: 389.0ms, 4.0% of total-time
Operation const, time spent: 245.0ms, 2.0% of total-time
Operation ival-sin, time spent: 244.0ms, 2.0% of total-time
Operation ival-cosh, time spent: 153.0ms, 1.0% of total-time
Operation ival-tan, time spent: 127.0ms, 1.0% of total-time
Operation ival-exp, time spent: 124.0ms, 1.0% of total-time
Operation ival-cos, time spent: 72.0ms, 1.0% of total-time
Operation ival-acos, time spent: 27.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end153.0ms (0%)

Profiling

Loading profile data...