Herbie run

Date:Saturday, March 16th, 2024
Commit:d6ea1d1e on artem-minus-and-trig-tuning
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.7min)

localize4.4min (34.8%)

Results
Compiler

Compiled 120889 to 28605 computations (76.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-sin, time spent: 1.3min, 44.0% of total-time
Operation ival-mult, time spent: 18.3s, 10.0% of total-time
Operation ival-cos, time spent: 17.9s, 10.0% of total-time
Operation ival-tan, time spent: 17.3s, 10.0% of total-time
Operation ival-atan, time spent: 10.3s, 6.0% of total-time
Operation ival-pow, time spent: 10.3s, 6.0% of total-time
Operation ival-div, time spent: 5.9s, 3.0% of total-time
Operation ival-add, time spent: 4.3s, 2.0% of total-time
Operation composed, time spent: 4.1s, 2.0% of total-time
Operation ival-sub, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.1s, 1.0% of total-time
Operation ival-log, time spent: 1.9s, 1.0% of total-time
Operation ival-exp, time spent: 1.3s, 1.0% of total-time
Operation const, time spent: 1.3s, 1.0% of total-time
Operation ival-fmax, time spent: 949.0ms, 1.0% of total-time
Operation ival-neg, time spent: 356.0ms, 0.0% of total-time
Operation ival-if, time spent: 265.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 241.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 179.0ms, 0.0% of total-time
Operation ival-asin, time spent: 172.0ms, 0.0% of total-time
Operation ival-log2, time spent: 150.0ms, 0.0% of total-time
Operation ival->, time spent: 124.0ms, 0.0% of total-time
Operation ival-floor, time spent: 109.0ms, 0.0% of total-time
Operation ival->=, time spent: 61.0ms, 0.0% of total-time
Operation ival-pi, time spent: 58.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time
Operation ival-e, time spent: 18.0ms, 0.0% of total-time
Operation ival-acos, time spent: 13.0ms, 0.0% of total-time

sample2.0min (15.7%)

Results
1.7min247626×0valid
2.3s8252×0invalid
892.0ms2011×0precondition
17.0ms54×1valid
Precisions
Click to see histograms. Total time spent on operations: 54.7s
Operation ival-mult, time spent: 12.6s, 23.0% of total-time
Operation ival-<=, time spent: 10.9s, 20.0% of total-time
Operation ival-div, time spent: 4.8s, 9.0% of total-time
Operation ival-sub, time spent: 2.9s, 5.0% of total-time
Operation ival-add, time spent: 2.7s, 5.0% of total-time
Operation ival-log, time spent: 2.3s, 4.0% of total-time
Operation ival-fabs, time spent: 2.2s, 4.0% of total-time
Operation ival-sin, time spent: 2.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.9s, 3.0% of total-time
Operation ival-tan, time spent: 1.7s, 3.0% of total-time
Operation ival-and, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 907.0ms, 2.0% of total-time
Operation ival-floor, time spent: 898.0ms, 2.0% of total-time
Operation ival-atan, time spent: 811.0ms, 1.0% of total-time
Operation ival-pi, time spent: 606.0ms, 1.0% of total-time
Operation ival-neg, time spent: 588.0ms, 1.0% of total-time
Operation ival-if, time spent: 561.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 442.0ms, 1.0% of total-time
Operation ival-<, time spent: 374.0ms, 1.0% of total-time
Operation ival-log2, time spent: 315.0ms, 1.0% of total-time
Operation ival->, time spent: 279.0ms, 1.0% of total-time
Operation ival-==, time spent: 192.0ms, 0.0% of total-time
Operation backward-pass, time spent: 173.0ms, 0.0% of total-time
Operation ival-asin, time spent: 143.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 100.0ms, 0.0% of total-time
Operation ival->=, time spent: 90.0ms, 0.0% of total-time
Bogosity

eval1.7min (13.5%)

Compiler

Compiled 13497931 to 2486085 computations (81.6% saved)

simplify55.1s (7.2%)

Algorithm
142×egg-herbie
Rules
97980×fma-define
74928×*-commutative
66256×associate-*r*
64542×times-frac
63728×distribute-lft-in
Stop Event
29×saturated
113×node limit
28×fuel
1×done
Counts
65643 → 53431
Compiler

Compiled 8425 to 4908 computations (41.7% saved)

soundness42.4s (5.6%)

Rules
93132×fma-define
61354×associate-*r*
60044×times-frac
54796×*-commutative
48640×distribute-lft-in
Stop Event
7×saturated
139×node limit
Compiler

Compiled 30400 to 16083 computations (47.1% saved)

analyze41.7s (5.5%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1267 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.7s
Operation ival-mult, time spent: 4.1s, 26.0% of total-time
Operation ival-<=, time spent: 2.9s, 18.0% of total-time
Operation ival-fabs, time spent: 1.5s, 10.0% of total-time
Operation ival-floor, time spent: 1.1s, 7.0% of total-time
Operation ival-div, time spent: 1.0s, 6.0% of total-time
Operation ival-add, time spent: 890.0ms, 6.0% of total-time
Operation ival-if, time spent: 756.0ms, 5.0% of total-time
Operation ival-and, time spent: 470.0ms, 3.0% of total-time
Operation ival-sub, time spent: 407.0ms, 3.0% of total-time
Operation ival-fmax, time spent: 399.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 396.0ms, 3.0% of total-time
Operation ival-tan, time spent: 343.0ms, 2.0% of total-time
Operation const, time spent: 292.0ms, 2.0% of total-time
Operation ival-log2, time spent: 229.0ms, 1.0% of total-time
Operation ival-==, time spent: 210.0ms, 1.0% of total-time
Operation ival->, time spent: 184.0ms, 1.0% of total-time
Operation ival-sin, time spent: 134.0ms, 1.0% of total-time
Operation ival-cos, time spent: 133.0ms, 1.0% of total-time
Operation ival-<, time spent: 114.0ms, 1.0% of total-time
Operation ival-log, time spent: 78.0ms, 0.0% of total-time
Operation ival-atan, time spent: 49.0ms, 0.0% of total-time
Operation ival-pi, time spent: 37.0ms, 0.0% of total-time
Operation ival-exp, time spent: 26.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, time spent: 24.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

regimes32.6s (4.3%)

Counts
7356 → 332
Calls

136 calls:

1.2s
cosTheta_i
1.2s
u2
970.0ms
s
958.0ms
u
903.0ms
dY.u
Compiler

Compiled 11074 to 7509 computations (32.2% saved)

prune32.1s (4.2%)

Counts
110262 → 3658
Compiler

Compiled 273427 to 143073 computations (47.7% saved)

preprocess31.2s (4.1%)

Algorithm
30×egg-herbie
Rules
30630×fma-define
21782×fma-neg
15892×unsub-neg
14706×distribute-lft-neg-in
11858×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 60842 to 26762 computations (56% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
Operation ival-mult, time spent: 2.7s, 32.0% of total-time
Operation ival-tan, time spent: 1.2s, 14.0% of total-time
Operation ival-div, time spent: 715.0ms, 8.0% of total-time
Operation ival-sin, time spent: 668.0ms, 8.0% of total-time
Operation ival-add, time spent: 570.0ms, 7.0% of total-time
Operation ival-cos, time spent: 552.0ms, 7.0% of total-time
Operation ival-sub, time spent: 528.0ms, 6.0% of total-time
Operation ival-atan, time spent: 389.0ms, 5.0% of total-time
Operation ival-log, time spent: 355.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 286.0ms, 3.0% of total-time
Operation const, time spent: 133.0ms, 2.0% of total-time
Operation ival-exp, time spent: 77.0ms, 1.0% of total-time
Operation ival-floor, time spent: 59.0ms, 1.0% of total-time
Operation ival-neg, time spent: 47.0ms, 1.0% of total-time
Operation ival-pi, time spent: 26.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 26.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 25.0ms, 0.0% of total-time
Operation ival-if, time spent: 21.0ms, 0.0% of total-time
Operation ival-log2, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 9.0ms, 0.0% of total-time
Operation ival->=, time spent: 6.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time

rewrite23.9s (3.1%)

Algorithm
113×batch-egg-rewrite
Rules
60397×log1p-expm1-u
45421×expm1-log1p-u
33840×log-prod
31586×add-exp-log
31533×pow1
Stop Event
113×node limit
Counts
1298 → 32126

series15.3s (2%)

Counts
1298 → 33517
Calls

7842 calls:

TimeVariablePointExpression
462.0ms
dY.u
@inf
(log (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (+ (pow (* (floor w) dY.u) 2) (* (floor h) (* (floor h) (pow dY.v 2))))))
308.0ms
v
@0
(log (* v (* 2 (sinh (/ 1 v)))))
307.0ms
u2
@-inf
(log (+ 1 (sin (* (PI) u2))))
277.0ms
h
@inf
(* (floor w) (/ dY.u (sqrt (fmax (+ (* (* dX.v dX.v) (* (floor h) (floor h))) (* (floor w) (* (floor w) (* dX.u dX.u)))) (+ (* (floor w) (* (floor w) (* dY.u dY.u))) (* (floor h) (* (floor h) (* dY.v dY.v))))))))
126.0ms
dY.v
@inf
(log (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)))

bsearch27.0ms (0%)

Algorithm
31×binary-search
24×left-value
Stop Event
31×narrow-enough
Compiler

Compiled 1892 to 1176 computations (37.8% saved)

end9.0ms (0%)

Profiling

Loading profile data...