Herbie run

Date:Tuesday, October 24th, 2023
Commit:21d611eb on main
Hostname:nightly with Racket 8.6
Seed:2023297
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.6hr)

sample22.4min (23.8%)

Results
8.6min3362108×body256valid
3.9min46650×body8192exit
2.8min274953×body1024valid
1.7min97689×body2048valid
1.3min526763×body256infinite
1.0min14415×body4096valid
50.8s148119×body512valid
42.7s256107×body256invalid
28.6s2378×body8192valid
15.1s21148×body1024infinite
10.6s50074×body256unsamplable
7.1s15990×body1024invalid
6.9s1234×body4096infinite
5.1s1635×body2048infinite
5.1s11402×body512infinite
2.8s8681×body512invalid
2.0s5299×body2048invalid
775.0ms3019×body256precondition
356.0ms24×body8192infinite
204.0ms460×body1024unsamplable
150.0ms286×body2048unsamplable
68.0ms254×body512unsamplable
8.0ms8×body4096invalid
Bogosity

localize18.1min (19.2%)

Results
Compiler

Compiled 455812 to 187609 computations (58.8% saved)

soundness12.9min (13.7%)

Rules
2955018×fma-def
1773102×associate-*r*
1551878×log-prod
1443796×associate-*l*
1408138×fma-neg
Stop Event
27×unsound
121×saturated
3940×node limit
Compiler

Compiled 364723 to 202872 computations (44.4% saved)

regimes9.1min (9.7%)

Counts
90569 → 10021
Calls

1177 calls:

54.5s
x
50.1s
y
42.6s
z
36.3s
t
32.4s
a
Compiler

Compiled 1556770 to 804584 computations (48.3% saved)

eval8.3min (8.8%)

Compiler

Compiled 29778728 to 14612783 computations (50.9% saved)

simplify6.1min (6.5%)

Algorithm
2261×egg-herbie
Rules
1324444×fma-def
940754×associate-*r*
933462×log-prod
827880×associate-*l*
727004×times-frac
Stop Event
20×unsound
538×saturated
124×done
413×fuel
1703×node limit
Counts
744381 → 574542
Compiler

Compiled 134183 to 83249 computations (38% saved)

prune4.1min (4.4%)

Counts
854343 → 34953
Results
Compiler

Compiled 2561000 to 1677367 computations (34.5% saved)

preprocess3.8min (4%)

Algorithm
540×egg-herbie
Rules
717430×fma-def
266840×fma-neg
215172×sub-neg
202918×div-sub
198574×unsub-neg
Stop Event
204×saturated
336×node limit
Compiler

Compiled 353957 to 177983 computations (49.7% saved)

rewrite3.4min (3.6%)

Algorithm
1724×batch-egg-rewrite
Rules
1133950×pow1
1071704×add-exp-log
1070686×log1p-expm1-u
1070462×expm1-log1p-u
1024054×add-log-exp
Stop Event
12×unsound
1712×node limit
Counts
13688 → 420275

bsearch2.8min (2.9%)

Algorithm
5264×binary-search
582×left-value
Stop Event
5143×narrow-enough
6×predicate-failed
115×predicate-same
Results
1.3min464193×body256valid
34.0s117777×body256infinite
20.6s27682×body1024valid
8.2s18347×body512valid
3.5s3956×body2048valid
2.6s5471×body1024infinite
2.4s15466×body256invalid
1.5s1420×body4096valid
997.0ms2724×body512infinite
358.0ms238×body2048infinite
331.0ms96×body4096infinite
305.0ms796×body1024invalid
209.0ms160×body8192valid
171.0ms310×body8192exit
147.0ms598×body512invalid
73.0ms114×body2048invalid
30.0ms264×body256unsamplable
1.0ms2×body1024unsamplable
0.0ms1×body2048unsamplable
Compiler

Compiled 1256057 to 922438 computations (26.6% saved)

analyze1.7min (1.9%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86%14%0%0%0%0
40.4%34.7%51.3%14%0%0%0%1
46.4%39.6%45.8%14.1%0%0.6%0%2
56.1%47.2%37%14.1%0%1.7%0%3
62.1%51.9%31.7%14.1%0%2.3%0%4
67.8%56.4%26.8%14.1%0%2.7%0%5
71.5%59.1%23.5%14.1%0%3.2%0%6
75.4%61.7%20.1%14.1%0%4%0%7
77.2%62.9%18.5%14.1%0%4.4%0%8
79.8%64.6%16.4%14.1%0%4.8%0.1%9
81.3%65.5%15%14.1%0%5.3%0.1%10
83.6%67%13.2%14.1%0%5.6%0.1%11
84.7%67.6%12.2%14.1%0%5.9%0.1%12
Compiler

Compiled 13307 to 8604 computations (35.3% saved)

series1.3min (1.4%)

Counts
13688 → 324106
Calls

83796 calls:

TimeVariablePointExpression
1.8s
x
@-inf
(pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3)
416.0ms
w
@-inf
(pow.f32 (cbrt.f32 (sqrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dX.w) (hypot.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dX.v))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dY.w) (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v))) 2)))) 3)
411.0ms
x
@inf
(pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3)
357.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
351.0ms
x
@-inf
(cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2))))

end126.0ms (0%)

Profiling

Loading profile data...