Herbie run

Date:Saturday, February 24th, 2024
Commit:79d5306a on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 8.9min)

sample2.6min (29%)

Results
25.2s140554×256precondition
14.5s95395×256valid
27.3s58556×1024valid
45.8s35947×2048valid
9.1s34712×512valid
747.0ms5256×256invalid
791.0ms4333×256infinite
758.0ms4025×256unsamplable
1.6s1940×4096valid
1.4s1111×1024invalid
401.0ms603×512invalid
94.0ms151×512infinite
211.0ms134×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-tan, time spent: 15.2s, 16.0% of total-time
Operation ival-exp, time spent: 13.5s, 14.0% of total-time
Operation ival-mult, time spent: 9.2s, 10.0% of total-time
Operation ival-sub, time spent: 7.6s, 8.0% of total-time
Operation ival-log, time spent: 6.5s, 7.0% of total-time
Operation ival-cos, time spent: 5.7s, 6.0% of total-time
Operation ival-sin, time spent: 5.6s, 6.0% of total-time
Operation ival-div, time spent: 5.0s, 5.0% of total-time
Operation ival-add, time spent: 4.8s, 5.0% of total-time
Operation ival-<=, time spent: 4.8s, 5.0% of total-time
Operation ival-pow, time spent: 4.6s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-<, time spent: 2.7s, 3.0% of total-time
Operation ival-fabs, time spent: 2.4s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 1.0s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-fmin, time spent: 467.0ms, 0.0% of total-time
Operation ival-atan, time spent: 421.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 341.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 72.0ms, 0.0% of total-time
Bogosity

eval1.6min (18.6%)

Compiler

Compiled 3154928 to 2133696 computations (32.4% saved)

localize1.4min (15.9%)

Results
21.3s14625×256valid
18.3s3760×1024valid
15.3s3274×2048valid
6.8s2211×512valid
2.6s1662×256invalid
376.0ms398×256infinite
579.0ms313×256unsamplable
806.0ms155×4096valid
751.0ms71×1024infinite
210.0ms48×512infinite
1.8s39×8192exit
20.0ms22×1024invalid
9.0ms17×512invalid
20.0ms15×2048invalid
102.0ms10×2048infinite
25.0ms4×4096infinite
Compiler

Compiled 28323 to 17202 computations (39.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.6s
Operation ival-pow, time spent: 15.5s, 26.0% of total-time
Operation ival-mult, time spent: 12.5s, 21.0% of total-time
Operation ival-div, time spent: 6.6s, 11.0% of total-time
Operation composed, time spent: 5.0s, 8.0% of total-time
Operation ival-add, time spent: 4.9s, 8.0% of total-time
Operation ival-sub, time spent: 3.2s, 5.0% of total-time
Operation ival-log, time spent: 2.6s, 4.0% of total-time
Operation ival-exp, time spent: 2.3s, 4.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-sin, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-cbrt, time spent: 944.0ms, 2.0% of total-time
Operation ival-cos, time spent: 716.0ms, 1.0% of total-time
Operation ival-tan, time spent: 606.0ms, 1.0% of total-time
Operation ival-neg, time spent: 180.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 78.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 45.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

series50.4s (9.5%)

Counts
781 → 19591
Calls

3549 calls:

TimeVariablePointExpression
3.0s
a
@0
(pow (exp 1/2) (+ (log (* -4 a)) (log c)))
2.3s
c
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))
2.2s
N
@0
(pow (E) (log (atan2 1 (+ (* N (+ 1 N)) 1))))
1.8s
a
@-inf
(pow (/ (neg c) a) 1/6)
1.8s
x
@-inf
(log (/ (+ 1 (- (exp (cbrt (+ x 1))) 1)) (exp (cbrt x))))

simplify37.4s (7%)

Algorithm
129×egg-herbie
Rules
67586×fma-define
67514×distribute-lft-in
63138×fma-neg
62496×*-commutative
58252×distribute-rgt-in
Stop Event
28×saturated
101×node limit
20×fuel
8×done
Counts
46287 → 47114
Compiler

Compiled 3540 to 2480 computations (29.9% saved)

soundness27.3s (5.1%)

Rules
53610×fma-define
50402×fma-neg
36854×distribute-lft-in
36146×*-commutative
31648×log1p-expm1-u
Stop Event
8×saturated
101×node limit
Compiler

Compiled 16665 to 10949 computations (34.3% saved)

prune24.7s (4.7%)

Counts
64105 → 1768
Compiler

Compiled 62446 to 45173 computations (27.7% saved)

rewrite21.3s (4%)

Algorithm
101×batch-egg-rewrite
Rules
63868×log1p-expm1-u
50156×expm1-log1p-u
39242×prod-diff
32374×fma-define
32034×unpow-prod-down
Stop Event
101×node limit
Counts
781 → 26696

preprocess17.0s (3.2%)

Algorithm
28×egg-herbie
Rules
16616×fma-neg
13326×fma-define
8558×div-sub
5338×sub-neg
5242×times-frac
Stop Event
23×saturated
5×node limit
Results
1.3s6002×256valid
2.5s3494×1024valid
3.0s2290×2048valid
1.1s2148×512valid
114.0ms230×256infinite
106.0ms114×4096valid
96.0ms30×1024infinite
72.0ms28×512infinite
Compiler

Compiled 11865 to 7390 computations (37.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
Operation ival-tan, time spent: 943.0ms, 16.0% of total-time
Operation ival-exp, time spent: 810.0ms, 13.0% of total-time
Operation ival-log, time spent: 738.0ms, 12.0% of total-time
Operation ival-sub, time spent: 642.0ms, 11.0% of total-time
Operation ival-add, time spent: 478.0ms, 8.0% of total-time
Operation ival-div, time spent: 476.0ms, 8.0% of total-time
Operation ival-pow, time spent: 439.0ms, 7.0% of total-time
Operation ival-mult, time spent: 400.0ms, 7.0% of total-time
Operation ival-cos, time spent: 304.0ms, 5.0% of total-time
Operation ival-sin, time spent: 286.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 264.0ms, 4.0% of total-time
Operation const, time spent: 130.0ms, 2.0% of total-time
Operation ival-atan, time spent: 50.0ms, 1.0% of total-time
Operation ival-neg, time spent: 31.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 0.0% of total-time

regimes8.8s (1.7%)

Counts
3171 → 261
Calls

43 calls:

2.0s
x
1.8s
c
1.1s
(/.f64 1 n)
1.0s
a
630.0ms
n
Compiler

Compiled 1375 to 957 computations (30.4% saved)

bsearch3.5s (0.7%)

Algorithm
63×binary-search
31×left-value
Stop Event
1×predicate-same
62×narrow-enough
Results
965.0ms4884×256valid
686.0ms1689×1024valid
278.0ms1363×256invalid
267.0ms862×256infinite
420.0ms561×512valid
231.0ms227×2048valid
56.0ms52×1024infinite
14.0ms26×512infinite
1.0ms5×256unsamplable
2.0ms3×4096valid
Compiler

Compiled 15714 to 11590 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-pow, time spent: 684.0ms, 39.0% of total-time
Operation ival-div, time spent: 317.0ms, 18.0% of total-time
Operation ival-sub, time spent: 209.0ms, 12.0% of total-time
Operation ival-mult, time spent: 196.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 99.0ms, 6.0% of total-time
Operation ival-add, time spent: 63.0ms, 4.0% of total-time
Operation ival-exp, time spent: 57.0ms, 3.0% of total-time
Operation ival-neg, time spent: 45.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 39.0ms, 2.0% of total-time
Operation const, time spent: 30.0ms, 2.0% of total-time
Operation ival-cos, time spent: 11.0ms, 1.0% of total-time

analyze3.2s (0.6%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.9%32.5%24.6%42.4%0%0.4%0%5
59.4%33.4%22.8%43.1%0%0.7%0%6
63.2%34.4%20%44%0%1.4%0.1%7
66.4%35.7%18.1%44.5%0%1.6%0.1%8
68.8%36.4%16.5%44.9%0%2%0.3%9
70.9%36.8%15.1%45.2%0%2.6%0.3%10
73.5%37.8%13.6%45.4%0%2.8%0.4%11
74.7%38.1%12.9%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-mult, time spent: 267.0ms, 15.0% of total-time
Operation ival-sub, time spent: 220.0ms, 12.0% of total-time
Operation ival-div, time spent: 197.0ms, 11.0% of total-time
Operation ival-log, time spent: 177.0ms, 10.0% of total-time
Operation ival-pow, time spent: 168.0ms, 9.0% of total-time
Operation ival-sin, time spent: 129.0ms, 7.0% of total-time
Operation ival-tan, time spent: 119.0ms, 7.0% of total-time
Operation ival-<=, time spent: 104.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 91.0ms, 5.0% of total-time
Operation ival-add, time spent: 82.0ms, 4.0% of total-time
Operation ival-exp, time spent: 63.0ms, 3.0% of total-time
Operation ival-neg, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 43.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 2.0% of total-time
Operation ival-cos, time spent: 23.0ms, 1.0% of total-time
Operation ival-and, time spent: 17.0ms, 1.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.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

end7.0ms (0%)

Profiling

Loading profile data...