Herbie run

Date:Wednesday, March 20th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024080
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.1min)

localize2.2min (24%)

Results
24.1s18335×256valid
8.3s4116×256invalid
4.8s3968×256infinite
12.1s1218×2048valid
8.5s1213×1024valid
4.8s1205×512valid
40.8s648×8192exit
1.5s140×4096valid
874.0ms120×512infinite
452.0ms98×1024infinite
1.0s73×4096infinite
738.0ms67×2048infinite
209.0ms31×8192valid
Compiler

Compiled 36531 to 18502 computations (49.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-tan, time spent: 23.5s, 24.0% of total-time
Operation ival-pow, time spent: 15.2s, 15.0% of total-time
Operation ival-mult, time spent: 14.9s, 15.0% of total-time
Operation composed, time spent: 8.5s, 9.0% of total-time
Operation ival-div, time spent: 7.7s, 8.0% of total-time
Operation ival-sin, time spent: 7.0s, 7.0% of total-time
Operation ival-add, time spent: 4.6s, 5.0% of total-time
Operation ival-log, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 3.0% of total-time
Operation ival-cos, time spent: 2.6s, 3.0% of total-time
Operation ival-sub, time spent: 2.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival-acos, time spent: 867.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 656.0ms, 1.0% of total-time
Operation ival-neg, time spent: 323.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 103.0ms, 0.0% of total-time
Operation ival-pi, time spent: 94.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time

sample1.9min (21.1%)

Results
40.6s180034×256valid
11.4s67534×256invalid
8.1s42232×256infinite
7.5s10901×1024valid
7.3s9257×2048valid
3.9s8418×512valid
4.9s7703×1024invalid
1.6s4122×512invalid
2.1s2004×4096valid
2.9s781×4096infinite
816.0ms766×8192valid
1.5s687×2048infinite
281.0ms464×1024infinite
170.0ms392×512infinite
29.0ms180×256unsamplable
83.0ms135×2048invalid
5.0ms6×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 16.6s, 25.0% of total-time
Operation ival-div, time spent: 11.3s, 17.0% of total-time
Operation ival-pow, time spent: 6.5s, 10.0% of total-time
Operation ival-tan, time spent: 4.8s, 7.0% of total-time
Operation ival-sub, time spent: 4.1s, 6.0% of total-time
Operation ival-sin, time spent: 4.1s, 6.0% of total-time
Operation ival-add, time spent: 3.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 5.0% of total-time
Operation ival-exp, time spent: 2.8s, 4.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-acos, time spent: 1.2s, 2.0% of total-time
Operation ival-log, time spent: 854.0ms, 1.0% of total-time
Operation composed, time spent: 694.0ms, 1.0% of total-time
Operation ival-pi, time spent: 628.0ms, 1.0% of total-time
Operation ival-asin, time spent: 159.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 145.0ms, 0.0% of total-time
Operation ival-<, time spent: 123.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

eval1.0min (11%)

Compiler

Compiled 2868065 to 1755566 computations (38.8% saved)

simplify47.5s (8.7%)

Algorithm
149×egg-herbie
Rules
46780×fma-define
39312×times-frac
39042×*-commutative
35445×associate-*r*
31664×distribute-lft-in
Stop Event
31×saturated
118×node limit
27×fuel
4×done
Counts
64034 → 54236
Compiler

Compiled 11960 to 7816 computations (34.6% saved)

soundness46.4s (8.5%)

Rules
52631×fma-define
41626×log1p-expm1-u
40047×times-frac
37645×associate-*r*
31294×*-commutative
Stop Event
7×saturated
165×node limit
1×unsound
Compiler

Compiled 32018 to 19596 computations (38.8% saved)

preprocess28.5s (5.2%)

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
5.8s10658×256valid
1.5s2590×256infinite
1.5s740×1024valid
1.3s730×2048valid
834.0ms692×512valid
805.0ms188×4096valid
86.0ms60×1024infinite
184.0ms60×8192valid
376.0ms52×2048infinite
213.0ms52×4096infinite
178.0ms50×512infinite
Compiler

Compiled 61646 to 36982 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
Operation ival-mult, time spent: 2.5s, 26.0% of total-time
Operation ival-div, time spent: 1.4s, 15.0% of total-time
Operation ival-pow, time spent: 1.4s, 15.0% of total-time
Operation ival-sub, time spent: 763.0ms, 8.0% of total-time
Operation ival-tan, time spent: 710.0ms, 7.0% of total-time
Operation ival-add, time spent: 614.0ms, 6.0% of total-time
Operation ival-exp, time spent: 420.0ms, 4.0% of total-time
Operation ival-cos, time spent: 408.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 339.0ms, 4.0% of total-time
Operation const, time spent: 235.0ms, 2.0% of total-time
Operation ival-sin, time spent: 211.0ms, 2.0% of total-time
Operation composed, time spent: 210.0ms, 2.0% of total-time
Operation ival-neg, time spent: 156.0ms, 2.0% of total-time
Operation ival-acos, time spent: 85.0ms, 1.0% of total-time
Operation ival-log, time spent: 74.0ms, 1.0% of total-time
Operation ival-pi, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

regimes26.7s (4.9%)

Counts
9476 → 734
Calls

152 calls:

2.5s
l
1.5s
h
1.3s
F
1.1s
t
945.0ms
mu
Compiler

Compiled 7778 to 6067 computations (22% saved)

prune25.3s (4.6%)

Counts
87894 → 2996
Compiler

Compiled 135685 to 94033 computations (30.7% saved)

rewrite24.5s (4.5%)

Algorithm
118×batch-egg-rewrite
Rules
70751×log1p-expm1-u
46894×expm1-log1p-u
28593×add-exp-log
28372×pow1
28214×add-log-exp
Stop Event
117×node limit
1×unsound
Counts
1179 → 33679

bsearch15.2s (2.8%)

Algorithm
328×binary-search
93×left-value
Stop Event
11×predicate-same
317×narrow-enough
Results
8.3s29206×256valid
1.5s7046×256infinite
966.0ms4734×256invalid
270.0ms494×1024valid
274.0ms344×2048valid
304.0ms335×4096valid
60.0ms184×512valid
220.0ms180×8192valid
29.0ms76×512infinite
25.0ms47×1024invalid
102.0ms33×4096infinite
17.0ms32×1024infinite
13.0ms25×512invalid
20.0ms22×2048infinite
1.0ms1×8192exit
Compiler

Compiled 94793 to 70184 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
Operation ival-mult, time spent: 1.8s, 22.0% of total-time
Operation ival-div, time spent: 1.8s, 21.0% of total-time
Operation ival-pow, time spent: 1.4s, 16.0% of total-time
Operation ival-add, time spent: 824.0ms, 10.0% of total-time
Operation ival-sin, time spent: 585.0ms, 7.0% of total-time
Operation ival-tan, time spent: 530.0ms, 6.0% of total-time
Operation ival-sub, time spent: 465.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 216.0ms, 3.0% of total-time
Operation ival-neg, time spent: 189.0ms, 2.0% of total-time
Operation ival-cos, time spent: 185.0ms, 2.0% of total-time
Operation ival-exp, time spent: 183.0ms, 2.0% of total-time
Operation const, time spent: 153.0ms, 2.0% of total-time
Operation composed, time spent: 49.0ms, 1.0% of total-time
Operation ival-log, time spent: 27.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time
Operation ival-asin, time spent: 4.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

analyze12.8s (2.3%)

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: 7.3s
Operation ival-mult, time spent: 2.1s, 30.0% of total-time
Operation ival-pow, time spent: 1.5s, 20.0% of total-time
Operation ival-div, time spent: 1.2s, 17.0% of total-time
Operation ival-sqrt, time spent: 435.0ms, 6.0% of total-time
Operation ival-sub, time spent: 424.0ms, 6.0% of total-time
Operation ival-add, time spent: 415.0ms, 6.0% of total-time
Operation ival-sin, time spent: 241.0ms, 3.0% of total-time
Operation ival-tan, time spent: 227.0ms, 3.0% of total-time
Operation const, time spent: 168.0ms, 2.0% of total-time
Operation ival-acos, time spent: 116.0ms, 2.0% of total-time
Operation ival-cos, time spent: 103.0ms, 1.0% of total-time
Operation ival-neg, time spent: 102.0ms, 1.0% of total-time
Operation ival-exp, time spent: 68.0ms, 1.0% of total-time
Operation ival-pi, time spent: 38.0ms, 1.0% of total-time
Operation ival-<, time spent: 37.0ms, 1.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.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

series12.6s (2.3%)

Counts
1179 → 30355
Calls

7920 calls:

TimeVariablePointExpression
264.0ms
U
@0
(log (* -2 (* U n)))
251.0ms
f
@-inf
(/ (+ (log (pow (cbrt (/ 1 (tanh (* f (* 1/4 (PI)))))) 2)) (log (cbrt (/ 1 (tanh (* f (* 1/4 (PI)))))))) (/ (PI) -4))
173.0ms
l
@0
(* w0 (pow (exp (* 1/6 (+ (+ (log (* 1/4 (* h (pow (* D M) 2)))) (log (/ -1 l))) (* -2 (log d))))) 3))
150.0ms
f
@0
(pow (cbrt (/ 1 (tanh (* f (* 1/4 (PI)))))) 2)
149.0ms
l
@inf
(* w0 (pow (exp (* 1/6 (+ (+ (log (* 1/4 (* h (pow (* D M) 2)))) (log (/ -1 l))) (* -2 (log d))))) 3))

end20.0ms (0%)

Profiling

Loading profile data...