Herbie run

Date:Wednesday, March 20th, 2024
Commit:1eca1223 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024080
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: 6.3min)

sample2.8min (44.1%)

Results
31.2s142266×0precondition
40.5s116328×1valid
8.8s56785×0valid
40.8s43167×2valid
26.1s7130×5exit
710.0ms4225×0unsamplable
796.0ms4054×0infinite
455.0ms4046×0invalid
2.4s2104×3valid
293.0ms465×1infinite
9.0ms9×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 22.7s, 20.0% of total-time
Operation backward-pass, time spent: 11.8s, 11.0% of total-time
Operation ival-exp, time spent: 11.4s, 10.0% of total-time
Operation ival-tan, time spent: 10.6s, 9.0% of total-time
Operation ival-mult, time spent: 8.8s, 8.0% of total-time
Operation ival-sub, time spent: 7.3s, 6.0% of total-time
Operation ival-<=, time spent: 5.0s, 4.0% of total-time
Operation ival-log, time spent: 4.8s, 4.0% of total-time
Operation ival-div, time spent: 4.6s, 4.0% of total-time
Operation ival-add, time spent: 4.3s, 4.0% of total-time
Operation ival-fabs, time spent: 4.2s, 4.0% of total-time
Operation ival-cos, time spent: 3.9s, 3.0% of total-time
Operation ival-sin, time spent: 3.5s, 3.0% of total-time
Operation ival-<, time spent: 2.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 1.0% of total-time
Operation ival->, time spent: 1.4s, 1.0% of total-time
Operation const, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 952.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 887.0ms, 1.0% of total-time
Operation ival-neg, time spent: 476.0ms, 0.0% of total-time
Operation ival-atan, time spent: 438.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 342.0ms, 0.0% of total-time
Bogosity

localize1.1min (17.8%)

Compiler

Compiled 16543 to 9781 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.7s
Operation ival-pow, time spent: 13.7s, 28.0% of total-time
Operation ival-div, time spent: 7.6s, 16.0% of total-time
Operation ival-mult, time spent: 6.2s, 13.0% of total-time
Operation composed, time spent: 3.5s, 7.0% of total-time
Operation ival-add, time spent: 3.4s, 7.0% of total-time
Operation ival-log, time spent: 3.0s, 6.0% of total-time
Operation ival-exp, time spent: 2.1s, 4.0% of total-time
Operation ival-sin, time spent: 1.9s, 4.0% of total-time
Operation ival-tan, time spent: 1.8s, 4.0% of total-time
Operation ival-sub, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation const, time spent: 974.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 682.0ms, 1.0% of total-time
Operation ival-cos, time spent: 675.0ms, 1.0% of total-time
Operation ival-neg, time spent: 201.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 85.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 51.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time

eval32.6s (8.6%)

Compiler

Compiled 1415512 to 927896 computations (34.4% saved)

simplify24.1s (6.4%)

Algorithm
120×egg-herbie
Rules
30750×fma-define
26722×distribute-lft-in
26534×fma-neg
24641×distribute-rgt-in
23573×*-commutative
Stop Event
28×saturated
90×node limit
19×fuel
2×unsound
8×done
Counts
36320 → 39129
Compiler

Compiled 3036 to 2155 computations (29% saved)

soundness23.4s (6.2%)

Rules
29261×log1p-expm1-u
29075×fma-define
23670×fma-neg
23087×expm1-log1p-u
17427×associate-*r*
Stop Event
7×saturated
100×node limit
1×unsound
Compiler

Compiled 16710 to 10873 computations (34.9% saved)

rewrite17.7s (4.7%)

Algorithm
93×batch-egg-rewrite
Rules
58532×log1p-expm1-u
47087×expm1-log1p-u
19127×pow1
18274×add-exp-log
18139×add-log-exp
Stop Event
93×node limit
Counts
695 → 23681

preprocess14.2s (3.7%)

Algorithm
27×egg-herbie
Rules
8225×fma-neg
6464×fma-define
4232×div-sub
2644×sub-neg
2574×times-frac
Stop Event
22×saturated
5×node limit
Compiler

Compiled 10795 to 6656 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
Operation ival-tan, time spent: 837.0ms, 15.0% of total-time
Operation ival-log, time spent: 749.0ms, 14.0% of total-time
Operation ival-add, time spent: 667.0ms, 12.0% of total-time
Operation ival-exp, time spent: 578.0ms, 11.0% of total-time
Operation ival-sub, time spent: 557.0ms, 10.0% of total-time
Operation ival-pow, time spent: 550.0ms, 10.0% of total-time
Operation ival-mult, time spent: 385.0ms, 7.0% of total-time
Operation ival-div, time spent: 382.0ms, 7.0% of total-time
Operation ival-cos, time spent: 205.0ms, 4.0% of total-time
Operation ival-sin, time spent: 159.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 143.0ms, 3.0% of total-time
Operation const, time spent: 106.0ms, 2.0% of total-time
Operation ival-atan, time spent: 41.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 24.0ms, 0.0% of total-time

prune13.2s (3.5%)

Counts
53487 → 1864
Compiler

Compiled 64182 to 45805 computations (28.6% saved)

regimes8.2s (2.2%)

Counts
2994 → 257
Calls

42 calls:

2.1s
x
1.2s
(/.f64 #s(literal 1 binary64) n)
675.0ms
b_2
666.0ms
b
642.0ms
c
Compiler

Compiled 1486 to 1040 computations (30% saved)

series5.4s (1.4%)

Counts
695 → 12639
Calls

3351 calls:

TimeVariablePointExpression
158.0ms
b
@inf
(* (exp (+ (log c) (* -2 (log b)))) (neg b))
85.0ms
N
@-inf
(cbrt (pow (cbrt (atan2 1 (+ (* N (+ 1 N)) 1))) 2))
76.0ms
x
@0
(- (tan (+ eps x)) (tan x))
66.0ms
eps
@0
(+ (log (- 1 (neg (/ (pow (sin x) 2) (pow (cos x) 2))))) (/ (* (sin x) eps) (cos x)))
60.0ms
c
@0
(* (exp (+ (log c) (* -2 (log b)))) (neg b))

bsearch3.1s (0.8%)

Algorithm
69×binary-search
26×left-value
Stop Event
3×predicate-same
66×narrow-enough
Results
817.0ms5230×0valid
1.1s2177×1valid
182.0ms1610×0invalid
109.0ms558×0infinite
345.0ms269×2valid
58.0ms86×1infinite
162.0ms26×0unsamplable
Compiler

Compiled 14315 to 10494 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-pow, time spent: 509.0ms, 31.0% of total-time
Operation ival-div, time spent: 354.0ms, 22.0% of total-time
Operation ival-add, time spent: 184.0ms, 11.0% of total-time
Operation ival-mult, time spent: 181.0ms, 11.0% of total-time
Operation backward-pass, time spent: 110.0ms, 7.0% of total-time
Operation ival-sub, time spent: 99.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 62.0ms, 4.0% of total-time
Operation ival-neg, time spent: 52.0ms, 3.0% of total-time
Operation ival-exp, time spent: 47.0ms, 3.0% of total-time
Operation const, time spent: 22.0ms, 1.0% of total-time
Operation ival-cos, time spent: 11.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 10.0ms, 1.0% of total-time

analyze2.7s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
17.8%10.2%47.3%38.9%0%3.6%0%1
26.3%15.1%42.4%38.9%0%3.6%0%2
41.4%22.7%32.1%41.6%0%3.6%0%3
49.4%27%27.7%41.7%0%3.6%0%4
56.9%30.7%23.3%42.4%0%3.6%0%5
59%31.5%21.9%43.1%0%3.6%0%6
63.1%32.5%19%44%0%4.3%0.1%7
66.3%33.8%17.2%44.5%0%4.4%0.1%8
68.9%34.5%15.6%44.9%0%4.8%0.3%9
71%34.9%14.3%45.2%0%5.3%0.3%10
73.8%35.9%12.8%45.4%0%5.5%0.4%11
75%36.2%12.1%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-mult, time spent: 200.0ms, 13.0% of total-time
Operation ival-pow, time spent: 182.0ms, 12.0% of total-time
Operation ival-sub, time spent: 179.0ms, 12.0% of total-time
Operation ival-div, time spent: 157.0ms, 10.0% of total-time
Operation ival-<=, time spent: 138.0ms, 9.0% of total-time
Operation ival-log, time spent: 137.0ms, 9.0% of total-time
Operation ival-fabs, time spent: 88.0ms, 6.0% of total-time
Operation ival-exp, time spent: 81.0ms, 5.0% of total-time
Operation ival-add, time spent: 68.0ms, 4.0% of total-time
Operation ival-neg, time spent: 61.0ms, 4.0% of total-time
Operation ival-sin, time spent: 56.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 51.0ms, 3.0% of total-time
Operation ival-tan, time spent: 36.0ms, 2.0% of total-time
Operation const, time spent: 34.0ms, 2.0% of total-time
Operation ival-<, time spent: 21.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ival-and, time spent: 12.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 10.0ms, 1.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 0.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...