Herbie run

Date:Friday, October 6th, 2023
Commit:c7e70dc6 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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.3min)

sample17.6s (23%)

Results
12.4s62949×body256valid
2.4s4123×body2048valid
1.7s7232×body256infinite
442.0ms1937×body256invalid
Bogosity

localize15.8s (20.7%)

Compiler

Compiled 6718 to 3570 computations (46.9% saved)

eval14.3s (18.8%)

Compiler

Compiled 607094 to 366908 computations (39.6% saved)

soundness8.0s (10.5%)

Rules
29608×fma-def
17540×associate-*r*
17272×fma-neg
15952×times-frac
13512×associate-*l*
Stop Event
2×saturated
35×node limit
Compiler

Compiled 3226 to 1739 computations (46.1% saved)

prune6.1s (8%)

Counts
14838 → 292
Compiler

Compiled 27678 to 18247 computations (34.1% saved)

simplify4.9s (6.4%)

Algorithm
29×egg-herbie
Rules
16658×fma-def
10852×associate-*r*
9170×associate-*l*
9008×distribute-lft-in
8072×*-commutative
Stop Event
8×saturated
4×done
5×fuel
21×node limit
Counts
7810 → 7101
Compiler

Compiled 1028 to 649 computations (36.9% saved)

rewrite2.7s (3.5%)

Algorithm
20×batch-egg-rewrite
Rules
13572×pow1
12802×add-exp-log
12792×expm1-log1p-u
12792×log1p-expm1-u
12690×add-log-exp
Stop Event
20×node limit
Counts
128 → 5102

regimes2.4s (3.2%)

Counts
337 → 67
Calls

23 calls:

409.0ms
a
337.0ms
c
308.0ms
b
303.0ms
x
222.0ms
y
Compiler

Compiled 7018 to 4073 computations (42% saved)

preprocess2.1s (2.7%)

Algorithm
9×egg-herbie
Rules
5828×div-sub
5698×fma-neg
5666×fma-def
4786×times-frac
3022×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 2476 to 1389 computations (43.9% saved)

series1.1s (1.4%)

Counts
128 → 2708
Calls

828 calls:

TimeVariablePointExpression
141.0ms
a
@inf
(sqrt.f64 (fma.f64 b b (*.f64 (*.f64 c a) -4)))
90.0ms
c
@inf
(-.f64 (neg.f64 b) (hypot.f64 b (*.f64 (sqrt.f64 (*.f64 c -4)) (sqrt.f64 a))))
63.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 a)) (*.f64 -1 (log.f64 (/.f64 -1 c))))))
28.0ms
c
@0
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)
28.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)

bsearch641.0ms (0.8%)

Algorithm
30×binary-search
Stop Event
23×narrow-enough
7×predicate-same
Results
484.0ms2882×body256valid
60.0ms318×body256infinite
28.0ms198×body256invalid
Compiler

Compiled 8767 to 5921 computations (32.5% saved)

analyze610.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)

end1.0ms (0%)

Profiling

Loading profile data...