Herbie run

Date:Tuesday, October 24th, 2023
Commit:4c861e3a on platforms
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: 2.4hr)

sample25.5min (17.8%)

Results
10.9min3362130×body256valid
4.0min46691×body8192exit
3.1min274953×body1024valid
1.8min97689×body2048valid
1.4min526763×body256infinite
1.2min14415×body4096valid
53.8s148119×body512valid
46.2s256107×body256invalid
32.3s2378×body8192valid
15.3s21148×body1024infinite
9.1s50210×body256unsamplable
7.4s15990×body1024invalid
6.4s1234×body4096infinite
5.1s11402×body512infinite
5.0s1635×body2048infinite
2.7s8681×body512invalid
2.2s5299×body2048invalid
916.0ms3019×body256precondition
355.0ms24×body8192infinite
175.0ms460×body1024unsamplable
159.0ms286×body2048unsamplable
68.0ms254×body512unsamplable
8.0ms8×body4096invalid
Bogosity

soundness24.8min (17.3%)

Rules
2228504×fma-def
1832107×*-commutative
1314781×+-commutative
1161705×associate-*r*
1108016×associate-*r/
Stop Event
42×unsound
125×saturated
4057×node limit
Results
Compiler

Compiled 439398 to 234895 computations (46.5% saved)

eval23.3min (16.2%)

Compiler

Compiled 71682734 to 33116677 computations (53.8% saved)

localize19.4min (13.5%)

Results
Compiler

Compiled 523591 to 214098 computations (59.1% saved)

simplify12.0min (8.3%)

Algorithm
2275×egg-herbie
Rules
1017116×fma-def
983541×*-commutative
703891×+-commutative
604952×associate-*r/
518547×associate-*r*
Stop Event
18×unsound
536×saturated
111×done
424×fuel
1721×node limit
Counts
1173849 → 1076530
Results
Compiler

Compiled 140497 to 85873 computations (38.9% saved)

regimes10.7min (7.4%)

Counts
107604 → 10157
Calls

1176 calls:

1.1min
x
48.7s
y
46.8s
z
36.0s
t
32.4s
a
Results
Compiler

Compiled 1999851 to 959330 computations (52% saved)

prune9.7min (6.7%)

Counts
1587905 → 38549
Compiler

Compiled 3224923 to 2049550 computations (36.4% saved)

rewrite7.3min (5.1%)

Algorithm
5212×rewrite-once
1736×batch-egg-rewrite
Rules
589364×frac-2neg
464444×fma-def
442656×associate-*r*
414606×associate-*l*
388710×*-commutative
Stop Event
20×unsound
10×saturated
1706×node limit
Counts
14178 → 840426
Calls

15486 calls:

114.0ms
(/.f64 y (sin.f64 y))
80.0ms
(+.f64 (*.f64 d1 (-.f64 d4 d1)) (*.f64 d1 (-.f64 d2 d3)))
73.0ms
(*.f64 z (-.f64 (/.f64 y t) (/.f64 x t)))
68.0ms
(log.f64 (exp.f64 (*.f64 (sin.f64 (*.f64 phi2 1/2)) (sin.f64 (*.f64 phi1 1/2)))))
66.0ms
(/.f64 (pow.f64 (*.f64 b a) 2) y-scale)

preprocess4.8min (3.3%)

Algorithm
540×egg-herbie
Rules
476309×fma-def
180780×*-commutative
174103×fma-neg
143502×+-commutative
141075×distribute-lft-in
Stop Event
207×saturated
333×node limit
Compiler

Compiled 364527 to 180905 computations (50.4% saved)

bsearch2.6min (1.8%)

Algorithm
5179×binary-search
613×left-value
Stop Event
5076×narrow-enough
4×predicate-failed
99×predicate-same
Results
1.3min461408×body256valid
28.5s115860×body256infinite
17.8s26919×body1024valid
7.2s17406×body512valid
3.3s4471×body2048valid
3.1s18983×body256invalid
2.5s4529×body1024infinite
1.1s1152×body4096valid
751.0ms2336×body512infinite
288.0ms728×body1024invalid
202.0ms99×body2048infinite
114.0ms491×body512invalid
47.0ms15×body4096infinite
43.0ms377×body256unsamplable
30.0ms29×body8192valid
5.0ms4×body8192exit
1.0ms2×body1024unsamplable
Compiler

Compiled 1216073 to 894060 computations (26.5% saved)

analyze2.3min (1.6%)

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 (0.9%)

Counts
14178 → 333423
Calls

88209 calls:

TimeVariablePointExpression
1.4s
x
@inf
(log.f64 (/.f64 (sinh.f64 x) x))
447.0ms
cosTheta_i
@0
(/.f64 (*.f64 (binary32->binary64 v) (*.f64 (sinh.f64 (/.f64 1 (binary32->binary64 v))) 2)) (/.f64 (binary32->binary64 cosTheta_i) (/.f64 (binary32->binary64 v) (binary32->binary64 cosTheta_O))))
438.0ms
eps
@inf
(log.f64 (-.f64 (/.f64 1 (-.f64 eps -1)) (/.f64 eps (-.f64 eps -1))))
393.0ms
x
@0
(*.f64 x (log.f64 x))
359.0ms
dY.v
@inf
(/.f64 (fmax.f64 (+.f64 (pow.f64 (*.f64 (floor.f64 (binary32->binary64 w)) (binary32->binary64 dX.u)) 2) (pow.f64 (*.f64 (floor.f64 (binary32->binary64 h)) (binary32->binary64 dX.v)) 2)) (+.f64 (pow.f64 (*.f64 (floor.f64 (binary32->binary64 w)) (binary32->binary64 dY.u)) 2) (pow.f64 (*.f64 (floor.f64 (binary32->binary64 h)) (binary32->binary64 dY.v)) 2))) (fabs.f64 (*.f64 (floor.f64 (binary32->binary64 h)) (*.f64 (floor.f64 (binary32->binary64 w)) (-.f64 (*.f64 (binary32->binary64 dX.u) (binary32->binary64 dY.v)) (*.f64 (binary32->binary64 dX.v) (binary32->binary64 dY.u)))))))

end199.0ms (0%)

Profiling

Loading profile data...