Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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: 11.8min)

sample4.1min (34.2%)

Results
45.4s179247×256valid
11.4s49642×256invalid
9.3s41937×256infinite
2.2min25027×8192exit
7.9s11601×1024valid
7.1s9444×2048valid
3.7s8640×512valid
3.4s4526×1024invalid
1.4s2440×512invalid
2.1s2036×4096valid
2.9s778×4096infinite
1.0s766×8192valid
1.6s723×2048infinite
152.0ms388×512infinite
249.0ms376×1024infinite
73.0ms301×256unsamplable
Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-pow, time spent: 1.7min, 57.0% of total-time
Operation ival-mult, time spent: 24.4s, 14.0% of total-time
Operation ival-div, time spent: 21.7s, 12.0% of total-time
Operation ival-sub, time spent: 5.3s, 3.0% of total-time
Operation ival-tan, time spent: 5.0s, 3.0% of total-time
Operation ival-sin, time spent: 4.1s, 2.0% of total-time
Operation ival-add, time spent: 3.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 1.0% of total-time
Operation const, time spent: 2.3s, 1.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-acos, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 900.0ms, 1.0% of total-time
Operation ival-log, time spent: 725.0ms, 0.0% of total-time
Operation composed, time spent: 639.0ms, 0.0% of total-time
Operation ival-pi, time spent: 461.0ms, 0.0% of total-time
Operation ival-asin, time spent: 290.0ms, 0.0% of total-time
Operation ival-<, time spent: 115.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 87.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

localize2.3min (19%)

Compiler

Compiled 37788 to 19417 computations (48.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-mult, time spent: 18.7s, 18.0% of total-time
Operation ival-pow, time spent: 16.8s, 16.0% of total-time
Operation ival-tan, time spent: 15.0s, 15.0% of total-time
Operation composed, time spent: 11.0s, 11.0% of total-time
Operation ival-div, time spent: 9.2s, 9.0% of total-time
Operation ival-add, time spent: 5.8s, 6.0% of total-time
Operation ival-log, time spent: 4.4s, 4.0% of total-time
Operation ival-asin, time spent: 4.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 3.0% of total-time
Operation ival-exp, time spent: 2.9s, 3.0% of total-time
Operation ival-acos, time spent: 2.3s, 2.0% of total-time
Operation ival-sub, time spent: 2.2s, 2.0% of total-time
Operation ival-cos, time spent: 2.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.9s, 2.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-neg, time spent: 597.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 502.0ms, 0.0% of total-time
Operation ival-sin, time spent: 430.0ms, 0.0% of total-time
Operation ival-pi, time spent: 80.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time

eval1.1min (9.2%)

Compiler

Compiled 3017670 to 1932311 computations (36% saved)

regimes56.1s (7.9%)

Counts
9425 → 772
Calls

152 calls:

6.3s
l
3.7s
k
3.6s
t
2.4s
mu
1.9s
NaChar
Compiler

Compiled 8463 to 6500 computations (23.2% saved)

simplify47.5s (6.7%)

Algorithm
146×egg-herbie
Rules
96332×fma-define
77686×times-frac
75982×associate-*r*
72472×*-commutative
61752×distribute-lft-in
Stop Event
30×saturated
115×node limit
25×fuel
1×unsound
5×done
Counts
61357 → 52054
Compiler

Compiled 12399 to 8207 computations (33.8% saved)

soundness38.6s (5.4%)

Rules
98076×fma-define
69464×associate-*r*
66982×times-frac
53026×associate-*l*
50044×distribute-lft-in
Stop Event
7×saturated
147×node limit
1×unsound
Compiler

Compiled 32020 to 19228 computations (40% saved)

preprocess28.7s (4%)

Algorithm
31×egg-herbie
Rules
39452×fma-define
26360×fma-neg
16974×times-frac
15822×unsub-neg
14432×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 58900 to 36324 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-mult, time spent: 2.0s, 21.0% of total-time
Operation ival-pow, time spent: 1.6s, 17.0% of total-time
Operation ival-div, time spent: 1.4s, 15.0% of total-time
Operation ival-tan, time spent: 866.0ms, 9.0% of total-time
Operation ival-exp, time spent: 642.0ms, 7.0% of total-time
Operation ival-add, time spent: 568.0ms, 6.0% of total-time
Operation ival-sub, time spent: 464.0ms, 5.0% of total-time
Operation ival-cos, time spent: 386.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 316.0ms, 3.0% of total-time
Operation ival-sin, time spent: 308.0ms, 3.0% of total-time
Operation const, time spent: 253.0ms, 3.0% of total-time
Operation composed, time spent: 218.0ms, 2.0% of total-time
Operation ival-neg, time spent: 155.0ms, 2.0% of total-time
Operation ival-log, time spent: 84.0ms, 1.0% of total-time
Operation ival-acos, time spent: 46.0ms, 0.0% of total-time
Operation ival-pi, time spent: 30.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

rewrite25.4s (3.6%)

Algorithm
116×batch-egg-rewrite
Rules
68919×log1p-expm1-u
50478×expm1-log1p-u
35676×prod-diff
35010×log-prod
28283×pow1
Stop Event
115×node limit
1×unsound
Counts
1118 → 31396

prune23.9s (3.4%)

Counts
85837 → 3055
Compiler

Compiled 142437 to 99126 computations (30.4% saved)

bsearch22.7s (3.2%)

Algorithm
322×binary-search
111×left-value
Stop Event
4×predicate-same
318×narrow-enough
Results
7.6s28184×256valid
1.8s7427×256infinite
7.7s1986×8192exit
550.0ms911×1024valid
162.0ms847×256invalid
277.0ms560×512valid
287.0ms364×2048valid
83.0ms178×1024invalid
303.0ms149×2048infinite
52.0ms122×512infinite
161.0ms119×4096valid
46.0ms113×512invalid
630.0ms113×4096infinite
54.0ms90×1024infinite
15.0ms14×8192valid
1.0ms5×256unsamplable
Compiler

Compiled 97545 to 73533 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
Operation ival-pow, time spent: 6.5s, 47.0% of total-time
Operation ival-mult, time spent: 2.0s, 14.0% of total-time
Operation ival-div, time spent: 1.7s, 12.0% of total-time
Operation ival-tan, time spent: 952.0ms, 7.0% of total-time
Operation ival-sin, time spent: 682.0ms, 5.0% of total-time
Operation ival-add, time spent: 617.0ms, 4.0% of total-time
Operation ival-sub, time spent: 422.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 303.0ms, 2.0% of total-time
Operation ival-cos, time spent: 283.0ms, 2.0% of total-time
Operation ival-exp, time spent: 223.0ms, 2.0% of total-time
Operation const, time spent: 204.0ms, 1.0% of total-time
Operation ival-neg, time spent: 133.0ms, 1.0% of total-time
Operation composed, time spent: 29.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

analyze12.4s (1.7%)

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
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.7%30.4%59.8%1.8%0%7.3%0.8%4
36%32.4%57.5%1.8%0%7.3%1%5
40.4%36.2%53.5%1.8%0%7.4%1.1%6
45.2%40.5%49.1%1.8%0%7.4%1.2%7
47.7%42.3%46.5%1.8%0%8.2%1.3%8
50.9%45.1%43.5%1.8%0%8.3%1.3%9
52%46%42.4%1.8%0%8.4%1.4%10
53.7%47.2%40.8%1.8%0%8.9%1.4%11
55.6%48.6%38.9%1.8%0%9.2%1.4%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
Operation ival-mult, time spent: 2.3s, 33.0% of total-time
Operation ival-pow, time spent: 1.5s, 21.0% of total-time
Operation ival-div, time spent: 933.0ms, 14.0% of total-time
Operation ival-add, time spent: 418.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 393.0ms, 6.0% of total-time
Operation ival-sub, time spent: 311.0ms, 5.0% of total-time
Operation ival-sin, time spent: 306.0ms, 4.0% of total-time
Operation ival-tan, time spent: 225.0ms, 3.0% of total-time
Operation const, time spent: 173.0ms, 3.0% of total-time
Operation ival-exp, time spent: 86.0ms, 1.0% of total-time
Operation ival-neg, time spent: 80.0ms, 1.0% of total-time
Operation ival-acos, time spent: 61.0ms, 1.0% of total-time
Operation ival-cos, time spent: 48.0ms, 1.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-<, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-log, time spent: 12.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series10.9s (1.5%)

Counts
1118 → 29961
Calls

7863 calls:

TimeVariablePointExpression
175.0ms
f
@-inf
(/ (log (* 1/4 (* f (PI)))) (PI))
147.0ms
l
@0
(* (/ (/ (pow t 3) l) l) (* 2 (/ (pow (sin k) 2) (cos k))))
142.0ms
v
@0
(log (acos (- (* 4 (pow v 2)) 1)))
101.0ms
t
@0
(* (sqrt 2) (/ t (* (pow (pow (* t (sqrt (* 2 (/ (+ x 1) (+ x -1))))) 2) 1/3) (cbrt (* t (sqrt (* 2 (/ (+ x 1) (+ x -1)))))))))
93.0ms
f
@0
(* (/ 1 (/ (PI) 4)) (log (/ 2 (* f (* (PI) 1/2)))))

end30.0ms (0%)

Profiling

Loading profile data...