Herbie run

Date:Wednesday, November 1st, 2023
Commit:9364c08b on platforms
Hostname:nightly with Racket 8.6
Seed:2023305
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: 7.4min)

series2.4min (32.7%)

Counts
727 → 10714
Calls

3410 calls:

TimeVariablePointExpression
2.4min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
404.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
151.0ms
a
@0
(*.f64 x (+.f64 a (*.f64 x (*.f64 1/2 (pow.f64 a 2)))))
122.0ms
c
@inf
(sqrt.f64 (*.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 (*.f64 -4 c) a)))) (/.f64 1/2 a)))
106.0ms
x
@-inf
(pow.f64 (+.f64 x 1) (/.f64 1 n))
Results

sample1.3min (17.7%)

Results
28.5s33013×body2048valid
25.1s62878×body1024valid
10.7s86722×body256valid
8.4s33138×body512valid
1.4s2032×body4096valid
1.4s13048×body256infinite
914.0ms1169×body1024invalid
705.0ms7231×body256unsamplable
637.0ms5211×body256invalid
292.0ms305×body2048unsamplable
250.0ms562×body512invalid
161.0ms469×body1024unsamplable
136.0ms156×body1024infinite
81.0ms175×body512infinite
57.0ms245×body512unsamplable
6.0ms5×body2048invalid
3.0ms5×body2048infinite
2.0ms1×body8192valid
Bogosity

soundness49.1s (11%)

Rules
50487×+-commutative
48552×associate-*r/
47910×associate-/l*
47531×*-commutative
45510×associate-*r*
Stop Event
3×saturated
203×node limit
Compiler

Compiled 20576 to 12059 computations (41.4% saved)

localize39.7s (8.9%)

Compiler

Compiled 13425 to 7129 computations (46.9% saved)

eval38.5s (8.6%)

Compiler

Compiled 1773125 to 1081221 computations (39% saved)

simplify26.3s (5.9%)

Algorithm
120×egg-herbie
Rules
32827×+-commutative
31469×associate-/l*
29724×*-commutative
29154×associate-*r*
27646×associate-*l*
Stop Event
3×done
27×saturated
24×fuel
93×node limit
Counts
45135 → 46033
Compiler

Compiled 3970 to 2669 computations (32.8% saved)

rewrite20.4s (4.6%)

Algorithm
93×batch-egg-rewrite
Rules
18762×*-un-lft-identity
17065×associate-*r*
16253×associate-*l/
15716×associate-*r/
15482×add-sqr-sqrt
Stop Event
93×node limit
Counts
727 → 34421

prune16.7s (3.7%)

Counts
67456 → 2174
Compiler

Compiled 114260 to 78786 computations (31% saved)

regimes12.1s (2.7%)

Counts
3930 → 354
Calls

42 calls:

2.8s
eps
2.1s
x
1.4s
a
1.1s
c
832.0ms
b
Compiler

Compiled 45408 to 23481 computations (48.3% saved)

preprocess10.9s (2.4%)

Algorithm
28×egg-herbie
Rules
12370×fma-def
5696×associate-/r*
5607×associate-+r+
5463×distribute-lft-in
4995×associate-/l*
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10876 to 6244 computations (42.6% saved)

bsearch5.0s (1.1%)

Algorithm
150×binary-search
24×left-value
Stop Event
149×narrow-enough
1×predicate-same
Results
1.8s12496×body256valid
1.5s3126×body1024valid
603.0ms971×body2048valid
439.0ms1490×body512valid
208.0ms924×body256infinite
127.0ms1345×body256invalid
46.0ms96×body512infinite
8.0ms11×body1024infinite
3.0ms9×body1024unsamplable
2.0ms6×body4096valid
1.0ms9×body256unsamplable
0.0ms1×body512unsamplable
Compiler

Compiled 31455 to 22847 computations (27.4% saved)

analyze2.6s (0.6%)

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)

end3.0ms (0%)

Profiling

Loading profile data...