xlohi (overflows)

Time bar (total: 558.0ms)

start0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze44.0ms (7.9%)

Memory
3.1MiB live, 18.5MiB allocated; 1ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%0.0%100.0%0.0%0.0%0.0%0
0.0%0.0%0.0%100.0%0.0%0.0%0.0%1
0.0%0.0%0.0%100.0%0.0%0.0%0.0%2
25.0%0.0%0.0%100.0%0.0%0.0%0.0%3
25.0%0.0%0.0%100.0%0.0%0.0%0.0%4
37.5%0.0%0.0%100.0%0.0%0.0%0.0%5
56.2%0.0%0.0%100.0%0.0%0.0%0.0%6
56.2%0.0%0.0%100.0%0.0%0.0%0.0%7
65.6%0.0%0.0%100.0%0.0%0.0%0.0%8
76.6%0.0%0.0%100.0%0.0%0.0%0.0%9
76.6%0.0%0.0%100.0%0.0%0.0%0.0%10
82.0%0.0%0.0%100.0%0.0%0.0%0.0%11
87.9%0.0%0.0%100.0%0.0%0.0%0.0%12
Compiler

Compiled 15 to 12 computations (20.0% saved)

sample412.0ms (73.7%)

Memory
4.1MiB live, 165.4MiB allocated; 12ms collecting garbage
Samples
254.0ms8 255×0valid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 89.0ms
ival-sub!: 45.0ms (50.6% of total, 10.1 MiB)
ival-div!: 34.0ms (38.2% of total, 5.0 MiB)
adjust: 5.0ms (5.6% of total, 1.3 MiB)
ival->: 2.0ms (2.2% of total, 0.5 MiB)
ival-<: 2.0ms (2.2% of total, 0.5 MiB)
ival-assert: 1.0ms (1.1% of total, 0.5 MiB)
ival-and: 1.0ms (1.1% of total, 0.6 MiB)
Bogosity

preprocess36.0ms (6.4%)

Memory
-1.6MiB live, 8.4MiB allocated; 1ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02675
113071
260371
3229671
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶3.1%
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Compiler

Compiled 14 to 12 computations (14.3% saved)

rewrite58.0ms (10.3%)

Memory
4.0MiB live, 18.9MiB allocated; 1ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0616
0916
12916
210616
336816
4211216
0425616
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 71
Calls
Call 1
Inputs
x
lo
(-.f64 x lo)
hi
(-.f64 hi lo)
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Outputs
x
lo
(*.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) (/.f64 #s(literal -1 binary64) (-.f64 lo hi)))
(*.f64 #s(literal -1 binary64) (-.f64 lo x))
(*.f64 #s(literal 1 binary64) (-.f64 x lo))
(*.f64 (-.f64 lo x) #s(literal -1 binary64))
(*.f64 (-.f64 x lo) #s(literal 1 binary64))
(/.f64 (*.f64 (-.f64 x lo) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (-.f64 x lo)) #s(literal 2 binary64))
(/.f64 (*.f64 (-.f64 hi lo) (-.f64 lo x)) (-.f64 lo hi))
(/.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) (-.f64 hi lo))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 hi lo) (*.f64 (-.f64 hi lo) (-.f64 x lo))))
(neg.f64 (-.f64 lo x))
(-.f64 (neg.f64 lo) (neg.f64 x))
(-.f64 x lo)
(+.f64 (*.f64 #s(literal 1 binary64) (neg.f64 lo)) x)
(+.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) x) (+.f64 (*.f64 (/.f64 x (-.f64 hi lo)) hi) (neg.f64 lo)))
(+.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) x) (-.f64 (*.f64 (/.f64 x (-.f64 hi lo)) hi) lo))
(+.f64 (*.f64 (/.f64 x (-.f64 hi lo)) hi) (+.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) x) (neg.f64 lo)))
(+.f64 (*.f64 (/.f64 x (-.f64 hi lo)) hi) (-.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) x) lo))
(+.f64 (neg.f64 lo) x)
(+.f64 (-.f64 x lo) (*.f64 (-.f64 x lo) #s(literal 0 binary64)))
(+.f64 (-.f64 x lo) (*.f64 #s(literal 0 binary64) (-.f64 x lo)))
(+.f64 x (*.f64 #s(literal 1 binary64) (neg.f64 lo)))
(+.f64 x (neg.f64 lo))
hi
(neg.f64 (-.f64 lo hi))
(-.f64 (neg.f64 lo) (neg.f64 hi))
(-.f64 hi lo)
(+.f64 (neg.f64 lo) hi)
(+.f64 hi (neg.f64 lo))
(*.f64 (*.f64 #s(literal 1 binary64) (*.f64 (-.f64 hi lo) (-.f64 x lo))) (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(*.f64 (*.f64 (-.f64 hi lo) (-.f64 lo x)) (/.f64 #s(literal -1 binary64) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 lo hi) (-.f64 lo hi))) (*.f64 (-.f64 hi lo) (-.f64 x lo)))
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 hi lo)) (-.f64 lo x))
(*.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(*.f64 #s(literal -1 binary64) (/.f64 (-.f64 lo x) (-.f64 hi lo)))
(*.f64 (/.f64 #s(literal -1 binary64) (-.f64 lo hi)) (-.f64 x lo))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 lo x) (-.f64 lo hi)))
(*.f64 (-.f64 lo x) (/.f64 #s(literal -1 binary64) (-.f64 hi lo)))
(*.f64 (/.f64 (-.f64 lo x) (-.f64 lo hi)) #s(literal 1 binary64))
(*.f64 (-.f64 x lo) (/.f64 #s(literal -1 binary64) (-.f64 lo hi)))
(/.f64 (*.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) #s(literal 1 binary64)) (*.f64 (-.f64 lo hi) (-.f64 lo hi)))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (-.f64 hi lo) (-.f64 lo x))) (*.f64 (-.f64 lo hi) (-.f64 hi lo)))
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 (-.f64 hi lo) (-.f64 x lo))) (*.f64 (-.f64 lo hi) (-.f64 lo hi)))
(/.f64 (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 lo x) (-.f64 lo hi))) #s(literal 2 binary64))
(/.f64 (/.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) (fabs.f64 (-.f64 lo hi))) (fabs.f64 (-.f64 lo hi)))
(/.f64 (+.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) (-.f64 lo hi)) (neg.f64 x)) (-.f64 lo hi))
(/.f64 (+.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) (-.f64 hi lo)) x) (-.f64 hi lo))
(/.f64 (-.f64 (*.f64 (/.f64 x (-.f64 hi lo)) (*.f64 (-.f64 lo hi) (-.f64 lo hi))) (*.f64 (-.f64 hi lo) lo)) (*.f64 (-.f64 lo hi) (-.f64 lo hi)))
(/.f64 (-.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) (-.f64 hi lo)) (neg.f64 x)) (-.f64 hi lo))
(/.f64 (-.f64 (*.f64 (/.f64 lo (-.f64 lo hi)) (-.f64 lo hi)) x) (-.f64 lo hi))
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 hi lo) x) (*.f64 (-.f64 lo hi) (-.f64 lo hi))) (*.f64 (*.f64 (-.f64 lo hi) (-.f64 lo hi)) (*.f64 (-.f64 hi lo) lo))) (*.f64 (*.f64 (-.f64 lo hi) (-.f64 lo hi)) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 hi lo) (-.f64 lo x))) (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 lo hi) (-.f64 hi lo))))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 hi lo) (-.f64 x lo))) (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(/.f64 (*.f64 #s(literal 2 binary64) (-.f64 lo x)) (*.f64 #s(literal 2 binary64) (-.f64 lo hi)))
(/.f64 (*.f64 #s(literal 2 binary64) (-.f64 x lo)) (*.f64 #s(literal 2 binary64) (-.f64 hi lo)))
(/.f64 (*.f64 (-.f64 hi lo) (-.f64 lo x)) (*.f64 (-.f64 lo hi) (-.f64 hi lo)))
(/.f64 (*.f64 (-.f64 hi lo) (-.f64 x lo)) (*.f64 (-.f64 lo hi) (-.f64 lo hi)))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 lo hi) (-.f64 hi lo)) (*.f64 (-.f64 hi lo) (-.f64 lo x))))
(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 lo hi) (-.f64 lo hi)) (*.f64 (-.f64 hi lo) (-.f64 x lo))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 lo hi) (-.f64 lo x)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 hi lo) (-.f64 x lo)))
(/.f64 (-.f64 lo x) (-.f64 lo hi))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(neg.f64 (/.f64 (-.f64 lo x) (-.f64 hi lo)))
(-.f64 (/.f64 lo (-.f64 lo hi)) (/.f64 x (-.f64 lo hi)))
(-.f64 (/.f64 x (-.f64 hi lo)) (/.f64 lo (-.f64 hi lo)))
(+.f64 (/.f64 lo (-.f64 lo hi)) (/.f64 x (-.f64 hi lo)))
(+.f64 (/.f64 x (-.f64 hi lo)) (/.f64 (*.f64 (-.f64 lo hi) lo) (*.f64 (-.f64 lo hi) (-.f64 lo hi))))
(+.f64 (/.f64 x (-.f64 hi lo)) (/.f64 lo (-.f64 lo hi)))

eval3.0ms (0.6%)

Memory
-4.1MiB live, 3.4MiB allocated; 1ms collecting garbage
Compiler

Compiled 891 to 164 computations (81.6% saved)

prune1.0ms (0.2%)

Memory
1.3MiB live, 1.3MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New66066
Fresh000
Picked011
Done000
Total66167
Accuracy
3.1%
Counts
67 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓3.1%
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Compiler

Compiled 14 to 12 computations (14.3% saved)

derivations0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 7 to 6 computations (14.3% saved)

preprocess5.0ms (0.8%)

Memory
4.3MiB live, 4.3MiB allocated; 0ms collecting garbage
Compiler

Compiled 14 to 12 computations (14.3% saved)

end0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...