xlohi (overflows)

Time bar (total: 1.8s)

start0.0ms (0%)

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

analyze50.0ms (2.8%)

Memory
-24.2MiB live, 65.5MiB allocated; 10ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
25%0%0%100%0%0%0%3
25%0%0%100%0%0%0%4
37.5%0%0%100%0%0%0%5
56.2%0%0%100%0%0%0%6
56.2%0%0%100%0%0%0%7
65.6%0%0%100%0%0%0%8
76.6%0%0%100%0%0%0%9
76.6%0%0%100%0%0%0%10
82%0%0%100%0%0%0%11
87.9%0%0%100%0%0%0%12
Compiler

Compiled 15 to 12 computations (20% saved)

sample842.0ms (46.5%)

Memory
42.1MiB live, 550.6MiB allocated; 706ms collecting garbage
Samples
587.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 92.0ms
ival-sub!: 45.0ms (49% of total)
ival-div!: 40.0ms (43.6% of total)
ival->: 2.0ms (2.2% of total)
ival-<: 2.0ms (2.2% of total)
ival-and: 1.0ms (1.1% of total)
adjust: 1.0ms (1.1% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

preprocess78.0ms (4.3%)

Memory
-26.4MiB live, 18.0MiB allocated; 13ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02681
16981
217081
353679
4166779
5567579
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 12 to 12 computations (0% saved)

series12.0ms (0.7%)

Memory
9.2MiB live, 9.2MiB allocated; 0ms collecting garbage
Counts
6 → 46
Calls
Call 1
Inputs
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(-.f64 x lo)
x
lo
(-.f64 hi lo)
hi
Outputs
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ x hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (* lo (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* lo (- (* -1 (* lo (+ (* -1 (/ x (pow hi 3))) (/ 1 (pow hi 2))))) (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* lo (- (* lo (- (* -1 (* lo (+ (* -1 (/ x (pow hi 4))) (/ 1 (pow hi 3))))) (+ (* -1 (/ x (pow hi 3))) (/ 1 (pow hi 2))))) (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (- x lo) #s(hole binary64 x))
#s(approx (- x lo) #s(hole binary64 (+ x (* -1 lo))))
#s(approx lo #s(hole binary64 lo))
#s(approx (- hi lo) #s(hole binary64 hi))
#s(approx (- hi lo) #s(hole binary64 (+ hi (* -1 lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 1))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (* -1 (/ x lo))) (* -1 (/ hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (+ (* -1 (/ x lo)) (/ (* hi (- (* -1 x) (* -1 hi))) (pow lo 2)))) (* -1 (/ hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (+ (* -1 (/ x lo)) (/ (* (pow hi 2) (- (* -1 x) (* -1 hi))) (pow lo 3)))) (+ (* -1 (/ hi lo)) (* -1 (/ (* hi (- (* -1 x) (* -1 hi))) (pow lo 2)))))))
#s(approx (- x lo) #s(hole binary64 (* -1 lo)))
#s(approx (- x lo) #s(hole binary64 (* lo (- (/ x lo) 1))))
#s(approx (- hi lo) #s(hole binary64 (* -1 lo)))
#s(approx (- hi lo) #s(hole binary64 (* lo (- (/ hi lo) 1))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- x hi) lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- (+ x (/ (* hi (- x hi)) lo)) hi) lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (* -1 (/ (* (pow hi 2) (- x hi)) lo)) (* hi (- x hi))) lo))) hi) lo)))))
#s(approx (- x lo) #s(hole binary64 (* -1 (* lo (+ 1 (* -1 (/ x lo)))))))
#s(approx (- hi lo) #s(hole binary64 (* -1 (* lo (+ 1 (* -1 (/ hi lo)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (- x lo) lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (/ 1 lo) (/ x (pow lo 2)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo)) (/ x (pow lo 2)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (* hi (- (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) (pow lo 2)) (* -1 (/ (- (/ 1 lo) (/ x (pow lo 2))) lo)))) (/ 1 lo)) (/ x (pow lo 2)))))))
#s(approx (- hi lo) #s(hole binary64 (- hi lo)))
#s(approx hi #s(hole binary64 hi))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- x lo) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* lo (- x lo)) hi)) lo) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* (pow lo 2) (- x lo)) (pow hi 2))) (+ lo (* -1 (/ (* lo (- x lo)) hi)))) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* (pow lo 3) (- x lo)) (pow hi 3))) (+ lo (+ (* -1 (/ (* lo (- x lo)) hi)) (* -1 (/ (* (pow lo 2) (- x lo)) (pow hi 2)))))) hi)))
#s(approx (- hi lo) #s(hole binary64 (* hi (+ 1 (* -1 (/ lo hi))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (* lo (- x lo)) hi))) hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (+ (* lo (- x lo)) (/ (* (pow lo 2) (- x lo)) hi)) hi))) hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow lo 2) (- x lo))) (* -1 (/ (* (pow lo 3) (- x lo)) hi))) hi)) (* lo (- x lo))) hi))) hi))))
#s(approx (- hi lo) #s(hole binary64 (* -1 (* hi (- (/ lo hi) 1)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ lo (- hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ lo (- hi lo))) (/ x (- hi lo)))))
#s(approx (- x lo) #s(hole binary64 (- x lo)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ x (- hi lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* x (+ (* -1 (/ lo (* x (- hi lo)))) (/ 1 (- hi lo))))))
#s(approx (- x lo) #s(hole binary64 (* x (+ 1 (* -1 (/ lo x))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (* x (- (/ lo (* x (- hi lo))) (/ 1 (- hi lo)))))))
#s(approx (- x lo) #s(hole binary64 (* -1 (* x (- (/ lo x) 1)))))
Calls

9 calls:

TimeVariablePointExpression
2.0ms
hi
@inf
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)
2.0ms
lo
@inf
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)
2.0ms
lo
@-inf
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)
1.0ms
lo
@0
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)
1.0ms
hi
@0
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)

rewrite806.0ms (44.5%)

Memory
-10.9MiB live, 331.5MiB allocated; 176ms collecting garbage
Counts
52 → 172
Calls
Call 1
Inputs
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(-.f64 x lo)
x
lo
(-.f64 hi lo)
hi
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ x hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (* lo (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* lo (- (* -1 (* lo (+ (* -1 (/ x (pow hi 3))) (/ 1 (pow hi 2))))) (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* lo (- (* lo (- (* -1 (* lo (+ (* -1 (/ x (pow hi 4))) (/ 1 (pow hi 3))))) (+ (* -1 (/ x (pow hi 3))) (/ 1 (pow hi 2))))) (+ (* -1 (/ x (pow hi 2))) (/ 1 hi)))) (/ x hi))))
#s(approx (- x lo) #s(hole binary64 x))
#s(approx (- x lo) #s(hole binary64 (+ x (* -1 lo))))
#s(approx lo #s(hole binary64 lo))
#s(approx (- hi lo) #s(hole binary64 hi))
#s(approx (- hi lo) #s(hole binary64 (+ hi (* -1 lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 1))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (* -1 (/ x lo))) (* -1 (/ hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (+ (* -1 (/ x lo)) (/ (* hi (- (* -1 x) (* -1 hi))) (pow lo 2)))) (* -1 (/ hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (- (+ 1 (+ (* -1 (/ x lo)) (/ (* (pow hi 2) (- (* -1 x) (* -1 hi))) (pow lo 3)))) (+ (* -1 (/ hi lo)) (* -1 (/ (* hi (- (* -1 x) (* -1 hi))) (pow lo 2)))))))
#s(approx (- x lo) #s(hole binary64 (* -1 lo)))
#s(approx (- x lo) #s(hole binary64 (* lo (- (/ x lo) 1))))
#s(approx (- hi lo) #s(hole binary64 (* -1 lo)))
#s(approx (- hi lo) #s(hole binary64 (* lo (- (/ hi lo) 1))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- x hi) lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- (+ x (/ (* hi (- x hi)) lo)) hi) lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (* -1 (/ (* (pow hi 2) (- x hi)) lo)) (* hi (- x hi))) lo))) hi) lo)))))
#s(approx (- x lo) #s(hole binary64 (* -1 (* lo (+ 1 (* -1 (/ x lo)))))))
#s(approx (- hi lo) #s(hole binary64 (* -1 (* lo (+ 1 (* -1 (/ hi lo)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (- x lo) lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (/ 1 lo) (/ x (pow lo 2)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo)) (/ x (pow lo 2)))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (* hi (- (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) (pow lo 2)) (* -1 (/ (- (/ 1 lo) (/ x (pow lo 2))) lo)))) (/ 1 lo)) (/ x (pow lo 2)))))))
#s(approx (- hi lo) #s(hole binary64 (- hi lo)))
#s(approx hi #s(hole binary64 hi))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- x lo) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* lo (- x lo)) hi)) lo) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* (pow lo 2) (- x lo)) (pow hi 2))) (+ lo (* -1 (/ (* lo (- x lo)) hi)))) hi)))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ (- (+ x (/ (* (pow lo 3) (- x lo)) (pow hi 3))) (+ lo (+ (* -1 (/ (* lo (- x lo)) hi)) (* -1 (/ (* (pow lo 2) (- x lo)) (pow hi 2)))))) hi)))
#s(approx (- hi lo) #s(hole binary64 (* hi (+ 1 (* -1 (/ lo hi))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (* lo (- x lo)) hi))) hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (+ (* lo (- x lo)) (/ (* (pow lo 2) (- x lo)) hi)) hi))) hi))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ (+ (* -1 (- x lo)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow lo 2) (- x lo))) (* -1 (/ (* (pow lo 3) (- x lo)) hi))) hi)) (* lo (- x lo))) hi))) hi))))
#s(approx (- hi lo) #s(hole binary64 (* -1 (* hi (- (/ lo hi) 1)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (/ lo (- hi lo)))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (+ (* -1 (/ lo (- hi lo))) (/ x (- hi lo)))))
#s(approx (- x lo) #s(hole binary64 (- x lo)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (/ x (- hi lo))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* x (+ (* -1 (/ lo (* x (- hi lo)))) (/ 1 (- hi lo))))))
#s(approx (- x lo) #s(hole binary64 (* x (+ 1 (* -1 (/ lo x))))))
#s(approx (/ (- x lo) (- hi lo)) #s(hole binary64 (* -1 (* x (- (/ lo (* x (- hi lo))) (/ 1 (- hi lo)))))))
#s(approx (- x lo) #s(hole binary64 (* -1 (* x (- (/ lo x) 1)))))
Outputs
(*.f64 (/.f64 (+.f64 x lo) (+.f64 x lo)) (/.f64 (-.f64 x lo) (-.f64 hi lo)))
(*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))
(*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (+.f64 hi lo))
(*.f64 (/.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (-.f64 x lo) (-.f64 hi lo)))
(*.f64 (/.f64 (neg.f64 (-.f64 x lo)) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(*.f64 (/.f64 (neg.f64 (-.f64 x lo)) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)))
(*.f64 (+.f64 x lo) (/.f64 (-.f64 x lo) (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(*.f64 (+.f64 hi lo) (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))))
(*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))))
(*.f64 (/.f64 (-.f64 x lo) (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(*.f64 (/.f64 (-.f64 x lo) (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)))
(*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (/.f64 (-.f64 x lo) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))))
(+.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 x lo) (-.f64 hi lo))) (/.f64 (neg.f64 (*.f64 lo lo)) (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(+.f64 (*.f64 lo (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (*.f64 hi (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))))
(+.f64 (*.f64 (fma.f64 lo lo (*.f64 hi hi)) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (*.f64 (*.f64 hi lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(+.f64 (*.f64 (*.f64 (+.f64 hi lo) lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (*.f64 (*.f64 hi hi) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(+.f64 (*.f64 (*.f64 hi hi) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (*.f64 (*.f64 (+.f64 hi lo) lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(+.f64 (*.f64 hi (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (*.f64 lo (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))))
(+.f64 (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) lo) (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) hi))
(+.f64 (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 lo lo (*.f64 hi hi))) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi lo)))
(+.f64 (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (+.f64 hi lo) lo)) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi hi)))
(+.f64 (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi hi)) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (+.f64 hi lo) lo)))
(+.f64 (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) hi) (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) lo))
(+.f64 (/.f64 x (-.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(+.f64 (/.f64 x (-.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(-.f64 (/.f64 x (-.f64 hi lo)) (/.f64 lo (-.f64 hi lo)))
(-.f64 (/.f64 (*.f64 (-.f64 hi lo) x) (*.f64 (-.f64 hi lo) (-.f64 hi lo))) (/.f64 (*.f64 (-.f64 hi lo) lo) (*.f64 (-.f64 hi lo) (-.f64 hi lo))))
(-.f64 (/.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (-.f64 hi lo)) (/.f64 (/.f64 (*.f64 lo lo) (+.f64 x lo)) (-.f64 hi lo)))
(-.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 x lo) (-.f64 hi lo))) (/.f64 (*.f64 lo lo) (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(-.f64 (/.f64 (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo))) (/.f64 (+.f64 x lo) (-.f64 hi lo))) (/.f64 (/.f64 (*.f64 lo lo) (*.f64 (-.f64 hi lo) (-.f64 hi lo))) (/.f64 (+.f64 x lo) (-.f64 hi lo))))
(-.f64 (/.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (-.f64 hi lo)) (/.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (-.f64 hi lo)))
(-.f64 (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))) (/.f64 (*.f64 (*.f64 lo lo) lo) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))))
(-.f64 (/.f64 (pow.f64 (/.f64 x (-.f64 hi lo)) #s(literal 3 binary64)) (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo))))) (/.f64 (pow.f64 (/.f64 lo (-.f64 hi lo)) #s(literal 3 binary64)) (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo))))))
(/.f64 (-.f64 x lo) (-.f64 hi lo))
(/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (*.f64 (+.f64 x lo) (-.f64 hi lo)))
(/.f64 (*.f64 (-.f64 x lo) (+.f64 hi lo)) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))
(/.f64 (-.f64 (neg.f64 x) (neg.f64 lo)) (neg.f64 (-.f64 hi lo)))
(/.f64 (neg.f64 (-.f64 x lo)) (neg.f64 (-.f64 hi lo)))
(/.f64 (-.f64 (*.f64 (-.f64 hi lo) x) (*.f64 (-.f64 hi lo) lo)) (*.f64 (-.f64 hi lo) (-.f64 hi lo)))
(/.f64 (*.f64 (fma.f64 lo lo (*.f64 x x)) (*.f64 (+.f64 x lo) (-.f64 x lo))) (*.f64 (fma.f64 lo lo (*.f64 x x)) (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(/.f64 (*.f64 (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (-.f64 x lo) (-.f64 hi lo))) (/.f64 (+.f64 x lo) (-.f64 hi lo)))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (neg.f64 (-.f64 hi lo))))
(/.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo)) (neg.f64 (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(/.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo)) (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 hi lo)))
(/.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo)) (*.f64 (+.f64 x lo) (neg.f64 (-.f64 hi lo))))
(/.f64 (*.f64 (-.f64 x lo) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi))) (*.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (fma.f64 lo (-.f64 lo hi) (*.f64 hi hi))))
(/.f64 (*.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (-.f64 hi lo)))
(/.f64 (*.f64 (-.f64 x lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))
(/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (*.f64 (neg.f64 (+.f64 x lo)) (neg.f64 (-.f64 hi lo))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo)))
(/.f64 (*.f64 (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo)))) (/.f64 (-.f64 x lo) (-.f64 hi lo))) (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (-.f64 hi lo) x) (*.f64 (-.f64 hi lo) lo))) (neg.f64 (*.f64 (-.f64 hi lo) (-.f64 hi lo))))
(/.f64 (neg.f64 (*.f64 (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (-.f64 x lo) (-.f64 hi lo)))) (neg.f64 (/.f64 (+.f64 x lo) (-.f64 hi lo))))
(/.f64 (-.f64 (*.f64 (neg.f64 x) (-.f64 hi lo)) (*.f64 (neg.f64 (-.f64 hi lo)) lo)) (*.f64 (neg.f64 (-.f64 hi lo)) (-.f64 hi lo)))
(/.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 (-.f64 hi lo))) (*.f64 (neg.f64 (-.f64 hi lo)) (neg.f64 lo))) (*.f64 (-.f64 hi lo) (-.f64 hi lo)))
(/.f64 (-.f64 (*.f64 x (neg.f64 (-.f64 hi lo))) (*.f64 (-.f64 hi lo) (neg.f64 lo))) (*.f64 (-.f64 hi lo) (neg.f64 (-.f64 hi lo))))
(/.f64 (/.f64 (-.f64 (*.f64 (-.f64 hi lo) x) (*.f64 (-.f64 hi lo) lo)) (-.f64 hi lo)) (-.f64 hi lo))
(/.f64 (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 (*.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 hi hi)) hi (pow.f64 (*.f64 (+.f64 hi lo) lo) #s(literal 3 binary64)))) (fma.f64 (*.f64 (+.f64 hi lo) lo) (-.f64 (*.f64 (+.f64 hi lo) lo) (*.f64 hi hi)) (*.f64 (*.f64 hi hi) (*.f64 hi hi))))
(/.f64 (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi))) (fma.f64 lo (-.f64 lo hi) (*.f64 hi hi)))
(/.f64 (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (-.f64 hi lo))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (neg.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (-.f64 hi lo)))
(/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (*.f64 (neg.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (neg.f64 (-.f64 hi lo))))
(/.f64 (-.f64 (pow.f64 x (*.f64 #s(literal 3 binary64) #s(literal 3 binary64))) (pow.f64 lo (*.f64 #s(literal 3 binary64) #s(literal 3 binary64)))) (*.f64 (fma.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x))) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 hi lo))))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) (fma.f64 lo lo (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 x x))) (*.f64 (+.f64 x lo) (-.f64 hi lo))))
(/.f64 (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo)))) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo)))
(/.f64 (*.f64 (-.f64 x lo) (*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo)))) (*.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo))))
(/.f64 (neg.f64 (*.f64 (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo)))) (/.f64 (-.f64 x lo) (-.f64 hi lo)))) (neg.f64 (fma.f64 (/.f64 lo (-.f64 hi lo)) (/.f64 (+.f64 x lo) (-.f64 hi lo)) (/.f64 (*.f64 x x) (*.f64 (-.f64 hi lo) (-.f64 hi lo))))))
(/.f64 (*.f64 (-.f64 x lo) (fma.f64 (*.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 hi hi)) hi (pow.f64 (*.f64 (+.f64 hi lo) lo) #s(literal 3 binary64)))) (*.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (fma.f64 (*.f64 (+.f64 hi lo) lo) (-.f64 (*.f64 (+.f64 hi lo) lo) (*.f64 hi hi)) (*.f64 (*.f64 hi hi) (*.f64 hi hi)))))
(fma.f64 lo (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 hi (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))))
(fma.f64 (fma.f64 lo lo (*.f64 hi hi)) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (*.f64 hi lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(fma.f64 (*.f64 (+.f64 hi lo) lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (*.f64 hi hi) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(fma.f64 (*.f64 hi hi) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (*.f64 (+.f64 hi lo) lo) (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))))
(fma.f64 hi (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 lo (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo)))))
(fma.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) lo (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) hi))
(fma.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 lo lo (*.f64 hi hi)) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi lo)))
(fma.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (+.f64 hi lo) lo) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi hi)))
(fma.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 hi hi) (*.f64 (/.f64 (-.f64 x lo) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (+.f64 hi lo) lo)))
(fma.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) hi (*.f64 (/.f64 (-.f64 x lo) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) lo))
(fma.f64 (/.f64 x (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 x (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (+.f64 hi lo) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 x (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 (neg.f64 x) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 x (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 (neg.f64 x) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (/.f64 x (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (+.f64 hi lo) (/.f64 x (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 (neg.f64 (/.f64 lo (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(fma.f64 (/.f64 x (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (/.f64 x (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (+.f64 hi lo) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (/.f64 x (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (/.f64 (neg.f64 x) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (/.f64 x (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (/.f64 (neg.f64 x) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (neg.f64 (+.f64 hi lo)) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (/.f64 x (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(fma.f64 (+.f64 hi lo) (/.f64 x (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 (neg.f64 (/.f64 lo (*.f64 (+.f64 hi lo) (-.f64 hi lo)))) (+.f64 hi lo)))
(neg.f64 (neg.f64 (/.f64 (-.f64 x lo) (-.f64 hi lo))))
(*.f64 (+.f64 x lo) (/.f64 (-.f64 x lo) (+.f64 x lo)))
(*.f64 (/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x))) (fma.f64 lo (-.f64 lo x) (*.f64 x x)))
(*.f64 (/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (*.f64 (+.f64 x lo) (-.f64 x lo))) (-.f64 x lo))
(*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (/.f64 (-.f64 x lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 x x)) x (pow.f64 (*.f64 (+.f64 x lo) lo) #s(literal 3 binary64)))) (fma.f64 (*.f64 (+.f64 x lo) lo) (-.f64 (*.f64 (+.f64 x lo) lo) (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 x x))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (-.f64 (*.f64 x x) (*.f64 (+.f64 x lo) lo)))) (-.f64 (*.f64 x x) (*.f64 (+.f64 x lo) lo)))
(+.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(-.f64 x lo)
(-.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (/.f64 (*.f64 lo lo) (+.f64 x lo)))
(-.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (+.f64 x lo))
(/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (fma.f64 (+.f64 x lo) lo (*.f64 x x)))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(/.f64 (*.f64 (fma.f64 lo lo (*.f64 x x)) (*.f64 (+.f64 x lo) (-.f64 x lo))) (*.f64 (fma.f64 lo lo (*.f64 x x)) (+.f64 x lo)))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(/.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo)) (neg.f64 (+.f64 x lo)))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (+.f64 x lo)) (*.f64 (+.f64 x lo) (*.f64 lo lo))) (*.f64 (+.f64 x lo) (+.f64 x lo)))
(/.f64 (*.f64 (+.f64 x lo) (-.f64 x lo)) (neg.f64 (neg.f64 (+.f64 x lo))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)))) (neg.f64 (neg.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 x lo) lo (*.f64 x x)))
(/.f64 (neg.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo))) (neg.f64 (neg.f64 (+.f64 x lo))))
(/.f64 (neg.f64 (*.f64 (neg.f64 (+.f64 x lo)) (-.f64 x lo))) (+.f64 x lo))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (/.f64 (*.f64 x x) (+.f64 x lo))) (*.f64 (/.f64 (*.f64 lo lo) (+.f64 x lo)) (/.f64 (*.f64 lo lo) (+.f64 x lo)))) (fma.f64 x (/.f64 x (+.f64 x lo)) (/.f64 (*.f64 lo lo) (+.f64 x lo))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo)) (neg.f64 (neg.f64 (fma.f64 (+.f64 x lo) lo (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 x (*.f64 #s(literal 3 binary64) #s(literal 3 binary64))) (pow.f64 lo (*.f64 #s(literal 3 binary64) #s(literal 3 binary64)))) (*.f64 (fma.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x))) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x)) (-.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) (fma.f64 lo lo (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 x x))) (+.f64 x lo)))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x)))) (*.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))))) (fma.f64 x (/.f64 (*.f64 x x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 lo lo) (+.f64 x lo)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (/.f64 (*.f64 x x) (+.f64 x lo)) (fma.f64 (/.f64 (*.f64 lo lo) (+.f64 x lo)) (/.f64 (*.f64 lo lo) (+.f64 x lo)) (*.f64 (/.f64 (*.f64 x x) (+.f64 x lo)) (/.f64 (*.f64 lo lo) (+.f64 x lo))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (fma.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (*.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (+.f64 x lo) lo (*.f64 x x))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 x lo) lo (*.f64 x x)))))))
(fma.f64 (/.f64 (*.f64 x x) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 x x) x))) (fma.f64 lo (-.f64 lo x) (*.f64 x x)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 x lo) (-.f64 x lo))) (-.f64 x lo) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(fma.f64 (fabs.f64 x) (/.f64 (fabs.f64 x) (+.f64 x lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 x) (+.f64 x lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(fma.f64 x (/.f64 x (+.f64 x lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 x lo)))
(neg.f64 (neg.f64 (-.f64 x lo)))
x
lo
(*.f64 (+.f64 hi lo) (/.f64 (-.f64 hi lo) (+.f64 hi lo)))
(*.f64 (/.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi))) (fma.f64 lo (-.f64 lo hi) (*.f64 hi hi)))
(*.f64 (/.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (-.f64 hi lo))
(*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (/.f64 (-.f64 hi lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (fma.f64 (*.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 hi hi)) hi (pow.f64 (*.f64 (+.f64 hi lo) lo) #s(literal 3 binary64)))) (fma.f64 (*.f64 (+.f64 hi lo) lo) (-.f64 (*.f64 (+.f64 hi lo) lo) (*.f64 hi hi)) (*.f64 (*.f64 hi hi) (*.f64 hi hi))))
(*.f64 (/.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo)))) (-.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) lo)))
(+.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(-.f64 hi lo)
(-.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (/.f64 (*.f64 lo lo) (+.f64 hi lo)))
(-.f64 (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(/.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (+.f64 hi lo))
(/.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi)) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi)) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(/.f64 (*.f64 (fma.f64 lo lo (*.f64 hi hi)) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (*.f64 (fma.f64 lo lo (*.f64 hi hi)) (+.f64 hi lo)))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(/.f64 (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo)) (neg.f64 (+.f64 hi lo)))
(/.f64 (-.f64 (*.f64 (*.f64 hi hi) (+.f64 hi lo)) (*.f64 (+.f64 hi lo) (*.f64 lo lo))) (*.f64 (+.f64 hi lo) (+.f64 hi lo)))
(/.f64 (*.f64 (+.f64 hi lo) (-.f64 hi lo)) (neg.f64 (neg.f64 (+.f64 hi lo))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (neg.f64 (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))
(/.f64 (neg.f64 (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo))) (neg.f64 (neg.f64 (+.f64 hi lo))))
(/.f64 (neg.f64 (*.f64 (neg.f64 (+.f64 hi lo)) (-.f64 hi lo))) (+.f64 hi lo))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (/.f64 (*.f64 hi hi) (+.f64 hi lo))) (*.f64 (/.f64 (*.f64 lo lo) (+.f64 hi lo)) (/.f64 (*.f64 lo lo) (+.f64 hi lo)))) (fma.f64 hi (/.f64 hi (+.f64 hi lo)) (/.f64 (*.f64 lo lo) (+.f64 hi lo))))
(/.f64 (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo)) (neg.f64 (neg.f64 (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))))
(/.f64 (-.f64 (pow.f64 hi (*.f64 #s(literal 3 binary64) #s(literal 3 binary64))) (pow.f64 lo (*.f64 #s(literal 3 binary64) #s(literal 3 binary64)))) (*.f64 (fma.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi)) (*.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 hi hi) hi))) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))
(/.f64 (*.f64 (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi)) (-.f64 (*.f64 (*.f64 hi hi) hi) (*.f64 (*.f64 lo lo) lo))) (*.f64 (fma.f64 (*.f64 lo lo) (fma.f64 lo lo (*.f64 hi hi)) (*.f64 (*.f64 hi hi) (*.f64 hi hi))) (+.f64 hi lo)))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))) (*.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))))) (fma.f64 hi (/.f64 (*.f64 hi hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 lo lo) (+.f64 hi lo)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (fma.f64 (/.f64 (*.f64 lo lo) (+.f64 hi lo)) (/.f64 (*.f64 lo lo) (+.f64 hi lo)) (*.f64 (/.f64 (*.f64 hi hi) (+.f64 hi lo)) (/.f64 (*.f64 lo lo) (+.f64 hi lo))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (fma.f64 (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (*.f64 (/.f64 (*.f64 (*.f64 hi hi) hi) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi))) (/.f64 (*.f64 (*.f64 lo lo) lo) (fma.f64 (+.f64 hi lo) lo (*.f64 hi hi)))))))
(fma.f64 (/.f64 (*.f64 hi hi) (fma.f64 (*.f64 lo lo) lo (*.f64 (*.f64 hi hi) hi))) (fma.f64 lo (-.f64 lo hi) (*.f64 hi hi)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(fma.f64 (/.f64 (*.f64 hi hi) (*.f64 (+.f64 hi lo) (-.f64 hi lo))) (-.f64 hi lo) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(fma.f64 (fabs.f64 hi) (/.f64 (fabs.f64 hi) (+.f64 hi lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(fma.f64 (neg.f64 hi) (/.f64 (neg.f64 hi) (+.f64 hi lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(fma.f64 hi (/.f64 hi (+.f64 hi lo)) (/.f64 (neg.f64 (*.f64 lo lo)) (+.f64 hi lo)))
(neg.f64 (neg.f64 (-.f64 hi lo)))
hi

eval9.0ms (0.5%)

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

Compiled 2 490 to 533 computations (78.6% saved)

prune4.0ms (0.2%)

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

1 alts after pruning (0 fresh and 1 done)

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

Compiled 12 to 12 computations (0% saved)

derivations0.0ms (0%)

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

Compiled 6 to 6 computations (0% saved)

preprocess8.0ms (0.4%)

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

Compiled 12 to 12 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...