Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 1.6hr)

sample23.7min (24.6%)

Results
8.5min3839310×0valid
3.3min483380×1valid
31.9s172802×0invalid
27.6s146122×0precondition
1.5min130247×2valid
3.4min62830×5exit
14.4s59809×0unsamplable
7.9s23085×1invalid
35.7s19610×3valid
1.7s2221×2invalid
9.9s2197×4valid
39.0ms60×1unsamplable
15.0ms24×3invalid
7.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 14.4min
ival-pow: 2.8min (19.7% of total)
ival-mult: 2.8min (19.3% of total)
ival-div: 1.3min (8.7% of total)
ival-sin: 1.2min (8.2% of total)
ival-add: 1.1min (7.9% of total)
ival-sub: 1.0min (7% of total)
ival-cos: 42.6s (4.9% of total)
backward-pass: 34.0s (3.9% of total)
ival-log: 30.2s (3.5% of total)
ival-exp: 29.8s (3.4% of total)
ival-sqrt: 23.3s (2.7% of total)
ival-<=: 19.5s (2.3% of total)
ival-tan: 19.1s (2.2% of total)
const: 8.6s (1% of total)
ival-neg: 8.5s (1% of total)
ival-fabs: 7.1s (0.8% of total)
ival-<: 5.4s (0.6% of total)
ival-and: 3.4s (0.4% of total)
ival-pi: 2.9s (0.3% of total)
ival-acos: 2.5s (0.3% of total)
ival->: 1.9s (0.2% of total)
ival-asin: 1.7s (0.2% of total)
ival-atan2: 1.7s (0.2% of total)
ival-floor: 1.1s (0.1% of total)
ival-if: 1.1s (0.1% of total)
ival-atan: 1.1s (0.1% of total)
ival-fmod: 874.0ms (0.1% of total)
ival-==: 813.0ms (0.1% of total)
ival-fmin: 759.0ms (0.1% of total)
ival-sinh: 628.0ms (0.1% of total)
ival-cbrt: 615.0ms (0.1% of total)
ival-fmax: 521.0ms (0.1% of total)
ival->=: 447.0ms (0.1% of total)
ival-fma: 382.0ms (0% of total)
ival-acosh: 372.0ms (0% of total)
ival-cosh: 347.0ms (0% of total)
ival-asinh: 320.0ms (0% of total)
ival-hypot: 317.0ms (0% of total)
ival-log2: 309.0ms (0% of total)
ival-atanh: 288.0ms (0% of total)
ival-tanh: 105.0ms (0% of total)
ival-or: 104.0ms (0% of total)
Bogosity

simplify14.8min (15.4%)

Algorithm
2443×egg-herbie
Rules
707919×fma-define
549134×*-commutative
544135×times-frac
532858×fma-neg
524503×distribute-lft-in
Stop Event
549×saturated
1864×node limit
30×unsound
Counts
1132968 → 976789

localize11.8min (12.2%)

Algorithm
1941×egg-herbie
Rules
938952×fma-define
695982×fma-neg
372436×distribute-lft-in
332445×unsub-neg
331917×distribute-rgt-in
Stop Event
925×saturated
1014×node limit
2×unsound
Results
2.7min396858×0valid
1.1min46617×1valid
15.4s24259×0invalid
26.7s13206×2valid
1.3min11342×5exit
1.6s2169×0unsamplable
5.8s1627×3valid
1.4s575×1invalid
790.0ms128×2invalid
710.0ms111×4valid
15.0ms3×3invalid
7.0ms1×5valid
Compiler

Compiled 467601 to 49557 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
ival-mult: 42.6s (20.8% of total)
ival-pow: 24.4s (11.9% of total)
ival-div: 23.6s (11.6% of total)
backward-pass: 15.3s (7.5% of total)
ival-add: 13.2s (6.5% of total)
ival-sin: 12.5s (6.1% of total)
ival-cos: 11.2s (5.5% of total)
ival-sub: 9.0s (4.4% of total)
ival-tan: 8.0s (3.9% of total)
ival-log: 6.1s (3% of total)
ival-exp: 5.9s (2.9% of total)
ival-log1p: 5.3s (2.6% of total)
ival-sqrt: 5.1s (2.5% of total)
ival-fma: 5.0s (2.5% of total)
ival-expm1: 3.9s (1.9% of total)
ival-neg: 2.6s (1.3% of total)
ival-hypot: 2.2s (1.1% of total)
ival-cbrt: 2.1s (1% of total)
const: 1.6s (0.8% of total)
ival-acos: 836.0ms (0.4% of total)
ival-atan2: 545.0ms (0.3% of total)
ival-asin: 511.0ms (0.3% of total)
ival-fmod: 502.0ms (0.2% of total)
ival-if: 455.0ms (0.2% of total)
ival-atan: 369.0ms (0.2% of total)
ival-pi: 303.0ms (0.1% of total)
ival-fabs: 287.0ms (0.1% of total)
ival-cosh: 175.0ms (0.1% of total)
ival-fmax: 174.0ms (0.1% of total)
ival-e: 152.0ms (0.1% of total)
ival-copysign: 124.0ms (0.1% of total)
ival-log2: 103.0ms (0.1% of total)
ival-floor: 100.0ms (0% of total)
ival-sinh: 82.0ms (0% of total)
ival->=: 65.0ms (0% of total)
ival->: 37.0ms (0% of total)
ival-tanh: 16.0ms (0% of total)
ival-<: 12.0ms (0% of total)

soundness11.3min (11.7%)

Rules
645849×fma-define
485285×log1p-expm1-u
477340×fma-neg
402999×associate-*r*
391655×times-frac
Stop Event
160×saturated
358×fuel
1920×node limit
25×unsound
183×done
Compiler

Compiled 437257 to 131755 computations (69.9% saved)

rewrite8.0min (8.3%)

Algorithm
1902×batch-egg-rewrite
Rules
1185625×log1p-expm1-u
909841×expm1-log1p-u
428616×pow1
408190×add-exp-log
391034×add-log-exp
Stop Event
2×saturated
1882×node limit
18×unsound
Counts
21679 → 650947

prune6.3min (6.6%)

Counts
1453811 → 40490
Compiler

Compiled 2033973 to 1018222 computations (49.9% saved)

eval5.1min (5.3%)

Compiler

Compiled 50876900 to 5593864 computations (89% saved)

regimes3.9min (4%)

Counts
113517 → 9157
Calls

1224 calls:

17.2s
x
16.1s
y
11.4s
z
8.5s
a
8.0s
b
Compiler

Compiled 97630 to 70965 computations (27.3% saved)

series3.2min (3.4%)

Counts
21679 → 482021
Calls

116460 calls:

TimeVariablePointExpression
572.0ms
y
@-inf
(log (sqrt (exp (cos y))))
505.0ms
C
@0
(log (* (* -16 (pow A 2)) (* F C)))
505.0ms
a
@-inf
(log (- (exp (* a x)) 1))
449.0ms
A
@inf
(/ (sqrt (* F (* (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (* 2 (pow B 2))))) (neg (+ (* C (* A -4)) (pow B 2))))
442.0ms
h
@-inf
(* (+ (* c0 (* d (/ d (* D (* w (* h D)))))) M) (neg M))

bsearch2.5min (2.6%)

Algorithm
4154×binary-search
550×left-value
Stop Event
114×predicate-same
4040×narrow-enough
Results
1.2min456313×0valid
23.4s40562×1valid
3.5s20277×0invalid
3.0s4632×2valid
2.8s1348×3valid
12.0ms97×0unsamplable
119.0ms41×4valid
2.0ms10×1invalid
1.0ms2×2invalid
Compiler

Compiled 989261 to 704178 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 23.7s (31.5% of total)
ival-sub: 9.4s (12.5% of total)
ival-div: 7.9s (10.6% of total)
ival-add: 7.7s (10.2% of total)
ival-sin: 5.7s (7.6% of total)
ival-cos: 5.4s (7.1% of total)
ival-pow: 4.1s (5.5% of total)
ival-log: 2.6s (3.5% of total)
ival-sqrt: 2.1s (2.8% of total)
backward-pass: 2.1s (2.8% of total)
ival-exp: 1.5s (2.1% of total)
const: 817.0ms (1.1% of total)
ival-tan: 655.0ms (0.9% of total)
ival-neg: 471.0ms (0.6% of total)
ival-atan2: 377.0ms (0.5% of total)
ival-acos: 190.0ms (0.3% of total)
ival-atan: 151.0ms (0.2% of total)
ival-pi: 83.0ms (0.1% of total)
ival-fabs: 57.0ms (0.1% of total)
ival-fmod: 25.0ms (0% of total)
ival-cbrt: 19.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-if: 11.0ms (0% of total)
ival-copysign: 10.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-cosh: 7.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-hypot: 2.0ms (0% of total)

preprocess2.3min (2.4%)

Algorithm
542×egg-herbie
Rules
254384×fma-define
252110×fma-neg
118944×unsub-neg
101039×sub-neg
94642×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 387130 to 146080 computations (62.3% saved)

explain1.8min (1.8%)

Results
38.7s230510×0valid
17.2s34910×1valid
10.2s10344×2valid
2.9s1430×3valid
573.0ms182×5exit
594.0ms128×4valid
Compiler

Compiled 97157 to 18586 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 39.6s
ival-mult: 10.0s (25.2% of total)
ival-sub: 3.9s (9.8% of total)
ival-div: 3.8s (9.5% of total)
ival-add: 3.4s (8.6% of total)
ival-sin: 3.1s (7.8% of total)
ival-cos: 2.6s (6.5% of total)
backward-pass: 2.4s (6.1% of total)
ival-log: 2.3s (5.8% of total)
ival-pow: 1.9s (4.9% of total)
ival-sqrt: 1.6s (4% of total)
ival-exp: 1.5s (3.8% of total)
ival-tan: 1.4s (3.5% of total)
const: 498.0ms (1.3% of total)
ival-neg: 280.0ms (0.7% of total)
ival-atan2: 211.0ms (0.5% of total)
ival-pi: 132.0ms (0.3% of total)
ival-asin: 84.0ms (0.2% of total)
ival-fabs: 78.0ms (0.2% of total)
ival-acos: 77.0ms (0.2% of total)
ival-atan: 74.0ms (0.2% of total)
ival-floor: 49.0ms (0.1% of total)
ival-cbrt: 43.0ms (0.1% of total)
ival-fmod: 40.0ms (0.1% of total)
ival-sinh: 31.0ms (0.1% of total)
ival-if: 26.0ms (0.1% of total)
ival-hypot: 23.0ms (0.1% of total)
ival-log2: 21.0ms (0.1% of total)
ival-fmax: 19.0ms (0% of total)
ival-fma: 18.0ms (0% of total)
ival-copysign: 15.0ms (0% of total)
ival-cosh: 14.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-log1p: 8.0ms (0% of total)
ival->: 8.0ms (0% of total)
ival-<: 2.0ms (0% of total)

analyze1.7min (1.7%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.1%33%51.4%15.6%0%0%0%1
44.9%37.6%46.1%15.6%0%0.7%0%2
54.1%44.2%37.4%15.7%0%2.6%0%3
60.9%49.1%31.5%15.8%0%3.6%0%4
67.2%53.8%26.3%15.8%0%4%0%5
71%56.7%23.1%15.8%0%4.3%0%6
75%59.4%19.8%15.9%0%4.8%0.1%7
77%60.7%18.1%15.9%0%5.2%0.1%8
79.6%62.5%16%15.9%0%5.4%0.1%9
81.1%63.5%14.8%16%0%5.7%0.1%10
83.4%65.1%13%16%0%5.8%0.1%11
84.5%65.8%12.1%16%0%6%0.1%12
Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.7s
ival-mult: 17.8s (30.8% of total)
ival-div: 5.9s (10.2% of total)
ival-add: 4.9s (8.4% of total)
ival-sub: 4.4s (7.7% of total)
ival-pow: 4.3s (7.4% of total)
ival-<=: 3.6s (6.3% of total)
ival-sqrt: 2.2s (3.8% of total)
ival-fabs: 2.1s (3.7% of total)
ival-cos: 2.0s (3.4% of total)
ival-sin: 1.9s (3.4% of total)
ival-floor: 876.0ms (1.5% of total)
ival-exp: 865.0ms (1.5% of total)
ival-neg: 823.0ms (1.4% of total)
ival-log: 691.0ms (1.2% of total)
ival-and: 682.0ms (1.2% of total)
const: 619.0ms (1.1% of total)
ival-if: 612.0ms (1.1% of total)
ival-<: 604.0ms (1% of total)
ival-tan: 476.0ms (0.8% of total)
ival-fmax: 440.0ms (0.8% of total)
ival-==: 304.0ms (0.5% of total)
ival-acos: 226.0ms (0.4% of total)
ival-atan2: 225.0ms (0.4% of total)
ival->: 175.0ms (0.3% of total)
ival-log2: 166.0ms (0.3% of total)
ival-pi: 165.0ms (0.3% of total)
backward-pass: 163.0ms (0.3% of total)
ival->=: 113.0ms (0.2% of total)
ival-atan: 94.0ms (0.2% of total)
ival-asin: 75.0ms (0.1% of total)
ival-fmod: 55.0ms (0.1% of total)
ival-sinh: 38.0ms (0.1% of total)
ival-or: 22.0ms (0% of total)
ival-cbrt: 18.0ms (0% of total)
ival-cosh: 15.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-fmin: 6.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end3.0ms (0%)

Calls

1 calls:

119.0ms
(exp.f64 (neg.f64 s))

Profiling

Loading profile data...