Herbie run

Date:Monday, October 21st, 2024
Commit:15c1caf3 on main
Hostname:nightly with Racket 8.10
Seed:2024295
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce: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)

sample1.4min (25.5%)

Memory
385.7MiB live, 90 652.8MiB allocated
Samples
33.1s225 319×0valid
9.6s65 353×0invalid
7.3s23 082×1valid
3.9s9 577×2valid
3.7s12 603×1invalid
2.5s6 209×3valid
433.0ms1 831×1exit
214.0ms552×2invalid
27.0ms237×0exit
2.0ms5×4valid
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 46.5s
ival-mult: 11.8s (25.4% of total)
ival-div: 7.8s (16.7% of total)
ival-sub: 3.7s (8% of total)
ival-add: 2.7s (5.8% of total)
ival-sqrt: 2.5s (5.4% of total)
ival-pow2: 2.5s (5.4% of total)
ival-pow: 2.3s (4.8% of total)
ival-exp: 2.2s (4.8% of total)
adjust: 2.1s (4.4% of total)
ival-sin: 2.0s (4.4% of total)
ival-cos: 980.0ms (2.1% of total)
ival-tan: 857.0ms (1.8% of total)
ival-log: 749.0ms (1.6% of total)
ival-acos: 690.0ms (1.5% of total)
ival-neg: 677.0ms (1.5% of total)
const: 501.0ms (1.1% of total)
ival-hypot: 462.0ms (1% of total)
ival-pi: 454.0ms (1% of total)
exact: 341.0ms (0.7% of total)
ival-true: 267.0ms (0.6% of total)
ival-asin: 237.0ms (0.5% of total)
ival-tanu: 183.0ms (0.4% of total)
ival-assert: 140.0ms (0.3% of total)
ival-fabs: 132.0ms (0.3% of total)
ival-<: 131.0ms (0.3% of total)
ival-atan: 102.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify46.6s (14.6%)

Memory
757.5MiB live, 46 339.2MiB allocated
Algorithm
286×egg-herbie
Stop Event
381×iter limit
218×node limit
68×saturated
Counts
14 794 → 14 717

soundness40.1s (12.6%)

Memory
-121.1MiB live, 27 493.4MiB allocated
Stop Event
262×iter limit
178×node limit
29×fuel
3×done
Compiler

Compiled 68 147 to 28 400 computations (58.3% saved)

rewrite29.2s (9.1%)

Memory
1.3MiB live, 31 103.6MiB allocated
Stop Event
255×iter limit
127×node limit
Counts
2 418 → 94 046

localize25.4s (8%)

Memory
-280.4MiB live, 29 512.9MiB allocated
Samples
10.0s24 083×0valid
3.7s3 683×1valid
2.0s1 659×2valid
1.5s829×3valid
859.0ms163×5exit
740.0ms1 872×0invalid
64.0ms35×3exit
55.0ms119×0exit
50.0ms65×2exit
33.0ms3×4valid
1.0ms1×1exit
Compiler

Compiled 101 109 to 11 569 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
ival-mult: 3.6s (26.3% of total)
ival-div: 2.1s (15.1% of total)
ival-add: 1.1s (8.2% of total)
adjust: 849.0ms (6.2% of total)
ival-cos: 782.0ms (5.7% of total)
ival-sub: 737.0ms (5.4% of total)
ival-sqrt: 684.0ms (5% of total)
ival-pow2: 652.0ms (4.8% of total)
ival-pow: 591.0ms (4.3% of total)
ival-acos: 404.0ms (2.9% of total)
ival-log: 340.0ms (2.5% of total)
ival-sin: 308.0ms (2.2% of total)
const: 258.0ms (1.9% of total)
ival-exp: 256.0ms (1.9% of total)
ival-tan: 244.0ms (1.8% of total)
ival-asin: 208.0ms (1.5% of total)
ival-neg: 194.0ms (1.4% of total)
ival-hypot: 98.0ms (0.7% of total)
exact: 66.0ms (0.5% of total)
ival-pi: 44.0ms (0.3% of total)
ival-atan: 34.0ms (0.2% of total)
ival-expm1: 30.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-tanu: 28.0ms (0.2% of total)
ival-tanh: 26.0ms (0.2% of total)
ival-assert: 14.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cbrt: 10.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-cosh: 6.0ms (0% of total)

regimes21.6s (6.8%)

Memory
-10.1MiB live, 26 677.1MiB allocated
Counts
11 215 → 790
Calls

156 calls:

1.2s
l
1.1s
t
644.0ms
d
634.0ms
k
516.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))
Compiler

Compiled 12 733 to 13 506 computations (-6.1% saved)

eval20.5s (6.4%)

Memory
-9.8MiB live, 26 631.8MiB allocated
Compiler

Compiled 4 826 153 to 461 675 computations (90.4% saved)

series11.2s (3.5%)

Memory
-355.5MiB live, 13 639.6MiB allocated
Counts
2 418 → 14 794
Calls

1197 calls:

TimeVariablePointExpression
183.0ms
f
@-inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (* (/ (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)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (pow (exp (PI)) 1/2) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2))))) (neg (* (* f (PI)) 3/4)) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (/ 4 (PI)) f) (sqrt (PI)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2)) (exp (PI)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2)))))
183.0ms
k
@-inf
((/ 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 (cos k)) (/ 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 l) k) (* (/ k l) k)) t) (* (/ k l) k) (/ 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)) (* (/ (pow k 4) l) (/ t l)) (/ (pow k 4) l) (exp (* (log (/ k 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)) (* (* (* k k) (exp (* (log (/ k l)) 2))) t) (/ 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)) (* (* (* (pow (sin k) 2) t) k) k) (* (* (pow (sin k) 2) t) k) (* t (* (/ (pow (sin k) 2) l) k)) (/ (pow (sin k) 2) l) (* (/ (/ k (cos k)) l) (* t (* (/ (pow (sin k) 2) l) k))) (* (* (/ k l) k) (* (/ k l) k)) (log (/ k l)) (* (* k k) (exp (* (log (/ k l)) 2))) (/ (* (* (* (pow (sin k) 2) t) k) k) (* l (* (cos k) l))) (* (pow (sin k) 2) t) (pow (sin k) 2))
142.0ms
f
@inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (* (/ (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)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (pow (exp (PI)) 1/2) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2))))) (neg (* (* f (PI)) 3/4)) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (/ 4 (PI)) f) (sqrt (PI)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2)) (exp (PI)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (neg (* (* f (PI)) 3/4))) (exp (* (* f (PI)) 3/4))) (* (* (+ (- (exp (neg (* (* f (PI)) 1/2))) 1) (pow (pow (exp (PI)) 1/2) f)) (sinh (* f (* 1/4 (PI))))) 2)))))
115.0ms
h
@0
((pow (/ d h) (/ 1 2)) (/ 1 2) (* -1/2 (* (* (/ 1/2 d) D) M)) (* (* (pow (/ d h) (/ 1 2)) (sqrt (/ d l))) (+ (* (* -1/2 (* (* (/ 1/2 d) D) M)) (* (* (/ D d) 1/2) (* M (/ h l)))) 1)) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (/ d (sqrt (* l h))) (sqrt (* l h)) (* l h) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (/ (+ (* (* (* (* M M) -1/8) (/ (* D D) d)) (sqrt (* l h))) (* (sqrt (/ (pow l 3) h)) d)) (* l l)) (+ (* (* (* (* M M) -1/8) (/ (* D D) d)) (sqrt (* l h))) (* (sqrt (/ (pow l 3) h)) d)) (* (* (* M M) -1/8) (* (/ (* D D) d) (sqrt (* l h)))) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (* (* M M) (* (/ (* D D) d) -1/8)) (sqrt (/ h (pow l 3)))) (* (* M M) (* (/ (* D D) d) -1/8)) (* M M) (exp (* (log (* l h)) -1/2)) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (exp (* (log (* l h)) -1/2)) d) (* (log (* l h)) -1/2) (sqrt (/ d l)) (* (* (/ D d) 1/2) (* M (/ h l))) (* M (/ h l)) (sqrt (/ h (pow l 3))) (log (* l h)))
86.0ms
k
@inf
((* (/ (pow k m) (+ (* (+ k 10) k) 1)) a) (/ (pow k m) (+ (* (+ k 10) k) 1)) (pow k m) (+ (* (+ k 10) k) 1) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1) (+ 10 k) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* (/ (/ a k) k) (pow k m)) (/ (/ a k) k) (/ a k) (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (/ (* a (pow k m)) (/ (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (- (+ (* k k) 1) (* k 10)))) (- (+ (* k k) 1) (* k 10)) (+ k 10) (* k k) (/ (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (- (+ (* k k) 1) (* k 10))))

preprocess10.4s (3.3%)

Memory
456.3MiB live, 9 616.2MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 90 361 to 22 003 computations (75.6% saved)

explain9.8s (3.1%)

Memory
-472.4MiB live, 11 419.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4900
-.f64#fcancellation4430
cos.f64#fsensitivity3960
+.f64#fnan-rescue2770
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))))sensitivity2551
*.f64#fn*o2390
sqrt.f64#fuflow-rescue1580
pow.f64#foflow-rescue1400
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)))))))sensitivity1221
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1200
*.f64#fu*o1180
-.f64#fnan-rescue1140
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9826
/.f64#fo/o850
+.f64#fcancellation720
*.f64#fo*u660
*.f64#fn*u550
/.f64#fu/u520
/.f64#fo/n500
pow.f64#fuflow-rescue470
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue450
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow45
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow45
↳(*.f64 K (+.f64 m n))overflow45
/.f64#fn/o410
/.f64#fn/u260
/.f64#fu/n130
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))))))sensitivity100
exp.f64#fsensitivity24
tan.f64(tan.f64 (*.f64 (PI.f64) l))oflow-rescue10
↳(*.f64 (PI.f64) l)overflow1
Confusion
Predicted +Predicted -
+194341
-11415067
Precision
0.6300259403372244
Recall
0.9793346774193549
Confusion?
Predicted +Predicted MaybePredicted -
+1943140
-1141275040
Precision?
0.6246786632390745
Recall?
0.9798387096774194
Freqs
test
numberfreq
05108
12683
2357
338
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-006
Precision?
1.0
Recall?
1.0
Samples
2.1s13 346×0valid
704.0ms1 870×1valid
371.0ms744×2valid
151.0ms410×3valid
8.0ms14×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 554.0ms (24.3% of total)
ival-div: 375.0ms (16.5% of total)
ival-add: 186.0ms (8.2% of total)
adjust: 161.0ms (7.1% of total)
ival-pow2: 149.0ms (6.5% of total)
ival-sub: 137.0ms (6% of total)
ival-exp: 124.0ms (5.4% of total)
ival-sin: 104.0ms (4.6% of total)
ival-sqrt: 98.0ms (4.3% of total)
ival-pow: 84.0ms (3.7% of total)
ival-cos: 64.0ms (2.8% of total)
ival-tan: 43.0ms (1.9% of total)
ival-acos: 29.0ms (1.3% of total)
ival-neg: 25.0ms (1.1% of total)
ival-pi: 22.0ms (1% of total)
ival-hypot: 22.0ms (1% of total)
exact: 19.0ms (0.8% of total)
ival-true: 16.0ms (0.7% of total)
ival-log: 15.0ms (0.7% of total)
ival-tanu: 13.0ms (0.6% of total)
ival-asin: 11.0ms (0.5% of total)
ival-atan: 10.0ms (0.4% of total)
const: 9.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

analyze9.2s (2.9%)

Memory
188.5MiB live, 11 028.6MiB 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)

prune8.3s (2.6%)

Memory
-83.3MiB live, 12 146.1MiB allocated
Counts
106 558 → 3 190
Compiler

Compiled 273 828 to 144 137 computations (47.4% saved)

bsearch5.4s (1.7%)

Memory
73.8MiB live, 5 559.3MiB allocated
Algorithm
215×left-value
207×binary-search
Stop Event
202×narrow-enough
5×predicate-same
Samples
2.7s15 888×0valid
414.0ms2 260×0invalid
88.0ms399×1valid
61.0ms116×3valid
52.0ms141×2valid
13.0ms70×1invalid
6.0ms21×2invalid
Compiler

Compiled 139 325 to 98 484 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 563.0ms (22.1% of total)
ival-div: 503.0ms (19.8% of total)
ival-pow: 299.0ms (11.7% of total)
ival-add: 248.0ms (9.7% of total)
ival-sub: 225.0ms (8.8% of total)
ival-sin: 146.0ms (5.7% of total)
ival-tan: 129.0ms (5.1% of total)
ival-pow2: 108.0ms (4.2% of total)
ival-exp: 92.0ms (3.6% of total)
ival-neg: 77.0ms (3% of total)
adjust: 47.0ms (1.8% of total)
ival-sqrt: 32.0ms (1.3% of total)
exact: 19.0ms (0.7% of total)
ival-cos: 18.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
ival-assert: 8.0ms (0.3% of total)
const: 7.0ms (0.3% of total)
ival-atan: 4.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-asin: 2.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
3.1MiB live, 3.1MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated

Profiling

Loading profile data...