Model of a colonnade with a balcony and outside staircase

Time bar (total: 2.5min)

start5.0ms (0%)

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

analyze5.4s (3.6%)

Memory
-24.5MiB live, 5 103.5MiB allocated; 2.3s collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
0%0%99.9%0.1%0%0%0%7
3.1%3.1%96.7%0.1%0%0%0%8
3.9%3.9%96%0.1%0%0%0%9
6.6%6.6%93.2%0.1%0%0%0%10
9.9%9.8%90%0.1%0%0%0%11
12%12%87.9%0.1%0%0%0%12
Compiler

Compiled 2 846 to 797 computations (72% saved)

sample9.5s (6.3%)

Memory
176.9MiB live, 8 158.3MiB allocated; 3.6s collecting garbage
Samples
6.9s8 010×0valid
226.0ms146×1valid
203.0ms100×2valid
132.0ms60×5exit
Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-fmin: 1.4s (22.2% of total)
ival-sqrt: 1.2s (19.6% of total)
ival-pow2: 800.0ms (12.7% of total)
ival-sub!: 761.0ms (12% of total)
ival-fmax: 725.0ms (11.5% of total)
ival-add!: 662.0ms (10.5% of total)
ival-neg: 320.0ms (5.1% of total)
ival-mult!: 267.0ms (4.2% of total)
adjust: 144.0ms (2.3% of total)
const: 1.0ms (0% of total)
Bogosity

preprocess324.0ms (0.2%)

Memory
1.2MiB live, 288.5MiB allocated; 31ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0377028627
1824927781
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.3%
(fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 7/2 binary64)) (-.f64 #s(literal 1/2 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 7 binary64)) (-.f64 #s(literal 4 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 11/2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 15/2 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 21/2 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 3 binary64) (*.f64 y #s(literal 10 binary64)))) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 3/2 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 3 binary64) (*.f64 x #s(literal 10 binary64))))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 5/2 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 7/2 binary64)) (-.f64 #s(literal 1/2 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 7 binary64)) (-.f64 #s(literal 4 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 11/2 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 15/2 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 21/2 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 3 binary64) (*.f64 y #s(literal 10 binary64)))) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 3/2 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 57/10 binary64))) (-.f64 #s(literal 26/5 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 5/2 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/2 binary64)) (-.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 27/2 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 9 binary64))) (-.f64 #s(literal 5 binary64) (*.f64 x #s(literal 10 binary64)))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/2 binary64)) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 9 binary64))) (-.f64 #s(literal 5 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 15/2 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 17/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 9 binary64)) (-.f64 #s(literal 31/10 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 21/2 binary64))) (-.f64 #s(literal 13/2 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 #s(literal 3 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 13/2 binary64)))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/2 binary64)) (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 #s(literal 5 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 #s(literal 3/2 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 61/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 29/5 binary64))) (-.f64 (*.f64 x #s(literal 8 binary64)) (+.f64 #s(literal 5/2 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 5 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 #s(literal 31/10 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 29/5 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 6 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 31/5 binary64))) (neg.f64 (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 5 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 29/5 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 6 binary64))) (neg.f64 (+.f64 #s(literal 23/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 6 binary64))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/2 binary64)) (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 #s(literal 3/2 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 61/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 #s(literal 67/10 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 15/2 binary64))) (-.f64 #s(literal 15/2 binary64) (+.f64 (*.f64 x #s(literal 8 binary64)) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 31/10 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 6 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 31/5 binary64))) (neg.f64 (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 #s(literal 67/10 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 15/2 binary64)))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 29/5 binary64)) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 6 binary64))) (neg.f64 (+.f64 #s(literal 23/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 15/2 binary64))) (-.f64 #s(literal 13/2 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64)))))) (-.f64 #s(literal 11/2 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64))) (neg.f64 (+.f64 #s(literal 17/2 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 13/2 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 7/2 binary64)) (+.f64 #s(literal 27/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 13/2 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 34/5 binary64))) (-.f64 #s(literal 57/10 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 67/10 binary64)) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 13/2 binary64))) (neg.f64 (+.f64 #s(literal 43/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 36/5 binary64))) (-.f64 #s(literal 53/10 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 #s(literal 13/2 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (+.f64 (+.f64 (*.f64 z #s(literal 8619/5000 binary64)) #s(literal 543983/100000 binary64)) (*.f64 y #s(literal 98503/10000 binary64))) (-.f64 (*.f64 z #s(literal 8619/5000 binary64)) (+.f64 #s(literal 397829/50000 binary64) (*.f64 y #s(literal 98503/10000 binary64))))) (-.f64 (+.f64 (*.f64 z #s(literal 184289/100000 binary64)) (*.f64 x #s(literal 122859/12500 binary64))) #s(literal 374413/50000 binary64))) (-.f64 (+.f64 (*.f64 z #s(literal 184289/100000 binary64)) #s(literal 95953/20000 binary64)) (*.f64 x #s(literal 122859/12500 binary64)))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 39/10 binary64))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 67/10 binary64)) (-.f64 #s(literal 29/5 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/10 binary64)) #s(literal 2 binary64)))) #s(literal 3/2 binary64)))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 34/5 binary64)) (-.f64 #s(literal 57/10 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/10 binary64)) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (-.f64 #s(literal 13/10 binary64) (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 41/10 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 33/10 binary64)) #s(literal 2 binary64)))))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 97/20 binary64)) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64))) (fmax.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 #s(literal 14/5 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 #s(literal 27/5 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 9 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 31/10 binary64))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 30 binary64)) (+.f64 #s(literal 27/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 30 binary64)) (+.f64 #s(literal 3 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (fmin.f64 (-.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 11/2 binary64))))))) (neg.f64 (fmin.f64 (+.f64 #s(literal 999999/10000000 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 #s(literal 31/10 binary64) (*.f64 z #s(literal 10 binary64)))))) (neg.f64 (fmin.f64 (-.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 11/2 binary64)))))) (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 30 binary64)) (+.f64 #s(literal 93/10 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (fmin.f64 (-.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 11/2 binary64))))) (neg.f64 (fmin.f64 (fmin.f64 (fmax.f64 (neg.f64 (fmin.f64 (-.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 11/2 binary64)))) (-.f64 (*.f64 z #s(literal 30 binary64)) (+.f64 #s(literal 69/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 #s(literal 1/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 17/2 binary64) (*.f64 y #s(literal 10 binary64))))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 1/5 binary64)) (neg.f64 (+.f64 #s(literal 999999/10000000 binary64) (*.f64 z #s(literal 10 binary64))))) (+.f64 #s(literal 16/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 36/5 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 #s(literal 7 binary64) (*.f64 x #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 9 binary64)))) (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (-.f64 #s(literal 1/5 binary64) (*.f64 z #s(literal 10 binary64))) (+.f64 #s(literal 3 binary64) (*.f64 y #s(literal 10 binary64)))) (fmax.f64 (-.f64 #s(literal 371/1000 binary64) (*.f64 z #s(literal 10 binary64))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64))))) (fmax.f64 (+.f64 #s(literal 2 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 #s(literal 271/500 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 #s(literal 713/1000 binary64) (*.f64 z #s(literal 10 binary64))) (+.f64 #s(literal 3/2 binary64) (*.f64 y #s(literal 10 binary64))))) (fmax.f64 (+.f64 #s(literal 1 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 #s(literal 221/250 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 #s(literal 211/200 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 #s(literal 613/500 binary64) (*.f64 z #s(literal 10 binary64))) (*.f64 y #s(literal 10 binary64)))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 1/2 binary64)) (-.f64 #s(literal 1397/1000 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 1 binary64)) (-.f64 #s(literal 196/125 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 3/2 binary64)) (-.f64 #s(literal 1739/1000 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 #s(literal 191/100 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 2 binary64)))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 5/2 binary64)) (-.f64 #s(literal 2081/1000 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 3 binary64)) (-.f64 #s(literal 563/250 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 #s(literal 2423/1000 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 7/2 binary64)))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 4 binary64)) (-.f64 #s(literal 1297/500 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9/2 binary64)) (-.f64 #s(literal 553/200 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 5 binary64)) (-.f64 #s(literal 367/125 binary64) (*.f64 z #s(literal 10 binary64))))) (fmax.f64 (-.f64 #s(literal 3107/1000 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 11/2 binary64)))) (fmax.f64 (-.f64 #s(literal 1639/500 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 6 binary64)))) (fmax.f64 (-.f64 #s(literal 3449/1000 binary64) (*.f64 z #s(literal 10 binary64))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 13/2 binary64)))) (fmax.f64 (+.f64 #s(literal 46/5 binary64) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 13/20 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (+.f64 #s(literal 87/10 binary64) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 479/1000 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (+.f64 #s(literal 41/5 binary64) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 77/250 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (+.f64 #s(literal 77/10 binary64) (*.f64 y #s(literal 10 binary64))) (neg.f64 (+.f64 #s(literal 137/1000 binary64) (*.f64 z #s(literal 10 binary64)))))) (fmax.f64 (+.f64 #s(literal 36/5 binary64) (*.f64 y #s(literal 10 binary64))) (-.f64 #s(literal 339999/10000000 binary64) (*.f64 z #s(literal 10 binary64)))))))) (fmax.f64 (fmax.f64 (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 11/4 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64)) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 37/5 binary64))) (-.f64 #s(literal 13/2 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 37/5 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 11/4 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 24/5 binary64)) (-.f64 #s(literal 5/2 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 71/10 binary64) (*.f64 x #s(literal 10 binary64))))) (+.f64 #s(literal 13/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 37/10 binary64) (*.f64 y #s(literal 10 binary64))))) (+.f64 #s(literal 6 binary64) (*.f64 x #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 5 binary64)) #s(literal 11/5 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 131/20 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64))) (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) (-.f64 #s(literal 24/5 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 131/20 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (+.f64 #s(literal 131/20 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 24/5 binary64)) (-.f64 #s(literal 5/2 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 8/5 binary64))) (-.f64 #s(literal 1/2 binary64) (*.f64 x #s(literal 10 binary64)))) (+.f64 #s(literal 13/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 37/10 binary64) (*.f64 y #s(literal 10 binary64)))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 5 binary64)) #s(literal 11/5 binary64)) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 21/20 binary64)) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64))) (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) (-.f64 #s(literal 24/5 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 21/20 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 21/20 binary64)) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 24/5 binary64)) (-.f64 #s(literal 5/2 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 27/5 binary64))) (-.f64 #s(literal 43/10 binary64) (*.f64 x #s(literal 10 binary64)))) (+.f64 #s(literal 13/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 37/10 binary64) (*.f64 y #s(literal 10 binary64)))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 5 binary64)) #s(literal 11/5 binary64)) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 97/20 binary64)) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64))) (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 28/5 binary64)) (-.f64 #s(literal 24/5 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 97/20 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/10 binary64)))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 11/2 binary64)) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 21/5 binary64))) (-.f64 #s(literal 33/10 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 17/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 18/5 binary64) (*.f64 y #s(literal 10 binary64))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 81/10 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 89/10 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 143/20 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 159/20 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 26/5 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 6 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 17/4 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 101/20 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 33/10 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 41/10 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 7/5 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 11/5 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (+.f64 #s(literal 9/20 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 5/4 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 1/2 binary64))) (neg.f64 (+.f64 #s(literal 3/10 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 12/5 binary64))) (-.f64 #s(literal 8/5 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 67/20 binary64))) (-.f64 #s(literal 51/20 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 41/10 binary64)) (-.f64 #s(literal 17/5 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 5/2 binary64) (*.f64 y #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 43/10 binary64))) (-.f64 #s(literal 7/2 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64))))))) (+.f64 #s(literal 3 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 22/5 binary64))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 6 binary64))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmin.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 15/2 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 21/2 binary64)))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 4 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 7 binary64) (*.f64 x #s(literal 10 binary64)))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 11/2 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 3/2 binary64))) (neg.f64 (+.f64 #s(literal 3/2 binary64) (*.f64 x #s(literal 10 binary64)))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 2 binary64)))) #s(literal 3/2 binary64))) (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 5 binary64))) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 10 binary64))))) (-.f64 (sqrt.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (*.f64 z #s(literal 10 binary64))) #s(literal 2 binary64)) (pow.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7/2 binary64)) #s(literal 2 binary64)))) #s(literal 3/2 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (neg.f64 (+.f64 #s(literal 4 binary64) (*.f64 z #s(literal 10 binary64)))) (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64))) (neg.f64 (+.f64 #s(literal 17/2 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7 binary64))) (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64)) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 23/10 binary64))) (-.f64 #s(literal 2 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 39/10 binary64) (*.f64 y #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 y #s(literal 10 binary64)) #s(literal 9 binary64)) (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7 binary64))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 31/10 binary64))) (-.f64 #s(literal 23/10 binary64) (*.f64 z #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 19/5 binary64) (*.f64 y #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 x #s(literal 10 binary64)) #s(literal 7 binary64)) (neg.f64 (+.f64 #s(literal 39/10 binary64) (*.f64 y #s(literal 10 binary64))))) (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 16/5 binary64))) (-.f64 #s(literal 29/10 binary64) (*.f64 z #s(literal 10 binary64)))) (+.f64 #s(literal 7/2 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 9 binary64) (*.f64 x #s(literal 10 binary64)))))) (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (fmax.f64 (-.f64 (*.f64 z #s(literal 10 binary64)) #s(literal 13/2 binary64)) (+.f64 #s(literal 13/5 binary64) (*.f64 y #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 37/10 binary64) (*.f64 y #s(literal 10 binary64))))) (+.f64 #s(literal 11/5 binary64) (*.f64 x #s(literal 10 binary64)))) (neg.f64 (+.f64 #s(literal 33/10 binary64) (*.f64 x #s(literal 10 binary64))))) (neg.f64 (+.f64 #s(literal 7/2 binary64) (*.f64 z #s(literal 10 binary64)))))) (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (-.f64 (*.f64 z #s(literal 5 binary64)) #s(literal 61/20 binary64)) #s(literal 2 binary64)) (pow.f64 (+.f64 #s(literal 63/20 binary64) (*.f64 y #s(literal 10 binary64))) #s(literal 2 binary64))) (pow.f64 (+.f64 #s(literal 11/4 binary64) (*.f64 x #s(literal 10 binary64))) #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
Compiler

Compiled 5 688 to 1 590 computations (72% saved)

series2.2min (89.9%)

Memory
2 395.4MiB live, 140 665.0MiB allocated; 30.4s collecting garbage
Calls

9 calls:

TimeVariablePoint
189.0ms
x
inf
163.0ms
x
0
146.0ms
z
-inf
139.0ms
x
-inf
134.0ms
y
0

end0.0ms (0%)

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

Profiling

Loading profile data...