Herbie run

Date:Monday, February 12th, 2024
Commit:f2310814 on main
Hostname:nightly with Racket 8.11.1
Seed:2024043
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: 11.0min)

sample2.9min (26%)

Results
40.1s179519×256valid
9.4s49548×256invalid
9.0s42729×256infinite
1.4min35795×8192exit
6.5s10780×1024valid
6.2s9539×2048valid
3.7s8376×512valid
3.2s4779×1024invalid
1.0s2512×512invalid
2.3s1968×4096valid
2.7s768×4096infinite
876.0ms754×8192valid
1.4s685×2048infinite
369.0ms421×1024infinite
152.0ms397×512infinite
41.0ms175×256unsamplable
Bogosity

soundness1.9min (17.2%)

Rules
209404×fma-define
165226×associate-*r*
154822×times-frac
116184×*-commutative
105424×associate-*l*
Stop Event
5×saturated
374×node limit
1×unsound
Compiler

Compiled 40146 to 26077 computations (35% saved)

localize1.5min (13.9%)

Compiler

Compiled 38745 to 20280 computations (47.7% saved)

eval1.0min (9.5%)

Compiler

Compiled 2912117 to 1885428 computations (35.3% saved)

regimes52.0s (7.9%)

Counts
9270 → 819
Calls

152 calls:

3.8s
t
3.6s
l
3.1s
NaChar
2.2s
mu
2.1s
NdChar
Compiler

Compiled 8715 to 6749 computations (22.6% saved)

simplify46.2s (7%)

Algorithm
151×egg-herbie
Rules
94420×fma-define
72208×times-frac
70812×associate-*r*
61386×*-commutative
56484×log-prod
Stop Event
31×saturated
119×node limit
28×fuel
1×unsound
3×done
Counts
66127 → 55219
Compiler

Compiled 14077 to 9191 computations (34.7% saved)

bsearch25.9s (3.9%)

Algorithm
382×binary-search
103×left-value
Stop Event
5×predicate-same
377×narrow-enough
Results
10.1s38212×256valid
995.0ms4608×256infinite
11.9s4114×8192exit
515.0ms1220×1024valid
145.0ms846×256invalid
188.0ms576×512valid
339.0ms571×2048valid
98.0ms213×1024invalid
96.0ms131×4096valid
179.0ms120×2048infinite
39.0ms104×512infinite
24.0ms87×512invalid
93.0ms83×1024infinite
131.0ms44×4096infinite
10.0ms11×8192valid
Compiler

Compiled 117996 to 88923 computations (24.6% saved)

rewrite24.4s (3.7%)

Algorithm
120×batch-egg-rewrite
Rules
67613×log1p-expm1-u
49526×expm1-log1p-u
37524×prod-diff
31577×pow1
30959×add-exp-log
Stop Event
119×node limit
1×unsound
Counts
1271 → 35525

preprocess24.3s (3.7%)

Algorithm
31×egg-herbie
Rules
33674×fma-define
23736×fma-neg
16400×times-frac
14358×unsub-neg
13522×distribute-lft-neg-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 58746 to 35464 computations (39.6% saved)

prune22.5s (3.4%)

Counts
78728 → 2928
Compiler

Compiled 131385 to 92187 computations (29.8% saved)

series14.9s (2.3%)

Counts
1271 → 30602
Calls

8874 calls:

TimeVariablePointExpression
294.0ms
K
@inf
(cbrt.f64 (*.f64 (cos.f64 (*.f64 K 1/2)) (hypot.f64 1 (*.f64 (/.f64 U J) (/.f64 1/2 (cos.f64 (*.f64 K 1/2)))))))
134.0ms
M
@-inf
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (/.f64 (*.f64 M (*.f64 D 1/2)) (sqrt.f64 d)) (sqrt.f64 d)) 2) (/.f64 h l)))))
133.0ms
J
@inf
(*.f64 (*.f64 -2 (cos.f64 (/.f64 K 2))) (hypot.f64 1 (/.f64 U (*.f64 J 2))))
112.0ms
B
@0
(+.f64 (neg.f64 (/.f64 x B)) (*.f64 (/.f64 F (sin.f64 B)) (/.f64 1 F)))
103.0ms
l
@0
(*.f64 (*.f64 l (/.f64 (*.f64 n (sqrt.f64 2)) Om)) (exp.f64 (*.f64 (log.f64 (*.f64 U (-.f64 U* U))) 1/2)))

analyze9.7s (1.5%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
44.7%40.3%49.7%1.8%0%7.4%0.8%7
46.8%41.8%47.4%1.8%0%8.2%0.9%8
49.6%44.1%44.9%1.8%0%8.3%0.9%9
50.6%44.9%43.9%1.8%0%8.4%1%10
52.2%46.1%42.3%1.8%0%8.9%1%11
53.8%47.3%40.7%1.8%0%9.2%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

end26.0ms (0%)

Profiling

Loading profile data...