Herbie run

Date:Wednesday, January 24th, 2024
Commit:0c1ae427 on main
Hostname:nightly with Racket 8.6
Seed:2024024
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.2min)

localize15.6s (22%)

Compiler

Compiled 5819 to 3076 computations (47.1% saved)

sample13.6s (19.2%)

Results
10.1s62896×256valid
904.0ms7268×256infinite
2.0s4140×2048valid
452.0ms1963×256invalid
Bogosity

eval11.3s (15.9%)

Compiler

Compiled 526001 to 343459 computations (34.7% saved)

soundness7.6s (10.7%)

Rules
33626×fma-def
21808×associate-*r*
21682×times-frac
17804×associate-*l*
11334×log-prod
Stop Event
2×saturated
36×node limit
Compiler

Compiled 3511 to 2115 computations (39.8% saved)

simplify5.1s (7.3%)

Algorithm
31×egg-herbie
Rules
23266×fma-def
13386×times-frac
10820×associate-*r*
9916×*-commutative
9110×sqr-pow
Stop Event
9×saturated
5×done
4×fuel
22×node limit
Counts
8452 → 7574
Compiler

Compiled 1643 to 1092 computations (33.5% saved)

preprocess4.6s (6.5%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4858 to 2821 computations (41.9% saved)

rewrite4.0s (5.6%)

Algorithm
22×batch-egg-rewrite
Rules
11122×log1p-expm1-u
9557×expm1-log1p-u
7864×log-prod
6618×unpow-prod-down
6484×prod-diff
Stop Event
22×node limit
Counts
145 → 5405

prune3.9s (5.5%)

Counts
13420 → 321
Compiler

Compiled 25489 to 17394 computations (31.8% saved)

regimes2.5s (3.5%)

Counts
595 → 105
Calls

26 calls:

603.0ms
b
310.0ms
c
299.0ms
a
288.0ms
x
155.0ms
y
Compiler

Compiled 12031 to 6867 computations (42.9% saved)

bsearch1.3s (1.8%)

Algorithm
55×binary-search
2×left-value
Stop Event
48×narrow-enough
7×predicate-same
Results
1.0s6286×256valid
89.0ms532×256invalid
54.0ms402×256infinite
Compiler

Compiled 16261 to 11502 computations (29.3% saved)

series907.0ms (1.3%)

Counts
145 → 3047
Calls

939 calls:

TimeVariablePointExpression
36.0ms
b
@-inf
(+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2))))
35.0ms
x
@inf
(*.f64 x (/.f64 -1 y))
28.0ms
x
@0
(log.f64 (-.f64 (/.f64 1 x) 1))
28.0ms
x
@0
(cbrt.f64 (*.f64 x (+.f64 x -1)))
26.0ms
a
@-inf
(log.f64 (*.f64 a (/.f64 c b)))

analyze538.0ms (0.8%)

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)

end2.0ms (0%)

Profiling

Loading profile data...