Radioactive exchange between two surfaces

Time bar (total: 1.9s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample1.6s (84.8%)

Memory
-83.6MiB live, 1 251.8MiB allocated; 1.0s collecting garbage
Samples
1.4s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 768.0ms
ival-pow: 748.0ms (97.4% of total)
ival-sub!: 19.0ms (2.5% of total)
adjust: 1.0ms (0.1% of total)
Bogosity

preprocess32.0ms (1.7%)

Memory
-25.2MiB live, 19.7MiB allocated; 18ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01546
12846
24646
38646
49146
Stop Event
saturated
Alt Table
Click to see full alt table
StatusAccuracyProgram
85.5%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Compiler

Compiled 14 to 12 computations (14.3% saved)

series10.0ms (0.5%)

Memory
16.5MiB live, 16.5MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026108
Stop Event
iter-limit
Counts
6 → 9
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
Outputs
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow x 4) (pow.f64 x #s(literal 4 binary64)))
#s(approx x x)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 x #s(literal 4 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))))))
#s(approx (- (pow x 4) (pow y 4)) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (pow y 4) (pow.f64 y #s(literal 4 binary64)))
#s(approx y y)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64))))
Calls

6 calls:

TimeVariablePoint
1.0ms
x
inf
1.0ms
y
0
1.0ms
x
0
1.0ms
x
-inf
1.0ms
y
inf

rewrite8.0ms (0.4%)

Memory
14.1MiB live, 14.1MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0616
0916
11316
21916
33016
43716
03716
Stop Event
iter-limit
saturated
iter-limit
Counts
6 → 12
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
Outputs
(neg.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))))
(-.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) (neg.f64 (pow.f64 x #s(literal 4 binary64))))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(+.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 4 binary64)))
(+.f64 (pow.f64 x #s(literal 4 binary64)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(pow.f64 x #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))))
y

eval1.0ms (0.1%)

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

Compiled 179 to 47 computations (73.7% saved)

prune11.0ms (0.6%)

Memory
-51.3MiB live, 3.7MiB allocated; 14ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New14115
Fresh000
Picked011
Done000
Total14216
Accuracy
91.8%
Counts
16 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
85.5%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
54.2%
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 20 to 17 computations (15% saved)

series6.0ms (0.3%)

Memory
14.4MiB live, 14.4MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025109
Stop Event
iter-limit
Counts
6 → 8
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
(*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)))
#s(literal -1 binary64)
(pow.f64 y #s(literal 4 binary64))
y
#s(literal 4 binary64)
Outputs
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 x #s(literal 4 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))))))
#s(approx (- (pow x 4) (pow y 4)) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (pow y 4) (pow.f64 y #s(literal 4 binary64)))
#s(approx y y)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64))))
Calls

6 calls:

TimeVariablePoint
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
y
0
0.0ms
x
inf
0.0ms
x
-inf

rewrite89.0ms (4.6%)

Memory
-9.3MiB live, 180.1MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01024
01222
11822
23022
36622
49322
515522
683922
0402622
Stop Event
iter-limit
node-limit
iter-limit
Counts
6 → 375
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
(*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)))
#s(literal -1 binary64)
(pow.f64 y #s(literal 4 binary64))
y
#s(literal 4 binary64)
Outputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(*.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -1/4 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/8 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 1/8 binary64))
(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(*.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64))
(*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 16 binary64) #s(literal 0 binary64)) #s(literal 16 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -8 binary64) #s(literal 0 binary64)) #s(literal -8 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 16 binary64)) #s(literal 0 binary64)) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -8 binary64)) #s(literal 0 binary64)) #s(literal -8 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -4 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 8 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 8 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -2 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal -8 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))) #s(literal -8 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 4 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 8 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64))
(/.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(fma.f64 (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 1/4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 1/2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64))
(-.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64))
(+.f64 (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 1 binary64)) (/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal 1 binary64)))
(+.f64 (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64)))
(+.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(+.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(+.f64 #s(literal 0 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(+.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64))
#s(literal -1 binary64)
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/8 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/8 binary64))
(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/4 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -1/4 binary64))
(*.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))))
(*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 4 binary64)))
(*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1 binary64))
(*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(pow.f64 (*.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) y)) #s(literal 4 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) y)) #s(literal 4 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) (*.f64 y #s(literal -1 binary64))) #s(literal 4 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) (*.f64 y #s(literal -1 binary64))) #s(literal 4 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) y) #s(literal 4 binary64))
(pow.f64 (*.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)) #s(literal 4 binary64))
(pow.f64 (*.f64 (*.f64 y #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 4 binary64))
(pow.f64 (*.f64 y #s(literal 1 binary64)) #s(literal 4 binary64))
(pow.f64 (*.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -1 binary64)) #s(literal 4 binary64))
(pow.f64 (*.f64 (*.f64 y #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 4 binary64))
(pow.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 4 binary64))
(pow.f64 (*.f64 y #s(literal -1 binary64)) #s(literal 4 binary64))
(pow.f64 y #s(literal 4 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 16 binary64) #s(literal 0 binary64)) #s(literal 16 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -8 binary64) #s(literal 0 binary64)) #s(literal -8 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -4 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 16 binary64)) #s(literal 0 binary64)) #s(literal 16 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -8 binary64)) #s(literal 0 binary64)) #s(literal -8 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -4 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 8 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 8 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -8 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))) #s(literal -8 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -4 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 8 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64))
(neg.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1/8 binary64)) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64)) (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 #s(literal -2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -1/2 binary64) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(fma.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal 0 binary64))
(-.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64))
(+.f64 (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64)) (/.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64)))
(+.f64 (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)) (/.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal -1 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 1/2 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64)))) #s(literal -1 binary64)))
(+.f64 (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))) (*.f64 #s(literal 1/2 binary64) (pow.f64 y #s(literal 4 binary64))))
(+.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 y #s(literal 4 binary64)))
(+.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64))
y
#s(literal 4 binary64)

eval34.0ms (1.8%)

Memory
45.1MiB live, 90.5MiB allocated; 5ms collecting garbage
Compiler

Compiled 7 381 to 1 195 computations (83.8% saved)

prune11.0ms (0.6%)

Memory
-25.4MiB live, 19.4MiB allocated; 7ms collecting garbage
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3752377
Fresh000
Picked101
Done011
Total3763379
Accuracy
100.0%
Counts
379 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
85.5%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
57.3%
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
54.2%
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 30 to 25 computations (16.7% saved)

series6.0ms (0.3%)

Memory
13.4MiB live, 13.4MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026108
Stop Event
iter-limit
Counts
8 → 9
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(pow.f64 y #s(literal 4 binary64))
y
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
Outputs
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow x 4) (pow.f64 x #s(literal 4 binary64)))
#s(approx x x)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 x #s(literal 4 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))))))
#s(approx (- (pow x 4) (pow y 4)) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))))
#s(approx (pow y 4) (pow.f64 y #s(literal 4 binary64)))
#s(approx y y)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) #s(literal 1 binary64))))
Calls

6 calls:

TimeVariablePoint
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
x
0

rewrite7.0ms (0.4%)

Memory
12.2MiB live, 12.2MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01136
01336
11636
22236
33336
44036
04036
Stop Event
iter-limit
saturated
iter-limit
Counts
8 → 10
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(pow.f64 y #s(literal 4 binary64))
y
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
Outputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(pow.f64 y #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))))
y
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
(neg.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))))
x

eval1.0ms (0.1%)

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

Compiled 173 to 45 computations (74% saved)

prune6.0ms (0.3%)

Memory
-41.5MiB live, 4.0MiB allocated; 5ms collecting garbage
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New11011
Fresh000
Picked022
Done011
Total11314
Accuracy
100.0%
Counts
14 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
85.5%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
57.3%
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
54.2%
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 30 to 25 computations (16.7% saved)

regimes16.0ms (0.8%)

Memory
43.6MiB live, 43.6MiB allocated; 0ms collecting garbage
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
3 → 2
4 → 2
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
Outputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
Call 2
Inputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
Outputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
Call 3
Inputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64))))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Outputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
Calls

12 calls:

2.0ms
x
2.0ms
y
1.0ms
(pow.f64 x #s(literal 4 binary64))
1.0ms
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
1.0ms
(pow.f64 y #s(literal 4 binary64))
Results
AccuracySegmentsBranch
57.3%1(pow.f64 x #s(literal 4 binary64))
57.3%1y
57.3%1(pow.f64 y #s(literal 4 binary64))
57.3%1x
57.3%1(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
85.6%2(pow.f64 x #s(literal 4 binary64))
93.5%2(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
91.8%2(pow.f64 y #s(literal 4 binary64))
93.8%2(pow.f64 x #s(literal 4 binary64))
93.8%2(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
93.8%3x
90.6%2y
Compiler

Compiled 83 to 62 computations (25.3% saved)

bsearch0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
left-value
Steps
TimeLeftRight
0.0ms
5.6577772920144e-135
1.0435068134484192e-127
Compiler

Compiled 10 to 11 computations (-10% saved)

bsearch9.0ms (0.5%)

Memory
-48.6MiB live, 0.6MiB allocated; 11ms collecting garbage
Algorithm
left-value
Steps
TimeLeftRight
0.0ms
-4.101442295940829e-296
0.0
Compiler

Compiled 10 to 11 computations (-10% saved)

derivations20.0ms (1%)

Memory
33.4MiB live, 33.4MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 72 to 19 computations (73.6% saved)

preprocess26.0ms (1.3%)

Memory
6.4MiB live, 51.4MiB allocated; 7ms collecting garbage
Compiler

Compiled 79 to 25 computations (68.4% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...