Herbie run

Date:Saturday, March 16th, 2024
Commit:5ef2e610 on no-simplify
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:proofs
-o generate:simplify

Time bar (total: 13.7min)

sample3.4min (24.9%)

Results
1.3min180005×256valid
27.0s68393×256invalid
16.3s42218×256infinite
12.1s10913×1024valid
13.6s9276×2048valid
7.3s8487×512valid
8.8s7563×1024invalid
3.1s4106×512invalid
4.4s1929×4096valid
1.9s792×8192valid
5.8s777×4096infinite
3.1s723×2048infinite
577.0ms435×1024infinite
501.0ms381×512infinite
78.0ms191×256unsamplable
123.0ms114×2048invalid
13.0ms8×8192exit
Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-mult, time spent: 32.2s, 27.0% of total-time
Operation ival-div, time spent: 19.5s, 17.0% of total-time
Operation ival-pow, time spent: 11.0s, 9.0% of total-time
Operation ival-tan, time spent: 9.7s, 8.0% of total-time
Operation ival-sub, time spent: 6.8s, 6.0% of total-time
Operation ival-add, time spent: 6.8s, 6.0% of total-time
Operation ival-sin, time spent: 6.6s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.0s, 5.0% of total-time
Operation ival-exp, time spent: 4.8s, 4.0% of total-time
Operation const, time spent: 2.7s, 2.0% of total-time
Operation ival-acos, time spent: 2.4s, 2.0% of total-time
Operation ival-cos, time spent: 2.2s, 2.0% of total-time
Operation ival-neg, time spent: 1.7s, 1.0% of total-time
Operation composed, time spent: 1.5s, 1.0% of total-time
Operation ival-log, time spent: 1.4s, 1.0% of total-time
Operation ival-pi, time spent: 1.4s, 1.0% of total-time
Operation ival-fabs, time spent: 269.0ms, 0.0% of total-time
Operation ival-asin, time spent: 255.0ms, 0.0% of total-time
Operation ival-<, time spent: 216.0ms, 0.0% of total-time
Operation ival-and, time spent: 30.0ms, 0.0% of total-time
Bogosity

localize3.0min (22.1%)

Compiler

Compiled 38245 to 18774 computations (50.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-mult, time spent: 26.3s, 21.0% of total-time
Operation ival-pow, time spent: 25.0s, 20.0% of total-time
Operation composed, time spent: 14.9s, 12.0% of total-time
Operation ival-div, time spent: 13.0s, 10.0% of total-time
Operation ival-add, time spent: 9.0s, 7.0% of total-time
Operation ival-tan, time spent: 7.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 7.0s, 6.0% of total-time
Operation ival-sub, time spent: 6.2s, 5.0% of total-time
Operation const, time spent: 2.9s, 2.0% of total-time
Operation ival-cos, time spent: 2.7s, 2.0% of total-time
Operation ival-log, time spent: 2.6s, 2.0% of total-time
Operation ival-exp, time spent: 2.1s, 2.0% of total-time
Operation ival-acos, time spent: 1.9s, 1.0% of total-time
Operation ival-sin, time spent: 1.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 912.0ms, 1.0% of total-time
Operation ival-asin, time spent: 868.0ms, 1.0% of total-time
Operation ival-neg, time spent: 665.0ms, 1.0% of total-time
Operation ival-pi, time spent: 159.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 10.0ms, 0.0% of total-time

eval2.1min (15.6%)

Compiler

Compiled 2981815 to 1847211 computations (38.1% saved)

preprocess54.0s (6.6%)

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 50378 to 30718 computations (39% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.1s
Operation ival-mult, time spent: 3.9s, 22.0% of total-time
Operation ival-div, time spent: 3.1s, 17.0% of total-time
Operation ival-pow, time spent: 2.7s, 15.0% of total-time
Operation ival-sub, time spent: 1.4s, 8.0% of total-time
Operation ival-tan, time spent: 1.3s, 7.0% of total-time
Operation ival-add, time spent: 1.2s, 6.0% of total-time
Operation ival-cos, time spent: 902.0ms, 5.0% of total-time
Operation ival-exp, time spent: 690.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 621.0ms, 3.0% of total-time
Operation const, time spent: 605.0ms, 3.0% of total-time
Operation ival-sin, time spent: 576.0ms, 3.0% of total-time
Operation composed, time spent: 459.0ms, 3.0% of total-time
Operation ival-neg, time spent: 269.0ms, 1.0% of total-time
Operation ival-log, time spent: 136.0ms, 1.0% of total-time
Operation ival-acos, time spent: 107.0ms, 1.0% of total-time
Operation ival-pi, time spent: 44.0ms, 0.0% of total-time
Operation ival-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

rewrite51.5s (6.2%)

Algorithm
122×batch-egg-rewrite
Rules
77526×log1p-expm1-u
51424×expm1-log1p-u
29406×add-exp-log
29324×pow1
28838×add-log-exp
Stop Event
121×node limit
1×unsound
Counts
1498 → 42078

regimes50.9s (6.2%)

Stop Event
2×fuel
2×done
Counts
9013 → 704
Calls

152 calls:

5.8s
l
3.0s
t
2.4s
F
2.3s
k
1.8s
NdChar
Compiler

Compiled 8839 to 6825 computations (22.8% saved)

prune36.3s (4.4%)

Counts
104835 → 3347
Compiler

Compiled 157130 to 109369 computations (30.4% saved)

soundness32.9s (4%)

Rules
52598×log1p-expm1-u
36205×expm1-log1p-u
21494×add-exp-log
21390×add-log-exp
21298×pow1
Stop Event
7×saturated
104×node limit
1×unsound
Compiler

Compiled 21598 to 12674 computations (41.3% saved)

analyze29.7s (3.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: 19.1s
Operation ival-mult, time spent: 5.5s, 29.0% of total-time
Operation ival-cos, time spent: 5.0s, 26.0% of total-time
Operation ival-pow, time spent: 2.2s, 12.0% of total-time
Operation ival-div, time spent: 1.9s, 10.0% of total-time
Operation ival-add, time spent: 922.0ms, 5.0% of total-time
Operation ival-sub, time spent: 882.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 636.0ms, 3.0% of total-time
Operation ival-sin, time spent: 527.0ms, 3.0% of total-time
Operation ival-tan, time spent: 376.0ms, 2.0% of total-time
Operation const, time spent: 320.0ms, 2.0% of total-time
Operation ival-asin, time spent: 223.0ms, 1.0% of total-time
Operation ival-neg, time spent: 168.0ms, 1.0% of total-time
Operation ival-exp, time spent: 148.0ms, 1.0% of total-time
Operation ival-acos, time spent: 105.0ms, 1.0% of total-time
Operation ival-pi, time spent: 74.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 53.0ms, 0.0% of total-time
Operation ival-<, time spent: 44.0ms, 0.0% of total-time
Operation ival-log, time spent: 22.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

bsearch28.3s (3.4%)

Algorithm
309×binary-search
81×left-value
Stop Event
7×predicate-same
302×narrow-enough
26×fuel
1×done
Results
15.5s27881×256valid
3.6s7178×256infinite
3.2s5350×256invalid
811.0ms717×1024valid
596.0ms301×2048valid
144.0ms240×512valid
65.0ms65×1024invalid
67.0ms54×4096valid
27.0ms44×512infinite
24.0ms38×512invalid
49.0ms31×8192valid
35.0ms22×2048infinite
15.0ms19×1024infinite
95.0ms9×4096infinite
Compiler

Compiled 100103 to 74345 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
Operation ival-pow, time spent: 3.0s, 21.0% of total-time
Operation ival-div, time spent: 2.8s, 19.0% of total-time
Operation ival-mult, time spent: 2.6s, 18.0% of total-time
Operation ival-add, time spent: 1.3s, 9.0% of total-time
Operation ival-tan, time spent: 1.2s, 9.0% of total-time
Operation ival-sin, time spent: 1.2s, 8.0% of total-time
Operation ival-sub, time spent: 495.0ms, 3.0% of total-time
Operation ival-neg, time spent: 446.0ms, 3.0% of total-time
Operation ival-exp, time spent: 394.0ms, 3.0% of total-time
Operation ival-cos, time spent: 337.0ms, 2.0% of total-time
Operation const, time spent: 288.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 156.0ms, 1.0% of total-time
Operation ival-log, time spent: 87.0ms, 1.0% of total-time
Operation composed, time spent: 36.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

series24.7s (3%)

Counts
1498 → 37107
Calls

8358 calls:

TimeVariablePointExpression
458.0ms
mu
@inf
(log (+ 1 (exp (/ (+ mu (+ (- Vef Ec) EDonor)) KbT))))
393.0ms
n
@inf
(sqrt (* 2 (* n (* U (+ (* n (* (pow (/ l Om) 2) (- U* U))) (+ (* (* l (/ l Om)) -2) t))))))
275.0ms
f
@inf
(log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))
270.0ms
f
@-inf
(log (+ (/ 1 (- (exp (* (* (PI) f) 1/2)) 1)) (/ -1 (- (exp (* (* -1/2 f) (PI))) 1))))
213.0ms
x
@0
(cbrt (* (sqrt 2) (/ t (sqrt (+ (* (* (sqrt (/ (+ 1 x) (+ x -1))) (sqrt (+ (* l l) (* (* t (sqrt 2)) (* t (sqrt 2)))))) (* (sqrt (/ (+ 1 x) (+ x -1))) (sqrt (+ (* l l) (* (* t (sqrt 2)) (* t (sqrt 2))))))) (* l l))))))

end59.0ms (0%)

Profiling

Loading profile data...