Herbie run

Date:Wednesday, October 2nd, 2024
Commit:913204d2 on artem-batch-finish-rewrite
Hostname:nightly with Racket 8.10
Seed:2024276
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: 6.0min)

sample1.4min (22.7%)

Memory
-330.1MiB live, 100 157.8MiB allocated
Samples
33.4s225 459×0valid
9.3s66 112×0invalid
7.7s22 843×1valid
4.5s12 312×1invalid
3.4s9 625×2valid
2.9s6 262×3valid
352.0ms1 815×1exit
237.0ms538×2invalid
40.0ms231×0exit
1.0ms3×4valid
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 47.1s
ival-mult: 11.4s (24.3% of total)
ival-div: 7.2s (15.4% of total)
ival-sub: 3.4s (7.3% of total)
ival-add: 2.8s (5.9% of total)
ival-pow2: 2.7s (5.7% of total)
ival-sqrt: 2.7s (5.7% of total)
adjust: 2.5s (5.4% of total)
ival-exp: 2.4s (5.1% of total)
ival-pow: 2.3s (4.9% of total)
ival-sin: 2.2s (4.6% of total)
ival-tan: 1.1s (2.3% of total)
ival-neg: 982.0ms (2.1% of total)
ival-cos: 974.0ms (2.1% of total)
ival-pi: 740.0ms (1.6% of total)
ival-acos: 668.0ms (1.4% of total)
const: 553.0ms (1.2% of total)
ival-hypot: 480.0ms (1% of total)
ival-log: 425.0ms (0.9% of total)
exact: 358.0ms (0.8% of total)
ival-true: 281.0ms (0.6% of total)
ival-asin: 248.0ms (0.5% of total)
ival-tanu: 174.0ms (0.4% of total)
ival-assert: 150.0ms (0.3% of total)
ival-fabs: 120.0ms (0.3% of total)
ival-atan: 84.0ms (0.2% of total)
ival-<: 49.0ms (0.1% of total)
ival-and: 12.0ms (0% of total)
Bogosity

simplify53.3s (14.7%)

Memory
945.4MiB live, 57 867.7MiB allocated
Algorithm
288×egg-herbie
Stop Event
384×iter limit
225×node limit
63×saturated
Counts
71 028 → 70 521

soundness43.8s (12.1%)

Memory
-84.5MiB live, 31 550.8MiB allocated
Stop Event
282×iter limit
190×node limit
30×fuel
2×done
Compiler

Compiled 63 722 to 26 608 computations (58.2% saved)

eval39.5s (10.9%)

Memory
325.4MiB live, 55 024.0MiB allocated
Compiler

Compiled 9 455 253 to 490 132 computations (94.8% saved)

localize29.2s (8%)

Memory
12.2MiB live, 37 610.4MiB allocated
Samples
10.5s23 068×0valid
4.5s4 156×1valid
3.8s2 057×2valid
1.7s785×3valid
994.0ms2 012×0invalid
221.0ms38×5exit
183.0ms310×0exit
95.0ms124×1exit
66.0ms112×1invalid
56.0ms64×2invalid
46.0ms21×3exit
24.0ms12×4exit
12.0ms9×2exit
Compiler

Compiled 106 560 to 11 940 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.6s
ival-mult: 4.9s (29.7% of total)
ival-div: 2.5s (14.8% of total)
ival-add: 1.4s (8.5% of total)
adjust: 1.1s (6.9% of total)
ival-pow: 947.0ms (5.7% of total)
ival-sub: 863.0ms (5.2% of total)
ival-cos: 799.0ms (4.8% of total)
ival-sqrt: 786.0ms (4.7% of total)
ival-pow2: 491.0ms (3% of total)
const: 452.0ms (2.7% of total)
ival-sin: 439.0ms (2.6% of total)
ival-neg: 312.0ms (1.9% of total)
ival-exp: 298.0ms (1.8% of total)
ival-asin: 245.0ms (1.5% of total)
ival-log: 218.0ms (1.3% of total)
ival-acos: 149.0ms (0.9% of total)
ival-tan: 147.0ms (0.9% of total)
ival-hypot: 135.0ms (0.8% of total)
exact: 73.0ms (0.4% of total)
ival-fabs: 50.0ms (0.3% of total)
ival-atan: 50.0ms (0.3% of total)
ival-pi: 49.0ms (0.3% of total)
ival-true: 33.0ms (0.2% of total)
ival-log1p: 30.0ms (0.2% of total)
ival-tanu: 22.0ms (0.1% of total)
ival-cosh: 21.0ms (0.1% of total)
ival-tanh: 19.0ms (0.1% of total)
ival-sinh: 19.0ms (0.1% of total)
ival-cbrt: 16.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-expm1: 3.0ms (0% of total)

rewrite28.0s (7.7%)

Memory
533.6MiB live, 35 074.3MiB allocated
Stop Event
257×iter limit
128×node limit
Counts
2 473 → 92 786

regimes21.3s (5.9%)

Memory
-127.6MiB live, 28 737.0MiB allocated
Counts
11 914 → 788
Calls

156 calls:

1.2s
l
898.0ms
t
575.0ms
k
542.0ms
h
477.0ms
x
Compiler

Compiled 12 983 to 13 147 computations (-1.3% saved)

series17.6s (4.9%)

Memory
-399.1MiB live, 23 805.1MiB allocated
Counts
2 473 → 71 028
Calls

1200 calls:

TimeVariablePointExpression
160.0ms
F
@0
((* (/ -1 F) (tan (* l (PI)))) (- (* (PI) l) (/ (* (/ -1 F) (tan (* l (PI)))) (neg F))) (* (PI) l) (PI) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (/ 1 (* F F)) (tan (* (PI) l))) (/ (tan (* l (PI))) F) (tan (* l (PI))) (* l (PI)) (exp (* (log F) -2)) (- (* (PI) l) (* (exp (* (log F) -2)) (tan (* (PI) l)))) (tan (* (PI) l)) (/ 1 (* F F)) (+ (* (/ (tan (* l (PI))) F) (/ -1 F)) (* l (PI))) (tan (* (PI) l)) (* (exp (* (log F) -2)) (tan (* (PI) l))))
148.0ms
t
@0
((/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (/ (/ k (cos k)) l) (* t (* (pow (sin k) 2) (/ k l)))) (/ (/ k (cos k)) l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (* (* k k) (* (/ k l) (/ k l))) t) (* k k) (* (* k k) (pow l -1)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (/ (* (* k k) (* (* k k) (pow l -1))) l) t) (exp (- (* (log k) 4) (* (log l) 2))) (- (* (log k) 4) (* (log l) 2)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (/ (/ k (cos k)) l) (* k (/ (* t (pow (sin k) 2)) l))) (* t (* (pow (sin k) 2) (/ k l))) (* (pow (sin k) 2) (/ k l)) (pow (sin k) 2) (* (* k k) (* (/ k l) (/ k l))) (/ (* (* k k) (* (* k k) (pow l -1))) l) (* (exp (- (* (log k) 4) (* (log l) 2))) t) (* k (/ (* t (pow (sin k) 2)) l)) (/ (* t (pow (sin k) 2)) l) (* t (pow (sin k) 2)))
128.0ms
f
@inf
((pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (/ 4 (PI)) (PI) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (PI) f) (+ (* -2 (* (* (* (PI) 2) 2) 1/192)) (* (* 1/16 (PI)) 2)) (/ (PI) 4) (/ 1 (/ (PI) 4)) (* (* (* (PI) 2) 2) 1/192) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (neg (log (tanh (* f (* 1/4 (PI)))))) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (tanh (* f (* 1/4 (PI))))) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI)))))) (* f (* 1/4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (+ (* -2 (* (* (* (PI) 2) 2) 1/192)) (* (* 1/16 (PI)) 2)) f) (sqrt (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))))
113.0ms
kx
@inf
((exp (* (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) 1/2)) (* (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) 1/2) (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* 4 (* l l)) (/ (pow (sin kx) 2) (* Om Om))) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (* 4 (* l l)) (/ (pow (sin kx) 2) (* Om Om))) 1))) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (* l l) 4) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om))) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (* (* l l) 4) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om))) 1))) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (/ (pow (sin kx) 2) (* Om Om)) (+ (* (* 4 (* l l)) (/ (pow (sin kx) 2) (* Om Om))) 1) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (* 2 (/ l Om)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) (+ (* (* (* l l) 4) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om))) 1) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om)) (pow (sin ky) 2))
113.0ms
p
@0
((* (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2) (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2)) (pow (* (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2) (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2)) 1/4) (+ (* (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 1/2) 1/2) (/ x (sqrt (+ (* (* p 4) p) (* x x)))) (sqrt (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))))) (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x)))))) (sqrt (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))))) (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x)))))) (* (/ p x) (/ p x)) (/ p x) (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x)))))) (sqrt (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))))) (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))) (/ x (sqrt (+ (* (* 4 p) p) (* x x)))) (+ (* (/ 1/4 x) (/ (* -12 (pow p 4)) x)) (* p p)) (sqrt (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x))))))) (* 1/2 (+ 1 (/ x (sqrt (+ (* (* 4 p) p) (* x x)))))) (/ (+ (* (/ 1/4 x) (/ (* -12 (pow p 4)) x)) (* p p)) (* x x)) (sqrt (+ (* (* p 4) p) (* x x))) (sqrt (+ (* (* 4 p) p) (* x x))) (+ (* (/ 2 x) (* p p)) x))

prune14.7s (4.1%)

Memory
-741.9MiB live, 23 474.5MiB allocated
Counts
194 150 → 3 284
Compiler

Compiled 285 265 to 144 820 computations (49.2% saved)

preprocess10.5s (2.9%)

Memory
24.9MiB live, 11 333.3MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 89 885 to 22 497 computations (75% saved)

explain9.6s (2.6%)

Memory
-116.5MiB live, 13 051.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4630
sqrt.f64#foflow-rescue4560
cos.f64#fsensitivity4240
*.f64#fn*o2620
+.f64#fnan-rescue2560
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))))sensitivity2520
sqrt.f64#fuflow-rescue1650
pow.f64#foflow-rescue1340
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)))))))sensitivity1310
-.f64#fnan-rescue1280
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1210
*.f64#fu*o1170
/.f64#fo/o880
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8529
+.f64#fcancellation670
*.f64#fo*u660
*.f64#fn*u590
pow.f64#fuflow-rescue570
/.f64#fu/u560
/.f64#fo/n510
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue480
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow48
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow48
↳(*.f64 K (+.f64 m n))overflow48
/.f64#fn/o310
/.f64#fn/u250
/.f64#fu/n200
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))))))sensitivity50
Confusion
Predicted +Predicted -
+198339
-11215049
Precision
0.6388530927835051
Recall
0.9807121661721068
Confusion?
Predicted +Predicted MaybePredicted -
+1983039
-1121305019
Precision?
0.6327377153797065
Recall?
0.9807121661721068
Freqs
test
numberfreq
05088
12702
2352
340
49
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2400
-107
Precision?
0.96
Recall?
1.0
Samples
2.2s13 376×0valid
918.0ms1 928×1valid
312.0ms682×2valid
196.0ms388×3valid
7.0ms10×5exit
Compiler

Compiled 10 899 to 2 164 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 456.0ms (18.4% of total)
ival-div: 449.0ms (18.1% of total)
ival-add: 226.0ms (9.1% of total)
ival-sub: 187.0ms (7.5% of total)
ival-sin: 141.0ms (5.7% of total)
ival-exp: 136.0ms (5.5% of total)
adjust: 129.0ms (5.2% of total)
ival-sqrt: 108.0ms (4.4% of total)
ival-pow2: 105.0ms (4.2% of total)
ival-pow: 102.0ms (4.1% of total)
ival-acos: 90.0ms (3.6% of total)
ival-cos: 88.0ms (3.6% of total)
ival-tan: 66.0ms (2.7% of total)
ival-neg: 60.0ms (2.4% of total)
ival-hypot: 22.0ms (0.9% of total)
exact: 20.0ms (0.8% of total)
ival-true: 17.0ms (0.7% of total)
ival-pi: 13.0ms (0.5% of total)
ival-log: 12.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
const: 10.0ms (0.4% of total)
ival-asin: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)

analyze8.8s (2.4%)

Memory
290.2MiB live, 11 677.5MiB 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.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch4.1s (1.1%)

Memory
216.4MiB live, 4 785.7MiB allocated
Algorithm
249×left-value
177×binary-search
Stop Event
163×narrow-enough
14×predicate-same
Samples
2.0s12 805×0valid
435.0ms2 260×0invalid
81.0ms277×1valid
17.0ms52×2valid
7.0ms29×1invalid
1.0ms4×2invalid
1.0ms2×3valid
Compiler

Compiled 98 480 to 72 588 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 597.0ms (30.7% of total)
ival-div: 324.0ms (16.6% of total)
ival-add: 171.0ms (8.8% of total)
ival-sin: 161.0ms (8.3% of total)
ival-tan: 140.0ms (7.2% of total)
ival-pow: 128.0ms (6.6% of total)
ival-sub: 101.0ms (5.2% of total)
ival-pow2: 92.0ms (4.7% of total)
ival-exp: 50.0ms (2.6% of total)
ival-neg: 45.0ms (2.3% of total)
ival-cos: 32.0ms (1.6% of total)
ival-sqrt: 32.0ms (1.6% of total)
adjust: 16.0ms (0.8% of total)
exact: 14.0ms (0.7% of total)
ival-true: 13.0ms (0.7% of total)
const: 10.0ms (0.5% of total)
ival-fabs: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
ival-atan: 6.0ms (0.3% of total)

start2.0ms (0%)

Memory
3.1MiB live, 3.5MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...