Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
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: 9.6min)

localize2.2min (23.3%)

Compiler

Compiled 38850 to 19667 computations (49.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-pow, time spent: 21.8s, 22.0% of total-time
Operation ival-mult, time spent: 18.6s, 18.0% of total-time
Operation composed, time spent: 11.7s, 12.0% of total-time
Operation ival-div, time spent: 10.1s, 10.0% of total-time
Operation ival-tan, time spent: 6.3s, 6.0% of total-time
Operation ival-cos, time spent: 5.9s, 6.0% of total-time
Operation ival-add, time spent: 5.7s, 6.0% of total-time
Operation ival-log, time spent: 3.5s, 4.0% of total-time
Operation ival-sub, time spent: 3.5s, 3.0% of total-time
Operation ival-exp, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 3.0% of total-time
Operation ival-acos, time spent: 1.9s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-sin, time spent: 1.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 516.0ms, 1.0% of total-time
Operation ival-asin, time spent: 507.0ms, 1.0% of total-time
Operation ival-pi, time spent: 149.0ms, 0.0% of total-time
Operation ival-e, time spent: 21.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time

sample2.0min (20.7%)

Results
47.7s180005×256valid
13.7s68393×256invalid
10.2s42218×256infinite
8.2s10913×1024valid
6.9s9276×2048valid
4.0s8487×512valid
5.1s7563×1024invalid
2.6s4106×512invalid
2.6s1929×4096valid
848.0ms792×8192valid
3.3s777×4096infinite
2.1s723×2048infinite
418.0ms435×1024infinite
218.0ms381×512infinite
52.0ms191×256unsamplable
112.0ms114×2048invalid
7.0ms8×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.3s, 27.0% of total-time
Operation ival-div, time spent: 11.4s, 17.0% of total-time
Operation ival-pow, time spent: 6.5s, 10.0% of total-time
Operation ival-tan, time spent: 5.7s, 8.0% of total-time
Operation ival-add, time spent: 4.4s, 6.0% of total-time
Operation ival-sub, time spent: 3.8s, 6.0% of total-time
Operation ival-sin, time spent: 3.6s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 5.0% of total-time
Operation ival-exp, time spent: 2.7s, 4.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation composed, time spent: 968.0ms, 1.0% of total-time
Operation ival-acos, time spent: 856.0ms, 1.0% of total-time
Operation ival-pi, time spent: 602.0ms, 1.0% of total-time
Operation ival-log, time spent: 582.0ms, 1.0% of total-time
Operation ival-<, time spent: 474.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 206.0ms, 0.0% of total-time
Operation ival-asin, time spent: 164.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

eval1.1min (11.9%)

Compiler

Compiled 2890046 to 1841485 computations (36.3% saved)

simplify50.8s (8.8%)

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
Compiler

Compiled 12449 to 8398 computations (32.5% saved)

soundness49.8s (8.6%)

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
Compiler

Compiled 33955 to 21230 computations (37.5% saved)

preprocess29.7s (5.1%)

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 60544 to 37726 computations (37.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
Operation ival-mult, time spent: 2.6s, 27.0% of total-time
Operation ival-div, time spent: 1.4s, 15.0% of total-time
Operation ival-pow, time spent: 1.0s, 11.0% of total-time
Operation ival-add, time spent: 849.0ms, 9.0% of total-time
Operation ival-tan, time spent: 748.0ms, 8.0% of total-time
Operation ival-sub, time spent: 559.0ms, 6.0% of total-time
Operation ival-cos, time spent: 430.0ms, 5.0% of total-time
Operation ival-exp, time spent: 424.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 352.0ms, 4.0% of total-time
Operation ival-sin, time spent: 313.0ms, 3.0% of total-time
Operation const, time spent: 241.0ms, 3.0% of total-time
Operation composed, time spent: 229.0ms, 2.0% of total-time
Operation ival-neg, time spent: 138.0ms, 1.0% of total-time
Operation ival-log, time spent: 75.0ms, 1.0% of total-time
Operation ival-acos, time spent: 50.0ms, 1.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time

regimes26.6s (4.6%)

Counts
9014 → 730
Calls

152 calls:

2.8s
l
1.4s
F
1.2s
t
1.2s
k
947.0ms
NdChar
Compiler

Compiled 8471 to 6548 computations (22.7% saved)

prune25.9s (4.5%)

Counts
87182 → 3110
Compiler

Compiled 145602 to 101506 computations (30.3% saved)

rewrite25.4s (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

bsearch17.5s (3%)

Algorithm
342×binary-search
70×left-value
Stop Event
13×predicate-same
329×narrow-enough
Results
10.8s34034×256valid
1.7s5651×256infinite
1.5s4997×256invalid
460.0ms902×1024valid
239.0ms653×512valid
131.0ms303×1024invalid
49.0ms160×512invalid
79.0ms133×2048valid
60.0ms104×512infinite
111.0ms18×4096infinite
33.0ms14×2048infinite
11.0ms11×4096valid
6.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: 8.7s
Operation ival-div, time spent: 1.7s, 19.0% of total-time
Operation ival-mult, time spent: 1.6s, 19.0% of total-time
Operation ival-pow, time spent: 1.4s, 17.0% of total-time
Operation ival-add, time spent: 1.1s, 12.0% of total-time
Operation ival-sin, time spent: 668.0ms, 8.0% of total-time
Operation ival-tan, time spent: 554.0ms, 6.0% of total-time
Operation ival-sub, time spent: 452.0ms, 5.0% of total-time
Operation ival-neg, time spent: 324.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 209.0ms, 2.0% of total-time
Operation ival-cos, time spent: 209.0ms, 2.0% of total-time
Operation ival-exp, time spent: 208.0ms, 2.0% of total-time
Operation const, time spent: 182.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation composed, time spent: 9.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-asin, time spent: 4.0ms, 0.0% of total-time

analyze15.5s (2.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
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: 10.0s
Operation ival-cos, time spent: 2.7s, 27.0% of total-time
Operation ival-mult, time spent: 2.1s, 21.0% of total-time
Operation ival-pow, time spent: 1.6s, 16.0% of total-time
Operation ival-div, time spent: 1.2s, 12.0% of total-time
Operation ival-add, time spent: 416.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 407.0ms, 4.0% of total-time
Operation ival-sub, time spent: 343.0ms, 3.0% of total-time
Operation ival-sin, time spent: 331.0ms, 3.0% of total-time
Operation ival-tan, time spent: 322.0ms, 3.0% of total-time
Operation const, time spent: 174.0ms, 2.0% of total-time
Operation ival-acos, time spent: 107.0ms, 1.0% of total-time
Operation ival-exp, time spent: 98.0ms, 1.0% of total-time
Operation ival-neg, time spent: 86.0ms, 1.0% of total-time
Operation ival-pi, time spent: 65.0ms, 1.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 20.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

series13.6s (2.4%)

Counts
1229 → 32562
Calls

8418 calls:

TimeVariablePointExpression
317.0ms
f
@-inf
(/ (log (+ 1 (+ (/ 1 (- (exp (pow (sqrt (* f (* (PI) 1/2))) 2)) 1)) (+ (/ -1 (- (exp (* (PI) (* f -1/2))) 1)) -1)))) (PI))
305.0ms
l
@0
(* (pow (cbrt l) -2) (* t (* (cbrt (cbrt (sin k))) (cbrt (pow (cbrt (sin k)) 2)))))
302.0ms
n
@-inf
(log (+ 1 (exp (+ (- (* (neg (- (* n 1/2) M)) (+ m (- (* n 1/2) M))) l) (fabs (- m n))))))
233.0ms
m
@inf
(* (cos (- (/ (* K (+ m n)) 2) M)) (* (exp (- (+ m (* 1/2 (* m (+ n (* 1/2 m))))) (+ l n))) 1))
151.0ms
d
@inf
(pow (- (pow (* (/ c0 (* w h)) (pow (/ d D) 2)) 2) (pow M 2)) 1/4)

end25.0ms (0%)

Profiling

Loading profile data...