Herbie run

Date:Friday, October 6th, 2023
Commit:add13636 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: 6.0min)

sample2.0min (33.6%)

Results
41.4s33286×body2048valid
38.7s62178×body1024valid
17.4s87095×body256valid
12.5s33334×body512valid
2.5s12874×body256infinite
1.9s1201×body1024invalid
1.9s2074×body4096valid
1.3s7405×body256unsamplable
992.0ms5311×body256invalid
597.0ms594×body512invalid
324.0ms506×body1024unsamplable
309.0ms291×body2048unsamplable
187.0ms147×body1024infinite
133.0ms178×body512infinite
103.0ms241×body512unsamplable
9.0ms6×body2048invalid
2.0ms2×body2048infinite
Bogosity

localize50.9s (14.1%)

Compiler

Compiled 12795 to 6755 computations (47.2% saved)

soundness42.8s (11.9%)

Rules
138976×fma-def
95382×fma-neg
84882×log-prod
73422×associate-*r*
57908×associate-*l*
Stop Event
2×saturated
203×node limit
Compiler

Compiled 19046 to 12186 computations (36% saved)

eval37.0s (10.3%)

Compiler

Compiled 1196283 to 716871 computations (40.1% saved)

simplify23.9s (6.6%)

Algorithm
128×egg-herbie
Rules
73736×fma-def
57572×fma-neg
53316×associate-*r*
51312×log-prod
49528×associate-*l*
Stop Event
4×done
28×saturated
24×fuel
100×node limit
Counts
37049 → 36179
Compiler

Compiled 3986 to 2733 computations (31.4% saved)

prune20.5s (5.7%)

Counts
54090 → 2285
Compiler

Compiled 107680 to 75872 computations (29.5% saved)

regimes19.6s (5.4%)

Counts
4517 → 359
Calls

43 calls:

5.6s
x
4.5s
eps
1.5s
a
945.0ms
c
868.0ms
b
Compiler

Compiled 48551 to 27989 computations (42.4% saved)

rewrite16.2s (4.5%)

Algorithm
100×batch-egg-rewrite
Rules
57518×pow1
54670×add-exp-log
54650×log1p-expm1-u
54612×expm1-log1p-u
53980×log-prod
Stop Event
100×node limit
Counts
762 → 26436

preprocess12.8s (3.5%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10224 to 6212 computations (39.2% saved)

bsearch5.6s (1.6%)

Algorithm
130×binary-search
39×left-value
Stop Event
129×narrow-enough
1×predicate-same
Results
2.3s11811×body256valid
1.5s2875×body1024valid
403.0ms1094×body512valid
382.0ms543×body2048valid
220.0ms1706×body256invalid
100.0ms444×body256infinite
51.0ms199×body256unsamplable
29.0ms39×body512infinite
27.0ms23×body1024infinite
5.0ms3×body4096valid
Compiler

Compiled 27136 to 19741 computations (27.3% saved)

series5.3s (1.5%)

Counts
762 → 10613
Calls

3423 calls:

TimeVariablePointExpression
302.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
133.0ms
x
@inf
(*.f64 (*.f64 3 (log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) 1/3)
114.0ms
n
@0
(*.f64 n (log.f64 n))
74.0ms
a
@inf
(/.f64 a (-.f64 b_2 (hypot.f64 b_2 (sqrt.f64 (*.f64 c (neg.f64 a))))))
74.0ms
x
@-inf
(*.f64 (*.f64 3 (log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) 1/3)

analyze4.7s (1.3%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

end4.0ms (0%)

Profiling

Loading profile data...