Herbie run

Date:Saturday, July 1st, 2023
Commit:1e3c827b on main
Hostname:nightly with Racket 8.6
Seed:2023182
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.5hr)

sample22.5min (24.4%)

Results
8.6min3328607×body256valid
3.9min46865×body8192exit
2.9min273269×body1024valid
1.7min98623×body2048valid
1.4min527841×body256infinite
1.0min14616×body4096valid
53.2s149032×body512valid
44.7s255044×body256invalid
27.8s2312×body8192valid
14.8s20534×body1024infinite
9.1s49840×body256unsamplable
7.6s16099×body1024invalid
6.1s1203×body4096infinite
5.7s11164×body512infinite
5.0s1651×body2048infinite
2.7s8678×body512invalid
2.1s5242×body2048invalid
820.0ms2981×body256precondition
471.0ms28×body8192infinite
190.0ms303×body2048unsamplable
180.0ms476×body1024unsamplable
57.0ms205×body512unsamplable
5.0ms2×body8192invalid
2.0ms8×body4096invalid
Bogosity

localize19.6min (21.3%)

Results
Compiler

Compiled 390874 to 184637 computations (52.8% saved)

soundness12.0min (13%)

Rules
2802696×fma-def
1627644×associate-*r*
1435214×log-prod
1331528×times-frac
1279432×associate-*l*
Stop Event
34×unsound
210×saturated
3637×node limit
Compiler

Compiled 346336 to 198009 computations (42.8% saved)

regimes8.3min (9%)

Counts
88597 → 10116
Calls

1158 calls:

54.8s
x
46.9s
z
45.7s
y
35.2s
t
29.7s
a
Compiler

Compiled 1337653 to 711124 computations (46.8% saved)

eval8.1min (8.8%)

Compiler

Compiled 26631247 to 14473379 computations (45.7% saved)

simplify6.7min (7.2%)

Algorithm
2766×egg-herbie
Rules
1874580×fma-def
1061446×associate-*r*
916826×log-prod
914156×associate-*l*
853114×times-frac
Stop Event
16×unsound
815×saturated
129×done
404×fuel
1935×node limit
Counts
742983 → 591536
Compiler

Compiled 130516 to 82431 computations (36.8% saved)

prune4.3min (4.6%)

Counts
882269 → 36763
Compiler

Compiled 2443782 to 1666805 computations (31.8% saved)

rewrite3.4min (3.7%)

Algorithm
1697×batch-egg-rewrite
Rules
1102890×pow1
1042656×add-exp-log
1041766×log1p-expm1-u
1041500×expm1-log1p-u
1003352×add-log-exp
Stop Event
10×unsound
1687×node limit
Counts
13708 → 421165

bsearch2.7min (3%)

Algorithm
5449×binary-search
525×left-value
Stop Event
5313×narrow-enough
7×predicate-failed
129×predicate-same
Results
1.4min495223×body256valid
26.0s113451×body256infinite
18.9s26995×body1024valid
8.2s17284×body512valid
4.5s30023×body256invalid
3.1s3765×body2048valid
2.1s4447×body1024infinite
870.0ms894×body4096valid
736.0ms1976×body512infinite
411.0ms126×body2048infinite
341.0ms52×body4096infinite
176.0ms322×body1024invalid
39.0ms119×body512invalid
26.0ms2×body8192infinite
16.0ms19×body8192valid
14.0ms104×body256unsamplable
5.0ms14×body1024unsamplable
3.0ms7×body2048unsamplable
1.0ms1×body8192exit
0.0ms2×body512unsamplable
Compiler

Compiled 1242993 to 916624 computations (26.3% saved)

analyze1.4min (1.5%)

Algorithm
540×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.8%13.2%0%0%0%0
40.5%35.1%51.6%13.2%0%0%0%1
46.5%40.1%46.1%13.3%0%0.6%0%2
56.2%47.7%37.3%13.3%0%1.8%0%3
62.2%52.5%31.9%13.3%0%2.4%0%4
67.9%57%27%13.3%0%2.7%0%5
71.6%59.8%23.7%13.3%0%3.2%0%6
75.5%62.4%20.3%13.3%0%4.1%0%7
77.3%63.6%18.7%13.3%0%4.4%0%8
79.8%65.3%16.5%13.3%0%4.9%0.1%9
81.4%66.2%15.1%13.3%0%5.3%0.1%10
83.6%67.7%13.3%13.3%0%5.7%0.1%11
84.7%68.3%12.3%13.3%0%6%0.1%12
Compiler

Compiled 11868 to 8225 computations (30.7% saved)

end1.2min (1.3%)

Compiler

Compiled 276290 to 142696 computations (48.4% saved)

series1.2min (1.3%)

Counts
13708 → 321282
Calls

83019 calls:

TimeVariablePointExpression
327.0ms
beta
@-inf
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
278.0ms
c
@0
(pow.f64 (*.f64 -4 (*.f64 c a)) 3/2)
275.0ms
n
@inf
(*.f64 (sin.f64 (-.f64 (*.f64 K (*.f64 1/2 n)) M)) (*.f64 K m))
237.0ms
R
@-inf
(log.f64 (*.f64 R (hypot.f64 (*.f64 (cos.f64 (*.f64 (+.f64 phi1 phi2) 1/2)) (-.f64 lambda1 lambda2)) (-.f64 phi1 phi2))))
230.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)

preprocess45.0s (0.8%)

Algorithm
1072×egg-herbie
Rules
511262×fma-def
212982×fma-neg
181548×sub-neg
163618×div-sub
161664×distribute-lft-in
Stop Event
680×saturated
104×unsound
288×node limit
Compiler

Compiled 11191 to 8010 computations (28.4% saved)

Profiling

Loading profile data...