Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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: 7.2min)

simplify1.4min (20.1%)

Memory
-431.1MiB live, 100 829.6MiB allocated
Algorithm
286×egg-herbie
Rules
106 574×fma-define
65 735×*-commutative
63 133×times-frac
58 544×fmm-def
58 213×associate-*r*
Stop Event
214×node limit
72×saturated
Counts
96 288 → 81 937

sample1.3min (18.6%)

Memory
791.4MiB live, 96 615.0MiB allocated
Samples
34.5s221 024×0valid
12.3s34 991×1valid
8.0s57 444×0invalid
4.1s11 297×1invalid
2.2s4 647×2valid
1.1s2 629×3valid
498.0ms898×4valid
259.0ms870×2invalid
59.0ms217×0exit
3.0ms5×5exit
2.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 48.8s
ival-mult: 12.6s (25.8% of total)
ival-div: 8.0s (16.5% of total)
ival-tan: 4.4s (8.9% of total)
ival-sqrt: 3.1s (6.3% of total)
ival-add: 3.0s (6.2% of total)
ival-sub: 2.9s (6% of total)
ival-pow2: 2.4s (5% of total)
ival-sin: 2.2s (4.4% of total)
ival-exp: 1.9s (3.9% of total)
ival-pow: 1.8s (3.6% of total)
adjust: 1.5s (3.2% of total)
ival-cos: 1.0s (2.1% of total)
ival-neg: 829.0ms (1.7% of total)
ival-pi: 661.0ms (1.4% of total)
...in/eval/compile.rkt:105:19: 399.0ms (0.8% of total)
ival-log: 375.0ms (0.8% of total)
ival-hypot: 287.0ms (0.6% of total)
ival-acos: 274.0ms (0.6% of total)
ival-true: 240.0ms (0.5% of total)
...in/eval/compile.rkt:104:19: 232.0ms (0.5% of total)
ival-asin: 187.0ms (0.4% of total)
ival-fabs: 168.0ms (0.3% of total)
ival-assert: 127.0ms (0.3% of total)
ival-<: 97.0ms (0.2% of total)
ival-atan: 87.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

soundness1.0min (14.3%)

Memory
-260.5MiB live, 56 983.9MiB allocated
Rules
52 457×fma-define
50 117×log1p-expm1-u
39 041×times-frac
35 465×*-commutative
34 599×expm1-log1p-u
Stop Event
180×node limit
31×fuel
8×saturated
1×unsound
1×done
Compiler

Compiled 47 970 to 14 314 computations (70.2% saved)

localize36.9s (8.6%)

Memory
-27.8MiB live, 47 318.8MiB allocated
Samples
11.1s970×5exit
7.2s21 002×0valid
3.6s4 305×1valid
2.5s4 834×0invalid
1.2s864×2valid
169.0ms102×3valid
162.0ms21×4valid
146.0ms258×0exit
80.0ms104×1invalid
39.0ms48×2invalid
2.0ms3×2exit
0.0ms1×1exit
Compiler

Compiled 35 538 to 4 481 computations (87.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.2s
ival-tan: 7.8s (36.6% of total)
ival-mult: 2.7s (12.9% of total)
ival-div: 2.2s (10.3% of total)
ival-sin: 1.8s (8.7% of total)
ival-pow: 1.0s (4.8% of total)
ival-add: 804.0ms (3.8% of total)
ival-sqrt: 740.0ms (3.5% of total)
ival-sub: 731.0ms (3.4% of total)
ival-pow2: 620.0ms (2.9% of total)
adjust: 433.0ms (2% of total)
ival-hypot: 362.0ms (1.7% of total)
ival-log: 353.0ms (1.7% of total)
ival-cos: 348.0ms (1.6% of total)
ival-exp: 274.0ms (1.3% of total)
...in/eval/compile.rkt:105:19: 197.0ms (0.9% of total)
ival-log1p: 182.0ms (0.9% of total)
ival-asin: 109.0ms (0.5% of total)
ival-cbrt: 84.0ms (0.4% of total)
ival-expm1: 76.0ms (0.4% of total)
ival-acos: 74.0ms (0.3% of total)
ival-neg: 72.0ms (0.3% of total)
ival-pi: 55.0ms (0.3% of total)
...in/eval/compile.rkt:104:19: 52.0ms (0.2% of total)
ival-atan: 34.0ms (0.2% of total)
ival-true: 29.0ms (0.1% of total)
ival-assert: 14.0ms (0.1% of total)
ival-fabs: 9.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-e: 2.0ms (0% of total)

rewrite34.1s (8%)

Memory
223.4MiB live, 32 905.4MiB allocated
Algorithm
127×batch-egg-rewrite
Rules
69 208×log1p-expm1-u
49 727×expm1-log1p-u
34 022×add-exp-log
33 603×pow1
33 598×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1 925 → 52 071

prune28.3s (6.6%)

Memory
-819.6MiB live, 47 133.7MiB allocated
Counts
116 631 → 3 447
Compiler

Compiled 154 424 to 86 205 computations (44.2% saved)

eval24.7s (5.8%)

Memory
520.4MiB live, 34 677.4MiB allocated
Compiler

Compiled 3 741 189 to 489 184 computations (86.9% saved)

regimes19.3s (4.5%)

Memory
127.1MiB live, 28 666.6MiB allocated
Counts
11 834 → 767
Calls

156 calls:

1.3s
l
1.1s
t
1.0s
k
788.0ms
m
523.0ms
h
Compiler

Compiled 8 653 to 6 409 computations (25.9% saved)

series17.3s (4%)

Memory
282.3MiB live, 22 568.7MiB allocated
Counts
1 925 → 44 217
Calls

12078 calls:

TimeVariablePointExpression
262.0ms
Om
@-inf
(sqrt (+ 1/2 (* 1/2 (/ 1 (* 2 (* (/ l Om) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))))))
246.0ms
Vef
@-inf
(/ NaChar (- (+ 2 (+ (/ EAccept KbT) (+ (/ Ev KbT) (/ Vef KbT)))) (/ mu KbT)))
237.0ms
mu
@0
(+ (/ NdChar (+ 1 (exp (/ Vef KbT)))) (/ NaChar (+ 1 (exp (/ (- (+ Ev Vef) mu) KbT)))))
216.0ms
w
@inf
(* (/ (log (pow (pow (exp M) c0) (sqrt -1))) w) -1/2)
197.0ms
M
@-inf
(* (/ (log (pow (pow (exp M) c0) (sqrt -1))) w) -1/2)

bsearch12.4s (2.9%)

Memory
209.4MiB live, 16 849.4MiB allocated
Algorithm
336×binary-search
76×left-value
Stop Event
327×narrow-enough
9×predicate-same
Samples
6.8s38 387×0valid
988.0ms5 310×0invalid
384.0ms1 181×1valid
272.0ms708×2valid
69.0ms132×3valid
33.0ms56×4valid
26.0ms147×1invalid
25.0ms90×2invalid
Compiler

Compiled 101 229 to 73 851 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 1.4s (21.7% of total)
ival-div: 1.3s (19.6% of total)
ival-sin: 769.0ms (11.7% of total)
ival-add: 534.0ms (8.1% of total)
ival-tan: 529.0ms (8.1% of total)
ival-pow: 479.0ms (7.3% of total)
ival-sub: 447.0ms (6.8% of total)
ival-pow2: 283.0ms (4.3% of total)
ival-exp: 154.0ms (2.3% of total)
ival-neg: 136.0ms (2.1% of total)
adjust: 130.0ms (2% of total)
ival-sqrt: 115.0ms (1.8% of total)
ival-cos: 94.0ms (1.4% of total)
ival-fabs: 47.0ms (0.7% of total)
ival-true: 34.0ms (0.5% of total)
...in/eval/compile.rkt:104:19: 29.0ms (0.4% of total)
...in/eval/compile.rkt:105:19: 27.0ms (0.4% of total)
ival-assert: 18.0ms (0.3% of total)
ival-atan: 14.0ms (0.2% of total)
ival-log: 5.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 2.0ms (0% of total)
ival-hypot: 2.0ms (0% of total)

explain10.3s (2.4%)

Memory
40.2MiB live, 14 231.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4790
-.f64#fcancellation4651
cos.f64#fsensitivity4130
*.f64#fn*o2540
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2530
+.f64#fnan-rescue2100
sqrt.f64#fuflow-rescue1740
pow.f64#foflow-rescue1390
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1380
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1240
-.f64#fnan-rescue1240
*.f64#fu*o1150
/.f64#fo/o800
*.f64#fn*u650
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity6416
*.f64#fo*u630
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue620
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow62
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow62
↳(*.f64 K (+.f64 m n))overflow62
+.f64#fcancellation600
/.f64#fo/n580
/.f64#fu/u510
pow.f64#fuflow-rescue500
/.f64#fn/o460
/.f64#fn/u290
/.f64#fu/n140
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity70
exp.f64#fsensitivity20
tan.f64(tan.f64 (*.f64 (PI.f64) l))oflow-rescue10
↳(*.f64 (PI.f64) l)overflow1
Confusion
Predicted +Predicted -
+199539
-11095049
Precision
0.6427190721649485
Recall
0.9808259587020649
Confusion?
Predicted +Predicted MaybePredicted -
+1995039
-1109175032
Precision?
0.6392181992950977
Recall?
0.9808259587020649
Freqs
test
numberfreq
05088
12722
2335
340
47
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
1.9s13 042×0valid
1.0s2 644×1valid
435.0ms448×2valid
155.0ms196×3valid
26.0ms40×4valid
9.0ms14×5exit
Compiler

Compiled 8 430 to 2 164 computations (74.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-tan: 468.0ms (19.2% of total)
ival-mult: 460.0ms (18.9% of total)
ival-div: 291.0ms (11.9% of total)
ival-sin: 182.0ms (7.5% of total)
ival-add: 147.0ms (6% of total)
ival-sub: 145.0ms (5.9% of total)
ival-exp: 114.0ms (4.7% of total)
ival-pow2: 110.0ms (4.5% of total)
ival-sqrt: 97.0ms (4% of total)
adjust: 86.0ms (3.5% of total)
ival-neg: 85.0ms (3.5% of total)
ival-pow: 64.0ms (2.6% of total)
ival-cos: 60.0ms (2.5% of total)
ival-pi: 20.0ms (0.8% of total)
ival-hypot: 16.0ms (0.7% of total)
ival-acos: 16.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
ival-log: 14.0ms (0.6% of total)
...in/eval/compile.rkt:104:19: 13.0ms (0.5% of total)
...in/eval/compile.rkt:105:19: 10.0ms (0.4% of total)
ival-asin: 9.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

preprocess9.7s (2.3%)

Memory
-123.0MiB live, 9 830.6MiB allocated
Algorithm
32×egg-herbie
Rules
20 054×fma-define
13 409×fmm-def
8 518×times-frac
7 224×distribute-lft-in
7 153×unsub-neg
Stop Event
23×node limit
9×saturated
Compiler

Compiled 49 066 to 20 492 computations (58.2% saved)

analyze8.8s (2.1%)

Memory
-196.5MiB live, 11 617.0MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.8%26.5%65.5%1.8%0%6.2%0%3
33.1%29.6%60%1.8%0%8.6%0%4
36.2%32.3%56.8%1.8%0%9.2%0%5
40.6%36.1%52.9%1.8%0%9.3%0%6
45.8%40.6%48.1%1.8%0%9.5%0%7
48.3%42.1%45%1.8%0%11.1%0%8
51.5%44.7%42%1.8%0%11.6%0%9
52.7%45.5%40.8%1.8%0%11.9%0%10
54.5%46.8%39%1.8%0%12.5%0%11
56.2%47.9%37.4%1.8%0%12.9%0%12
Compiler

Compiled 793 to 574 computations (27.6% saved)

end0.0ms (0%)

Memory
0.7MiB live, 0.6MiB allocated

Profiling

Loading profile data...