Herbie run

Date:Wednesday, April 17th, 2024
Commit:6204de5a on fpcore-fixes
Hostname:nightly with Racket 8.11.1
Seed:2024108
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.1min)

localize14.6s (23.1%)

Results
3.2s4127×0valid
1.5s732×0invalid
2.7s537×1valid
3.2s397×2valid
1.7s95×3valid
Compiler

Compiled 5964 to 3265 computations (45.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
ival-pow: 3.3s (31.8% of total)
ival-mult: 1.8s (17.8% of total)
ival-div: 1.1s (10.6% of total)
ival-fma: 990.0ms (9.5% of total)
backward-pass: 858.0ms (8.3% of total)
ival-sub: 659.0ms (6.3% of total)
ival-sqrt: 476.0ms (4.6% of total)
ival-add: 263.0ms (2.5% of total)
const: 187.0ms (1.8% of total)
ival-fabs: 164.0ms (1.6% of total)
ival->=: 128.0ms (1.2% of total)
ival-cbrt: 121.0ms (1.2% of total)
ival-if: 113.0ms (1.1% of total)
ival-log: 90.0ms (0.9% of total)
ival-neg: 37.0ms (0.4% of total)
ival-log1p: 24.0ms (0.2% of total)
ival-exp: 20.0ms (0.2% of total)
ival-expm1: 16.0ms (0.2% of total)

sample13.1s (20.6%)

Results
7.6s70139×0valid
1.3s4157×2valid
364.0ms1935×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.1s (32.6% of total)
ival-div: 1.3s (19.4% of total)
ival-sub: 978.0ms (15.1% of total)
ival-sqrt: 638.0ms (9.9% of total)
ival-add: 320.0ms (4.9% of total)
ival-neg: 263.0ms (4.1% of total)
backward-pass: 198.0ms (3.1% of total)
ival->=: 168.0ms (2.6% of total)
ival-log: 138.0ms (2.1% of total)
const: 133.0ms (2.1% of total)
ival-if: 110.0ms (1.7% of total)
ival-fabs: 103.0ms (1.6% of total)
ival-exp: 63.0ms (1% of total)
Bogosity

eval10.0s (15.8%)

Compiler

Compiled 789623 to 522578 computations (33.8% saved)

prune5.6s (8.9%)

Counts
17768 → 305
Compiler

Compiled 18719 to 12568 computations (32.9% saved)

simplify5.2s (8.2%)

Algorithm
28×egg-herbie
Rules
6563×*-commutative
6391×distribute-lft-in
6312×distribute-rgt-in
5433×fma-define
4838×times-frac
Stop Event
9×saturated
19×node limit
Counts
7739 → 7938

soundness3.9s (6.2%)

Rules
4353×distribute-lft-in
4336×fma-define
4260×distribute-rgt-in
3747×fma-neg
3290×*-commutative
Stop Event
2×saturated
14×node limit
2×fuel
7×done
Compiler

Compiled 3749 to 2022 computations (46.1% saved)

rewrite3.9s (6.2%)

Algorithm
19×batch-egg-rewrite
Rules
12174×log1p-expm1-u
9013×expm1-log1p-u
4176×add-exp-log
4047×pow1
3748×prod-diff
Stop Event
19×node limit
Counts
123 → 4119

explain2.3s (3.6%)

Results
605.0ms3686×0valid
634.0ms470×1valid
447.0ms442×2valid
19.0ms10×3valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 449.0ms (33.4% of total)
ival-sub: 157.0ms (11.7% of total)
ival-div: 157.0ms (11.7% of total)
ival-neg: 154.0ms (11.5% of total)
ival-sqrt: 138.0ms (10.3% of total)
backward-pass: 130.0ms (9.7% of total)
ival-add: 81.0ms (6% of total)
const: 26.0ms (1.9% of total)
ival-fabs: 13.0ms (1% of total)
ival-log: 12.0ms (0.9% of total)
ival->=: 11.0ms (0.8% of total)
ival-if: 10.0ms (0.7% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess1.4s (2.2%)

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 2208 to 1200 computations (45.7% saved)

regimes1.1s (1.8%)

Counts
473 → 60
Calls

26 calls:

242.0ms
c
231.0ms
b
219.0ms
a
80.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))))
68.0ms
y
Compiler

Compiled 498 to 349 computations (29.9% saved)

series981.0ms (1.5%)

Counts
123 → 3620
Calls

804 calls:

TimeVariablePointExpression
55.0ms
c
@0
(* (+ (* -1 b) (sqrt (- (pow b 2) (* 4 (* a c))))) (/ 1 (* a 2)))
47.0ms
a
@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))))))
26.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
19.0ms
c
@-inf
(/ (* 2 c) (+ (neg b) (pow (pow (+ (* c (* a -4)) (pow b 2)) 1/4) 2)))

analyze906.0ms (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: 390.0ms
ival-mult: 186.0ms (47.7% of total)
ival-sub: 45.0ms (11.5% of total)
ival-sqrt: 44.0ms (11.3% of total)
ival-div: 33.0ms (8.5% of total)
ival-add: 18.0ms (4.6% of total)
ival-if: 17.0ms (4.4% of total)
ival->=: 17.0ms (4.4% of total)
ival-neg: 16.0ms (4.1% of total)
const: 8.0ms (2% of total)
ival-fabs: 4.0ms (1% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch368.0ms (0.6%)

Algorithm
23×binary-search
Stop Event
6×predicate-same
17×narrow-enough
Results
219.0ms2240×0valid
18.0ms104×0invalid
Compiler

Compiled 5084 to 3556 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 159.0ms
ival-mult: 51.0ms (32% of total)
ival-div: 31.0ms (19.4% of total)
ival-sub: 21.0ms (13.2% of total)
ival-add: 13.0ms (8.2% of total)
ival-sqrt: 13.0ms (8.2% of total)
ival-fabs: 7.0ms (4.4% of total)
ival-if: 7.0ms (4.4% of total)
ival-neg: 6.0ms (3.8% of total)
ival->=: 5.0ms (3.1% of total)
const: 4.0ms (2.5% of total)
backward-pass: 1.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...