Herbie run

Date:Saturday, January 27th, 2024
Commit:72aaa402 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024027
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.7s (22.9%)

Compiler

Compiled 6154 to 3467 computations (43.7% saved)

sample12.9s (20%)

Results
9.8s63066×256valid
1.0s7121×256infinite
1.5s4117×2048valid
482.0ms1892×256invalid
Bogosity

eval9.7s (15%)

Compiler

Compiled 506827 to 339211 computations (33.1% saved)

soundness6.5s (10.1%)

Rules
25980×fma-def
16740×times-frac
13732×associate-*r*
10850×associate-*l*
10172×fma-neg
Stop Event
2×saturated
26×node limit
Compiler

Compiled 2315 to 1337 computations (42.2% saved)

simplify4.6s (7.1%)

Algorithm
29×egg-herbie
Rules
16738×fma-def
11076×log-prod
10598×times-frac
10228×associate-*r*
8154×*-commutative
Stop Event
9×saturated
20×node limit
4×fuel
5×done
Counts
7764 → 6906
Compiler

Compiled 1133 to 756 computations (33.3% saved)

rewrite4.0s (6.2%)

Algorithm
20×batch-egg-rewrite
Rules
10637×log1p-expm1-u
8862×expm1-log1p-u
7152×log-prod
5610×unpow-prod-down
5462×prod-diff
Stop Event
20×node limit
Counts
140 → 4888

preprocess3.9s (6.1%)

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 3810 to 2227 computations (41.5% saved)

prune3.2s (4.9%)

Counts
12929 → 345
Compiler

Compiled 19113 to 13000 computations (32% saved)

regimes2.2s (3.4%)

Counts
438 → 88
Calls

26 calls:

423.0ms
c
342.0ms
a
311.0ms
b
214.0ms
x
175.0ms
y
Compiler

Compiled 486 to 338 computations (30.5% saved)

series1.2s (1.8%)

Counts
140 → 2876
Calls

879 calls:

TimeVariablePointExpression
80.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (/.f64 -1 (/.f64 b c)))) 1)
62.0ms
x
@inf
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
61.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
51.0ms
c
@-inf
(log.f64 (*.f64 a (*.f64 c -4)))
50.0ms
c
@0
(pow.f64 (*.f64 (*.f64 c 4) (/.f64 -1 a)) 1/4)

bsearch891.0ms (1.4%)

Algorithm
50×binary-search
Stop Event
9×predicate-same
41×narrow-enough
Results
743.0ms4955×256valid
57.0ms453×256infinite
16.0ms91×256invalid
Compiler

Compiled 8059 to 6104 computations (24.3% saved)

analyze663.0ms (1%)

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