Herbie run

Date:Saturday, March 16th, 2024
Commit:c82a51c3 on always-compact
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 12.8min)

localize3.1min (24.2%)

Results
Compiler

Compiled 38850 to 19667 computations (49.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-pow, time spent: 29.6s, 21.0% of total-time
Operation ival-mult, time spent: 27.2s, 20.0% of total-time
Operation ival-div, time spent: 14.7s, 11.0% of total-time
Operation composed, time spent: 14.5s, 11.0% of total-time
Operation ival-add, time spent: 8.9s, 6.0% of total-time
Operation ival-cos, time spent: 7.4s, 5.0% of total-time
Operation ival-tan, time spent: 5.9s, 4.0% of total-time
Operation ival-sub, time spent: 5.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 4.0% of total-time
Operation ival-log, time spent: 4.8s, 3.0% of total-time
Operation ival-exp, time spent: 4.2s, 3.0% of total-time
Operation const, time spent: 2.7s, 2.0% of total-time
Operation ival-acos, time spent: 2.6s, 2.0% of total-time
Operation ival-sin, time spent: 1.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.6s, 1.0% of total-time
Operation ival-neg, time spent: 1.1s, 1.0% of total-time
Operation ival-asin, time spent: 742.0ms, 1.0% of total-time
Operation ival-pi, time spent: 101.0ms, 0.0% of total-time
Operation ival-e, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 0.0% of total-time

sample2.6min (20.1%)

Results
1.0min180005×256valid
18.2s68393×256invalid
13.7s42218×256infinite
9.7s10913×1024valid
8.2s9276×2048valid
5.5s8487×512valid
7.6s7563×1024invalid
3.1s4106×512invalid
3.6s1929×4096valid
1.5s792×8192valid
4.7s777×4096infinite
2.7s723×2048infinite
496.0ms435×1024infinite
248.0ms381×512infinite
46.0ms191×256unsamplable
95.0ms114×2048invalid
9.0ms8×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 22.9s, 25.0% of total-time
Operation ival-div, time spent: 14.4s, 16.0% of total-time
Operation ival-pow, time spent: 9.8s, 11.0% of total-time
Operation ival-tan, time spent: 7.2s, 8.0% of total-time
Operation ival-sub, time spent: 6.2s, 7.0% of total-time
Operation ival-sin, time spent: 5.9s, 6.0% of total-time
Operation ival-add, time spent: 5.7s, 6.0% of total-time
Operation ival-sqrt, time spent: 4.4s, 5.0% of total-time
Operation ival-exp, time spent: 3.4s, 4.0% of total-time
Operation ival-cos, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-neg, time spent: 1.7s, 2.0% of total-time
Operation ival-log, time spent: 1.1s, 1.0% of total-time
Operation ival-acos, time spent: 1.0s, 1.0% of total-time
Operation ival-pi, time spent: 955.0ms, 1.0% of total-time
Operation composed, time spent: 802.0ms, 1.0% of total-time
Operation ival-asin, time spent: 261.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 220.0ms, 0.0% of total-time
Operation ival-<, time spent: 201.0ms, 0.0% of total-time
Operation ival-and, time spent: 23.0ms, 0.0% of total-time
Bogosity

eval1.4min (11.1%)

Results
Compiler

Compiled 2890046 to 1841485 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

simplify1.1min (8.6%)

Algorithm
151×egg-herbie
Rules
49225×fma-define
40814×times-frac
39605×associate-*r*
37731×*-commutative
35317×distribute-lft-in
Stop Event
31×saturated
120×node limit
26×fuel
5×done
Counts
67218 → 56344
Results
Compiler

Compiled 12449 to 8398 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

soundness1.1min (8.4%)

Rules
51380×fma-define
46337×log1p-expm1-u
41849×associate-*r*
40896×times-frac
30798×expm1-log1p-u
Stop Event
7×saturated
174×node limit
1×unsound
Results
Compiler

Compiled 33955 to 21230 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

regimes38.7s (5%)

Counts
9014 → 730
Calls

152 calls:

3.0s
l
2.9s
k
2.2s
F
2.1s
t
1.3s
NaChar
Results
Compiler

Compiled 8471 to 6548 computations (22.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

preprocess37.6s (4.9%)

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
Results
Compiler

Compiled 60544 to 37726 computations (37.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
Operation ival-mult, time spent: 3.0s, 25.0% of total-time
Operation ival-div, time spent: 1.9s, 16.0% of total-time
Operation ival-pow, time spent: 1.5s, 12.0% of total-time
Operation ival-tan, time spent: 1.1s, 9.0% of total-time
Operation ival-add, time spent: 799.0ms, 7.0% of total-time
Operation ival-sub, time spent: 676.0ms, 6.0% of total-time
Operation ival-exp, time spent: 635.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 552.0ms, 5.0% of total-time
Operation const, time spent: 349.0ms, 3.0% of total-time
Operation ival-cos, time spent: 343.0ms, 3.0% of total-time
Operation ival-sin, time spent: 340.0ms, 3.0% of total-time
Operation composed, time spent: 247.0ms, 2.0% of total-time
Operation ival-neg, time spent: 206.0ms, 2.0% of total-time
Operation ival-log, time spent: 126.0ms, 1.0% of total-time
Operation ival-acos, time spent: 80.0ms, 1.0% of total-time
Operation ival-pi, time spent: 51.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

prune35.8s (4.7%)

Counts
87182 → 3110
Results
Compiler

Compiled 145602 to 101506 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

rewrite33.9s (4.4%)

Algorithm
120×batch-egg-rewrite
Rules
71036×log1p-expm1-u
48464×expm1-log1p-u
30167×pow1
29833×add-exp-log
28823×add-log-exp
Stop Event
119×node limit
1×unsound
Counts
1229 → 34656
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

bsearch26.0s (3.4%)

Algorithm
342×binary-search
70×left-value
Stop Event
13×predicate-same
329×narrow-enough
Results
15.7s34034×256valid
2.6s5651×256infinite
2.1s4997×256invalid
798.0ms902×1024valid
318.0ms653×512valid
216.0ms303×1024invalid
78.0ms160×512invalid
105.0ms133×2048valid
64.0ms104×512infinite
146.0ms18×4096infinite
53.0ms14×2048infinite
13.0ms11×4096valid
8.0ms10×1024infinite
6.0ms6×8192valid
4.0ms2×8192exit
Compiler

Compiled 103045 to 78488 computations (23.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
Operation ival-mult, time spent: 3.2s, 24.0% of total-time
Operation ival-div, time spent: 2.4s, 18.0% of total-time
Operation ival-pow, time spent: 1.7s, 13.0% of total-time
Operation ival-add, time spent: 1.4s, 10.0% of total-time
Operation ival-tan, time spent: 894.0ms, 7.0% of total-time
Operation ival-sub, time spent: 881.0ms, 7.0% of total-time
Operation ival-sin, time spent: 826.0ms, 6.0% of total-time
Operation ival-neg, time spent: 525.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 514.0ms, 4.0% of total-time
Operation const, time spent: 285.0ms, 2.0% of total-time
Operation ival-exp, time spent: 278.0ms, 2.0% of total-time
Operation ival-cos, time spent: 245.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time
Operation composed, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 9.0ms, 0.0% of total-time
Operation ival-asin, time spent: 4.0ms, 0.0% of total-time

analyze21.4s (2.8%)

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
Results
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
Operation ival-cos, time spent: 3.6s, 26.0% of total-time
Operation ival-mult, time spent: 3.1s, 23.0% of total-time
Operation ival-pow, time spent: 1.7s, 12.0% of total-time
Operation ival-div, time spent: 1.7s, 12.0% of total-time
Operation ival-sqrt, time spent: 989.0ms, 7.0% of total-time
Operation ival-add, time spent: 730.0ms, 5.0% of total-time
Operation ival-sub, time spent: 493.0ms, 4.0% of total-time
Operation ival-sin, time spent: 335.0ms, 2.0% of total-time
Operation ival-tan, time spent: 275.0ms, 2.0% of total-time
Operation const, time spent: 266.0ms, 2.0% of total-time
Operation ival-acos, time spent: 112.0ms, 1.0% of total-time
Operation ival-neg, time spent: 108.0ms, 1.0% of total-time
Operation ival-exp, time spent: 96.0ms, 1.0% of total-time
Operation ival-pi, time spent: 62.0ms, 0.0% of total-time
Operation ival-asin, time spent: 59.0ms, 0.0% of total-time
Operation ival-<, time spent: 43.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 35.0ms, 0.0% of total-time
Operation ival-log, time spent: 20.0ms, 0.0% of total-time
Operation ival-and, time spent: 7.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series18.9s (2.5%)

Counts
1229 → 32562
Calls

8418 calls:

TimeVariablePointExpression
541.0ms
f
@inf
(log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) 16))
351.0ms
M
@-inf
(log (+ 1 (exp (+ (- (* (neg (- (* n 1/2) M)) (+ m (- (* n 1/2) M))) l) (fabs (- m n))))))
332.0ms
a
@0
(* a (/ (pow k m) (+ 1 (* k (+ 10 k)))))
318.0ms
t
@0
(/ t (* l (sqrt (+ (/ 1 (+ -1 x)) (/ 1 x)))))
292.0ms
f
@-inf
(/ (log (+ 1 (+ (/ 1 (- (exp (pow (sqrt (* f (* (PI) 1/2))) 2)) 1)) (+ (/ -1 (- (exp (* (PI) (* f -1/2))) 1)) -1)))) (PI))
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

end68.0ms (0%)

Profiling

Loading profile data...