Herbie run

Date:Saturday, June 8th, 2024
Commit:f11338c3 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024160
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 8.3s)

sample3.7s (44.7%)

Results
1.4s5928×2valid
984.0ms9566×1valid
358.0ms8694×0valid
244.0ms580×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-add: 677.0ms (40.8% of total)
backward-pass: 575.0ms (34.6% of total)
ival-sub: 283.0ms (17% of total)
ival-mult: 92.0ms (5.5% of total)
const: 35.0ms (2.1% of total)
Bogosity

rewrite1.1s (13.4%)

Algorithm
6×batch-egg-rewrite
Rules
12200×/-lowering-/.f64
12200×/-lowering-/.f32
11862×*-lowering-*.f32
11862×*-lowering-*.f64
6320×+-lowering-+.f32
Stop Event
4×iter limit
4×saturated
4×node limit
Counts
20 → 1030

simplify917.0ms (11.1%)

Algorithm
15×egg-herbie
Rules
13146×*-lowering-*.f32
13146×*-lowering-*.f64
8220×fma-lowering-fma.f64
8220×fma-lowering-fma.f32
8064×fma-define
Stop Event
8×iter limit
14×saturated
5×node limit
Counts
240 → 240

soundness876.0ms (10.6%)

Rules
8372×*-lowering-*.f32
8372×*-lowering-*.f64
7300×+-lowering-+.f32
7300×+-lowering-+.f64
5720×fma-lowering-fma.f64
Stop Event
1×saturated
5×iter limit
4×node limit
3×done
Compiler

Compiled 95 to 57 computations (40% saved)

preprocess708.0ms (8.6%)

Algorithm
6×egg-herbie
Rules
5894×fmsub-define
5792×fnmsub-define
5064×fmm-def
4662×fma-define
4484×+-lowering-+.f32
Stop Event
2×saturated
3×iter limit
4×node limit
Compiler

Compiled 258 to 190 computations (26.4% saved)

explain348.0ms (4.2%)

Results
125.0ms358×2valid
95.0ms618×1valid
33.0ms530×0valid
12.0ms30×3valid
Compiler

Compiled 168 to 57 computations (66.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 102.0ms
ival-add: 42.0ms (41.3% of total)
backward-pass: 37.0ms (36.3% of total)
ival-sub: 15.0ms (14.7% of total)
ival-mult: 5.0ms (4.9% of total)
const: 2.0ms (2% of total)

localize217.0ms (2.6%)

Results
154.0ms1536×0valid
Compiler

Compiled 317 to 57 computations (82% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0ms
ival-mult: 29.0ms (55.2% of total)
ival-add: 11.0ms (20.9% of total)
ival-div: 9.0ms (17.1% of total)
const: 3.0ms (5.7% of total)
backward-pass: 0.0ms (0% of total)

eval167.0ms (2%)

Compiler

Compiled 44676 to 3769 computations (91.6% saved)

prune150.0ms (1.8%)

Counts
1456 → 22
Compiler

Compiled 315 to 162 computations (48.6% saved)

regimes39.0ms (0.5%)

Counts
18 → 8
Calls

8 calls:

13.0ms
z
10.0ms
x
5.0ms
(-.f64 (+.f64 #s(literal 1 binary64) x) x)
3.0ms
(+.f64 x #s(literal 1 binary64))
2.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
Compiler

Compiled 64 to 38 computations (40.6% saved)

bsearch25.0ms (0.3%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Results
14.0ms304×0valid
Compiler

Compiled 204 to 141 computations (30.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-add: 2.0ms (34.8% of total)
ival-mult: 2.0ms (34.8% of total)
ival-sub: 1.0ms (17.4% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

series13.0ms (0.2%)

Counts
20 → 240
Calls

48 calls:

TimeVariablePointExpression
1.0ms
x
@0
(* (/ x (/ (+ 4 (* x (+ x -2))) (+ (* x (* (* x (* x x)) (* x x))) -64))) (/ 1 (+ (* x (* x x)) -8)))
1.0ms
x
@inf
(* (/ x (/ (+ 4 (* x (+ x -2))) (+ (* x (* (* x (* x x)) (* x x))) -64))) (/ 1 (+ (* x (* x x)) -8)))
1.0ms
x
@0
(/ (+ 4 (* x (+ x -2))) (+ (* x (* (* x (* x x)) (* x x))) -64))
1.0ms
x
@-inf
(* (/ x (/ (+ 4 (* x (+ x -2))) (+ (* x (* (* x (* x x)) (* x x))) -64))) (/ 1 (+ (* x (* x x)) -8)))
0.0ms
x
@inf
(* 2 x)

analyze1.0ms (0%)

Algorithm
3×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 33 to 20 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...