Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
Hostname:nightly with Racket 8.11.1
Seed:2024181
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 5.3min)

sample2.3min (43.7%)

Memory
542.2MiB live, 133 605.7MiB allocated
Samples
30.5s146 894×0invalid
30.0s46 768×2valid
23.1s91 985×1valid
18.9s3 674×5exit
9.1s89 742×0valid
3.9s2 673×3valid
256.0ms3 805×0exit
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-pow: 19.2s (19.7% of total)
ival-tan: 13.6s (13.9% of total)
...in/eval/compile.rkt:111:19: 9.3s (9.6% of total)
ival-mult: 7.7s (8% of total)
ival-cos: 5.0s (5.1% of total)
ival-sub: 4.9s (5% of total)
ival-div: 4.8s (5% of total)
ival-add: 4.7s (4.9% of total)
ival-sin: 4.6s (4.7% of total)
adjust: 3.4s (3.5% of total)
ival-log: 3.1s (3.2% of total)
ival-fabs: 2.5s (2.6% of total)
ival-exp: 2.4s (2.5% of total)
ival-<=: 2.0s (2.1% of total)
ival-expm1: 2.0s (2% of total)
ival-sqrt: 1.6s (1.6% of total)
ival-<: 1.4s (1.4% of total)
ival-log1p: 960.0ms (1% of total)
ival->: 912.0ms (0.9% of total)
ival-fmin: 814.0ms (0.8% of total)
ival-and: 619.0ms (0.6% of total)
ival-neg: 588.0ms (0.6% of total)
ival-atan: 409.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 293.0ms (0.3% of total)
ival-cbrt: 251.0ms (0.3% of total)
ival-assert: 167.0ms (0.2% of total)
ival-true: 62.0ms (0.1% of total)
Bogosity

simplify46.5s (14.6%)

Memory
-128.8MiB live, 39 226.5MiB allocated
Algorithm
241×egg-herbie
Rules
84 378×fma-define
76 576×fmm-def
47 319×distribute-lft-in
43 617×times-frac
42 076×distribute-rgt-in
Stop Event
159×node limit
81×saturated
1×unsound
Counts
53 407 → 54 930

soundness28.1s (8.8%)

Memory
-236.9MiB live, 17 819.8MiB allocated
Rules
32 772×log1p-expm1-u
29 035×fma-define
27 384×fmm-def
25 120×expm1-log1p-u
16 806×associate-*r*
Stop Event
100×node limit
20×fuel
9×saturated
8×done
Compiler

Compiled 16 631 to 5 202 computations (68.7% saved)

rewrite24.9s (7.8%)

Memory
-146.9MiB live, 20 688.2MiB allocated
Algorithm
106×batch-egg-rewrite
Rules
68 004×log1p-expm1-u
53 568×expm1-log1p-u
21 573×prod-diff
21 533×add-exp-log
21 441×pow1
Stop Event
105×node limit
1×unsound
Counts
1 145 → 36 506

localize19.5s (6.1%)

Memory
512.0MiB live, 22 538.9MiB allocated
Samples
3.8s6 979×1valid
3.8s3 819×2valid
3.6s14 121×0valid
1.4s675×3valid
446.0ms1 591×0invalid
441.0ms127×5exit
13.0ms23×2invalid
10.0ms22×1invalid
8.0ms35×0exit
Compiler

Compiled 16 918 to 2 585 computations (84.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.5s
ival-div: 1.9s (17.7% of total)
ival-mult: 1.4s (13% of total)
ival-pow: 1.1s (10.8% of total)
ival-tan: 817.0ms (7.8% of total)
ival-add: 751.0ms (7.2% of total)
ival-sub: 747.0ms (7.1% of total)
ival-sin: 567.0ms (5.4% of total)
adjust: 509.0ms (4.9% of total)
ival-cos: 387.0ms (3.7% of total)
...in/eval/compile.rkt:111:19: 359.0ms (3.4% of total)
ival-log: 306.0ms (2.9% of total)
ival-exp: 293.0ms (2.8% of total)
ival-expm1: 278.0ms (2.7% of total)
ival-pow2: 254.0ms (2.4% of total)
ival-log1p: 246.0ms (2.4% of total)
ival-sqrt: 207.0ms (2% of total)
ival-cbrt: 122.0ms (1.2% of total)
ival-neg: 71.0ms (0.7% of total)
ival-atan2: 61.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 38.0ms (0.4% of total)
ival-hypot: 30.0ms (0.3% of total)
ival-atan: 28.0ms (0.3% of total)
ival-true: 23.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)

eval16.8s (5.3%)

Memory
679.1MiB live, 18 875.8MiB allocated
Compiler

Compiled 1 844 727 to 285 453 computations (84.5% saved)

prune16.2s (5.1%)

Memory
-729.1MiB live, 24 814.4MiB allocated
Counts
78 853 → 2 192
Compiler

Compiled 71 430 to 39 918 computations (44.1% saved)

explain6.6s (2.1%)

Memory
213.4MiB live, 7 622.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation410731
log.f64#fsensitivity7630
/.f64#fu/u4450
sqrt.f64#foflow-rescue4020
+.f64#fcancellation3200
/.f64#fu/n1250
pow.f64#fsensitivity1010
sqrt.f64#fuflow-rescue240
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u240
↳(*.f64 b eps)underflow143
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow158
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow143
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow235
↳(*.f64 a eps)underflow158
-.f64#fnan-rescue160
cos.f64(cos.f64 (+.f64 x eps))sensitivity41
tan.f64(tan.f64 (+.f64 x eps))sensitivity41
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow73
sin.f64(sin.f64 (+.f64 x eps))sensitivity31
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o10
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow1
↳(exp.f64 x)overflow1
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+519514
-1481811
Precision
0.9723002058768482
Recall
0.9973123440199655
Confusion?
Predicted +Predicted MaybePredicted -
+519595
-148211790
Precision?
0.9685464358831193
Recall?
0.9990401228642733
Freqs
test
numberfreq
01825
14542
2660
384
457
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.9s2 954×2valid
1.2s5 738×1valid
550.0ms5 468×0valid
161.0ms174×3valid
1.0ms2×5exit
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-tan: 794.0ms (24.9% of total)
ival-sub: 522.0ms (16.4% of total)
ival-cos: 243.0ms (7.6% of total)
ival-div: 239.0ms (7.5% of total)
ival-mult: 217.0ms (6.8% of total)
adjust: 213.0ms (6.7% of total)
ival-sin: 184.0ms (5.8% of total)
ival-log: 154.0ms (4.8% of total)
ival-exp: 143.0ms (4.5% of total)
ival-add: 117.0ms (3.7% of total)
ival-pow: 92.0ms (2.9% of total)
ival-cbrt: 66.0ms (2.1% of total)
ival-sqrt: 63.0ms (2% of total)
ival-log1p: 43.0ms (1.3% of total)
ival-expm1: 29.0ms (0.9% of total)
ival-atan: 23.0ms (0.7% of total)
ival-neg: 20.0ms (0.6% of total)
ival-true: 12.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 8.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

preprocess5.5s (1.7%)

Memory
-73.3MiB live, 5 744.7MiB allocated
Algorithm
28×egg-herbie
Rules
8 308×fmm-def
6 663×fma-define
4 254×div-sub
2 652×sub-neg
2 620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8 542 to 3 874 computations (54.6% saved)

series4.9s (1.5%)

Memory
-138.3MiB live, 6 484.9MiB allocated
Counts
1 145 → 16 901
Calls

4593 calls:

TimeVariablePointExpression
125.0ms
x
@-inf
(/ (* 2 (log (sqrt (exp (- 1 (cos x)))))) (* x x))
104.0ms
c
@inf
(sqrt (- (* b b) (pow (cbrt (* c (* 4 a))) 3)))
99.0ms
b_2
@inf
(* -2 (/ b_2 (neg c)))
84.0ms
x
@inf
(/ -1 (* x (- (* 1/2 x) 1)))
79.0ms
N
@-inf
(atan2 1 (+ 1 (+ N (pow N 2))))

bsearch4.4s (1.4%)

Memory
185.9MiB live, 5 300.3MiB allocated
Algorithm
73×binary-search
9×left-value
Stop Event
70×narrow-enough
3×predicate-same
Samples
2.3s738×5exit
581.0ms7 004×0valid
416.0ms1 971×1valid
153.0ms778×0exit
101.0ms1 206×0invalid
95.0ms401×2valid
Compiler

Compiled 12 310 to 9 134 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-pow: 2.3s (74.2% of total)
ival-mult: 157.0ms (5.1% of total)
ival-div: 153.0ms (4.9% of total)
adjust: 129.0ms (4.2% of total)
ival-sub: 105.0ms (3.4% of total)
ival-add: 99.0ms (3.2% of total)
ival-sqrt: 54.0ms (1.7% of total)
ival-neg: 42.0ms (1.4% of total)
ival-cos: 22.0ms (0.7% of total)
ival-true: 9.0ms (0.3% of total)
ival-sin: 9.0ms (0.3% of total)
ival-cbrt: 7.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 7.0ms (0.2% of total)
ival-assert: 5.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-exp: 1.0ms (0% of total)

regimes3.7s (1.2%)

Memory
8.0MiB live, 4 682.8MiB allocated
Counts
3 456 → 275
Calls

43 calls:

921.0ms
x
375.0ms
b
289.0ms
eps
255.0ms
b_2
155.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
Compiler

Compiled 1 464 to 966 computations (34% saved)

analyze1.8s (0.6%)

Memory
80.9MiB live, 2 232.1MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...