Herbie run

Date:Saturday, August 5th, 2023
Commit:55cd986f on add-odyssey-paper
Hostname:nightly with Racket 8.6
Seed:2023217
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: 8.1min)

sample1.7min (20.9%)

Results
30.9s154940×body256valid
17.9s29666×body1024valid
11.0s66022×body256invalid
8.0s7742×body8192exit
7.2s39289×body256infinite
6.0s10234×body2048valid
5.3s13847×body512valid
2.9s6034×body1024invalid
2.5s635×body4096infinite
2.3s2041×body4096valid
1.5s8089×body256unsamplable
1.3s654×body2048infinite
1.3s2408×body1024infinite
984.0ms3072×body512invalid
642.0ms758×body8192valid
493.0ms1464×body512infinite
1.0ms2×body2048invalid
Bogosity

soundness1.4min (16.8%)

Rules
260016×fma-def
194520×associate-*r*
161914×associate-*l*
159926×times-frac
145066×log-prod
Stop Event
6×saturated
5×unsound
418×node limit
Compiler

Compiled 47359 to 27651 computations (41.6% saved)

localize1.3min (16.5%)

Compiler

Compiled 36837 to 16652 computations (54.8% saved)

regimes59.4s (12.3%)

Counts
10910 → 1007
Calls

152 calls:

6.4s
l
2.6s
F
2.1s
KbT
2.0s
NdChar
1.9s
d
Compiler

Compiled 175790 to 87319 computations (50.3% saved)

eval46.7s (9.7%)

Compiler

Compiled 2621008 to 1505328 computations (42.6% saved)

simplify31.4s (6.5%)

Algorithm
184×egg-herbie
Rules
122708×fma-def
89890×associate-*r*
79348×associate-*l*
72478×times-frac
66830×*-commutative
Stop Event
37×saturated
31×fuel
147×node limit
Counts
60800 → 47927
Compiler

Compiled 16374 to 10364 computations (36.7% saved)

bsearch21.0s (4.3%)

Algorithm
509×binary-search
123×left-value
Stop Event
488×narrow-enough
21×predicate-same
Results
7.8s38727×body256valid
4.6s6187×body1024valid
2.4s11097×body256infinite
2.3s11990×body256invalid
1.6s3373×body512valid
358.0ms706×body1024infinite
221.0ms412×body512infinite
172.0ms226×body2048valid
128.0ms113×body4096valid
90.0ms259×body1024invalid
76.0ms46×body4096infinite
50.0ms46×body2048infinite
32.0ms141×body512invalid
8.0ms11×body8192valid
Compiler

Compiled 152430 to 111610 computations (26.8% saved)

prune20.1s (4.2%)

Counts
76265 → 3046
Compiler

Compiled 220756 to 149428 computations (32.3% saved)

rewrite14.9s (3.1%)

Algorithm
122×batch-egg-rewrite
Rules
82530×pow1
78086×add-exp-log
77982×add-log-exp
77974×log1p-expm1-u
77960×expm1-log1p-u
Stop Event
4×unsound
118×node limit
Counts
1284 → 28147

preprocess9.9s (2%)

Algorithm
31×egg-herbie
Rules
36464×fma-def
16456×fma-neg
13966×div-sub
13472×distribute-lft-neg-in
12750×distribute-lft-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 38712 to 20348 computations (47.4% saved)

analyze9.7s (2%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.2%28.2%65.2%1.8%0%4.8%0%3
34%31.2%60.6%1.8%0%6.4%0%4
36.2%33.2%58.5%1.8%0%6.4%0%5
40.4%37%54.5%1.8%0%6.6%0%6
45.4%41.1%49.4%1.8%0%7.3%0.4%7
47.7%42.6%46.7%1.8%0%8.6%0.4%8
50.6%44.9%43.9%1.8%0%8.9%0.5%9
51.7%45.7%42.7%1.8%0%9.3%0.5%10
53.4%46.8%40.9%1.8%0%9.9%0.6%11
55.1%48%39.1%1.8%0%10.5%0.6%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

series8.3s (1.7%)

Counts
1284 → 32622
Calls

8985 calls:

TimeVariablePointExpression
158.0ms
h
@0
(log.f64 (*.f64 -1/4 (/.f64 h (/.f64 l (*.f64 M M)))))
113.0ms
k
@-inf
(pow.f64 (/.f64 (*.f64 2 (*.f64 (PI.f64) n)) k) 1/4)
97.0ms
w0
@0
(*.f64 w0 (exp.f64 (*.f64 (+.f64 (log.f64 (*.f64 -1/4 (/.f64 (*.f64 D D) (/.f64 l (*.f64 M (*.f64 M h)))))) (*.f64 -2 (log.f64 d))) 1/2)))
77.0ms
f
@inf
(/.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 f (*.f64 (PI.f64) 1/4))) (sinh.f64 (*.f64 f (*.f64 (PI.f64) 1/4))))) (*.f64 (PI.f64) 1/4))
73.0ms
V
@0
(pow.f64 (/.f64 A (*.f64 V l)) 3/2)

end21.0ms (0%)

Profiling

Loading profile data...