Herbie run

Date:Friday, March 15th, 2024
Commit:780c4768 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 9.8min)

localize2.4min (24.9%)

Compiler

Compiled 40680 to 21297 computations (47.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 22.7s, 20.0% of total-time
Operation ival-mult, time spent: 20.8s, 18.0% of total-time
Operation composed, time spent: 14.3s, 13.0% of total-time
Operation ival-div, time spent: 9.2s, 8.0% of total-time
Operation ival-add, time spent: 7.4s, 7.0% of total-time
Operation ival-tan, time spent: 5.2s, 5.0% of total-time
Operation ival-sin, time spent: 4.9s, 4.0% of total-time
Operation ival-asin, time spent: 4.1s, 4.0% of total-time
Operation ival-sub, time spent: 3.9s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 3.0% of total-time
Operation ival-log, time spent: 3.1s, 3.0% of total-time
Operation ival-cos, time spent: 3.0s, 3.0% of total-time
Operation ival-exp, time spent: 2.8s, 3.0% of total-time
Operation ival-acos, time spent: 2.5s, 2.0% of total-time
Operation ival-cbrt, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-neg, time spent: 540.0ms, 0.0% of total-time
Operation ival-pi, time spent: 116.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time

sample2.0min (20.1%)

Results
45.9s179356×256valid
14.6s68144×256invalid
10.5s42857×256infinite
8.2s10830×1024valid
6.5s9329×2048valid
4.0s8456×512valid
5.6s7668×1024invalid
1.9s4050×512invalid
2.5s2013×4096valid
3.4s791×4096infinite
1.1s765×8192valid
1.7s688×2048infinite
361.0ms426×512infinite
314.0ms425×1024infinite
42.0ms207×256unsamplable
82.0ms133×2048invalid
7.0ms6×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.6s, 26.0% of total-time
Operation ival-div, time spent: 10.3s, 16.0% of total-time
Operation ival-pow, time spent: 7.1s, 11.0% of total-time
Operation ival-tan, time spent: 6.0s, 9.0% of total-time
Operation ival-sub, time spent: 4.1s, 6.0% of total-time
Operation ival-add, time spent: 3.8s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.8s, 6.0% of total-time
Operation ival-sin, time spent: 3.7s, 6.0% of total-time
Operation ival-exp, time spent: 2.5s, 4.0% of total-time
Operation ival-cos, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.0s, 2.0% of total-time
Operation ival-acos, time spent: 1.0s, 2.0% of total-time
Operation ival-pi, time spent: 696.0ms, 1.0% of total-time
Operation composed, time spent: 663.0ms, 1.0% of total-time
Operation ival-log, time spent: 557.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 218.0ms, 0.0% of total-time
Operation ival-<, time spent: 163.0ms, 0.0% of total-time
Operation ival-asin, time spent: 155.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Bogosity

eval1.2min (12.1%)

Compiler

Compiled 3145428 to 2005690 computations (36.2% saved)

soundness50.2s (8.6%)

Rules
50407×fma-define
42571×log1p-expm1-u
38527×times-frac
37826×associate-*r*
30426×expm1-log1p-u
Stop Event
7×saturated
170×node limit
1×unsound
Compiler

Compiled 38637 to 23286 computations (39.7% saved)

simplify47.0s (8%)

Algorithm
151×egg-herbie
Rules
49737×fma-define
39396×times-frac
37976×*-commutative
37508×associate-*r*
32158×distribute-lft-in
Stop Event
31×saturated
119×node limit
28×fuel
1×unsound
3×done
Counts
67792 → 57248
Compiler

Compiled 13388 to 8768 computations (34.5% saved)

preprocess29.4s (5%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 57842 to 35478 computations (38.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
Operation ival-mult, time spent: 2.3s, 24.0% of total-time
Operation ival-div, time spent: 1.5s, 16.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-tan, time spent: 725.0ms, 8.0% of total-time
Operation ival-sub, time spent: 628.0ms, 7.0% of total-time
Operation ival-add, time spent: 581.0ms, 6.0% of total-time
Operation ival-exp, time spent: 568.0ms, 6.0% of total-time
Operation ival-cos, time spent: 464.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 374.0ms, 4.0% of total-time
Operation ival-acos, time spent: 296.0ms, 3.0% of total-time
Operation const, time spent: 233.0ms, 2.0% of total-time
Operation ival-sin, time spent: 214.0ms, 2.0% of total-time
Operation composed, time spent: 210.0ms, 2.0% of total-time
Operation ival-neg, time spent: 145.0ms, 2.0% of total-time
Operation ival-log, time spent: 80.0ms, 1.0% of total-time
Operation ival-pi, time spent: 33.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

regimes27.3s (4.7%)

Counts
9770 → 806
Calls

152 calls:

3.0s
l
1.4s
t
1.2s
F
887.0ms
EAccept
827.0ms
KbT
Compiler

Compiled 8606 to 6644 computations (22.8% saved)

prune26.2s (4.5%)

Counts
93326 → 3038
Compiler

Compiled 143752 to 100087 computations (30.4% saved)

rewrite25.2s (4.3%)

Algorithm
120×batch-egg-rewrite
Rules
67950×log1p-expm1-u
46888×expm1-log1p-u
30885×add-exp-log
30752×add-log-exp
30490×pow1
Stop Event
119×node limit
1×unsound
Counts
1254 → 34816

bsearch19.0s (3.2%)

Algorithm
392×binary-search
81×left-value
Stop Event
14×predicate-same
378×narrow-enough
Results
9.6s33292×256valid
2.9s11029×256infinite
2.0s6635×256invalid
578.0ms850×1024valid
299.0ms382×2048valid
321.0ms316×4096valid
118.0ms310×512valid
212.0ms170×1024invalid
144.0ms130×8192valid
44.0ms77×512infinite
24.0ms72×512invalid
20.0ms32×1024infinite
18.0ms18×2048infinite
14.0ms12×4096infinite
Compiler

Compiled 110980 to 83970 computations (24.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
Operation ival-mult, time spent: 2.1s, 24.0% of total-time
Operation ival-div, time spent: 1.8s, 20.0% of total-time
Operation ival-pow, time spent: 1.4s, 15.0% of total-time
Operation ival-add, time spent: 720.0ms, 8.0% of total-time
Operation ival-sub, time spent: 524.0ms, 6.0% of total-time
Operation ival-tan, time spent: 419.0ms, 5.0% of total-time
Operation ival-sin, time spent: 395.0ms, 4.0% of total-time
Operation ival-cos, time spent: 339.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 288.0ms, 3.0% of total-time
Operation ival-exp, time spent: 284.0ms, 3.0% of total-time
Operation ival-neg, time spent: 251.0ms, 3.0% of total-time
Operation const, time spent: 193.0ms, 2.0% of total-time
Operation composed, time spent: 183.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 96.0ms, 1.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze15.0s (2.6%)

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
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50.1%44%43.9%1.8%0%9.5%0.9%9
51.2%44.8%42.8%1.8%0%9.7%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.8%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
Operation ival-cos, time spent: 2.8s, 28.0% of total-time
Operation ival-mult, time spent: 2.2s, 22.0% of total-time
Operation ival-pow, time spent: 1.3s, 13.0% of total-time
Operation ival-div, time spent: 892.0ms, 9.0% of total-time
Operation ival-sub, time spent: 812.0ms, 8.0% of total-time
Operation ival-add, time spent: 599.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 327.0ms, 3.0% of total-time
Operation ival-sin, time spent: 264.0ms, 3.0% of total-time
Operation ival-tan, time spent: 181.0ms, 2.0% of total-time
Operation const, time spent: 168.0ms, 2.0% of total-time
Operation ival-neg, time spent: 119.0ms, 1.0% of total-time
Operation ival-exp, time spent: 79.0ms, 1.0% of total-time
Operation ival-acos, time spent: 76.0ms, 1.0% of total-time
Operation ival-pi, time spent: 38.0ms, 0.0% of total-time
Operation ival-asin, time spent: 31.0ms, 0.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-log, time spent: 12.0ms, 0.0% of total-time
Operation ival-and, time spent: 4.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series11.8s (2%)

Counts
1254 → 32976
Calls

8634 calls:

TimeVariablePointExpression
295.0ms
kx
@0
(* 1/4 (/ Om (* (sin kx) l)))
231.0ms
B
@-inf
(/ (tan B) x)
180.0ms
f
@-inf
(log (+ (/ 1 (- (exp (* (* (PI) f) 1/2)) 1)) (/ -1 (- (exp (* (* -1/2 f) (PI))) 1))))
134.0ms
d
@-inf
(sqrt (* (- 1 (* h (/ (pow (* D (* M (/ 1/2 d))) 2) l))) (pow w0 2)))
131.0ms
x
@0
(/ (sqrt x) (/ l t))

end34.0ms (0%)

Profiling

Loading profile data...