Optimisation.CirclePacking:place from circle-packing-0.1.0.4, C

Time bar (total: 729.0ms)

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 7 to 7 computations (0.0% saved)

sample548.0ms (75.1%)

Memory
9.8MiB live, 619.4MiB allocated; 163ms collecting garbage
Samples
358.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 141.0ms
ival-sqrt: 65.0ms (46.2% of total)
ival-fabs: 46.0ms (32.7% of total)
ival-sub!: 29.0ms (20.6% of total)
adjust: 1.0ms (0.7% of total)
Bogosity

preprocess31.0ms (4.2%)

Memory
-28.9MiB live, 21.3MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01836
15532
215132
347332
4178432
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Symmetry

(sort x y)

Compiler

Compiled 10 to 10 computations (0.0% saved)

sample0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs

series9.0ms (1.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
045151
Stop Event
1×iter-limit
Counts
5 → 15
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(-.f64 x y)
x
y
Outputs
#s(approx (sqrt (fabs (- x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
#s(approx (fabs (- x y)) (fabs.f64 (-.f64 x y)))
#s(approx (- x y) (*.f64 #s(literal -1 binary64) y))
#s(approx (- x y) (-.f64 x y))
#s(approx x x)
#s(approx (- x y) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 y x)))))
#s(approx (sqrt (fabs (- x y))) (sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x))))))
#s(approx (fabs (- x y)) (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
#s(approx (- x y) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (/.f64 y x) #s(literal 1 binary64)))))
#s(approx (- x y) (+.f64 x (*.f64 #s(literal -1 binary64) y)))
#s(approx y y)
#s(approx (- x y) (*.f64 y (-.f64 (/.f64 x y) #s(literal 1 binary64))))
#s(approx (sqrt (fabs (- x y))) (sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y)))))
#s(approx (fabs (- x y)) (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
#s(approx (- x y) (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 x y))))))
Calls

6 calls:

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

rewrite105.0ms (14.4%)

Memory
40.4MiB live, 174.6MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514
0814
13714
210414
338314
4176314
0419114
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 140
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(-.f64 x y)
x
y
Outputs
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 y x)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 y x)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 x y)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 x y)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (-.f64 y x) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 x y) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (-.f64 x y) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/8 binary64)) (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (-.f64 y x) (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (fabs.f64 (-.f64 y x)) (-.f64 x y)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (fabs.f64 (-.f64 y x)) (-.f64 x y)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (-.f64 x y)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (-.f64 y x) (-.f64 x y)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 y x)) #s(literal 1/8 binary64)) (pow.f64 (-.f64 y x) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (-.f64 y x) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 y x)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (fabs.f64 (-.f64 y x))) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 x y)) #s(literal 1/8 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/8 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 x y)) #s(literal 1/8 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(*.f64 (pow.f64 (-.f64 y x) #s(literal 1/4 binary64)) (pow.f64 (-.f64 y x) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 (-.f64 y x)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 0 binary64)))
(pow.f64 (pow.f64 (-.f64 y x) #s(literal 8 binary64)) #s(literal 1/16 binary64))
(pow.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64)) #s(literal 1/8 binary64))
(pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal 1/4 binary64))
(pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/2 binary64))
(/.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal -1/2 binary64)))
(neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(fabs.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64))) #s(literal 1/8 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x)))) (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))))
(*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x)))) (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 3/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 3/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 3/4 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 y x)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 x y)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (-.f64 x y)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (-.f64 y x) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 x y) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (-.f64 x y) (neg.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (-.f64 y x) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (fabs.f64 (-.f64 y x)) (-.f64 x y)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (fabs.f64 (-.f64 y x)) (-.f64 x y)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (-.f64 x y)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (-.f64 y x) (-.f64 x y)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (-.f64 y x) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 x y)) #s(literal 1/4 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))) (pow.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64)) (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (/.f64 #s(literal 2 binary64) #s(literal 2 binary64))))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (fabs.f64 (-.f64 y x)) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (neg.f64 (fabs.f64 (-.f64 y x)))) (sqrt.f64 (neg.f64 (fabs.f64 (-.f64 y x)))))
(*.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))) (sqrt.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x)))))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 0 binary64)) (fabs.f64 (-.f64 y x)))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1 binary64)) (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1 binary64)) (sqrt.f64 (fabs.f64 (-.f64 y x))))
(*.f64 (pow.f64 (neg.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (neg.f64 (fabs.f64 (-.f64 y x))) (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)) (pow.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (/.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (-.f64 y x)) (sqrt.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (sqrt.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (fabs.f64 (-.f64 y x)))))
(*.f64 (pow.f64 (-.f64 y x) #s(literal 1/2 binary64)) (pow.f64 (-.f64 y x) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/2 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (-.f64 y x) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 y x)) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (fabs.f64 (-.f64 y x))) #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (-.f64 x y)) #s(literal 1/4 binary64)))
(*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))))
(*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (-.f64 x y)))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (sqrt.f64 (fabs.f64 (-.f64 y x))))
(*.f64 (fabs.f64 (-.f64 y x)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 0 binary64)))
(*.f64 (fabs.f64 (-.f64 y x)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 0 binary64)))
(*.f64 (fabs.f64 (-.f64 y x)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 0 binary64)))
(*.f64 (fabs.f64 (-.f64 y x)) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal 0 binary64)))
(pow.f64 (pow.f64 (-.f64 y x) #s(literal 8 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64)) #s(literal 1/4 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 2 binary64))
(pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 2 binary64))
(pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 1 binary64))
(/.f64 (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 1 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal -1 binary64)))
(/.f64 (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64)) #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal -1/2 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (pow.f64 (*.f64 (-.f64 y x) (-.f64 y x)) #s(literal -1/4 binary64)))
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal -1/2 binary64)))
(/.f64 (fabs.f64 (-.f64 y x)) (pow.f64 (fabs.f64 (-.f64 y x)) #s(literal 0 binary64)))
(neg.f64 (neg.f64 (fabs.f64 (-.f64 y x))))
(sqrt.f64 (*.f64 (-.f64 y x) (-.f64 y x)))
(fabs.f64 (neg.f64 (fabs.f64 (-.f64 y x))))
(fabs.f64 (-.f64 y x))
(fabs.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 y x))))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 y x) #s(literal 4 binary64))) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fabs.f64 (-.f64 y x)))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (-.f64 y x))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 y x) (-.f64 y x))) #s(literal 1/2 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 x) (neg.f64 y))) (neg.f64 y))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x (neg.f64 y))) (neg.f64 y))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 y) x)) x)
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 y x)) x)
(/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 x (neg.f64 y)))
(/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) (+.f64 (neg.f64 y) (neg.f64 x)))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) (-.f64 (neg.f64 y) x))
(/.f64 (-.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) (pow.f64 (neg.f64 x) #s(literal 3 binary64))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 (neg.f64 y) (neg.f64 x)))))
(/.f64 (+.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (*.f64 y y) (-.f64 (*.f64 x x) (*.f64 (neg.f64 y) x))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (*.f64 y y) (*.f64 (neg.f64 y) x))))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 x x (fma.f64 y y (*.f64 y x))))
(neg.f64 (-.f64 y x))
(-.f64 (neg.f64 y) (neg.f64 x))
(-.f64 x y)
(+.f64 (neg.f64 y) x)
(+.f64 x (neg.f64 y))
x
y

eval23.0ms (3.2%)

Memory
-28.2MiB live, 26.9MiB allocated; 12ms collecting garbage
Compiler

Compiled 2 246 to 472 computations (79.0% saved)

prune4.0ms (0.6%)

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

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New1510151
Fresh000
Picked011
Done000
Total1511152
Accuracy
100.0%
Counts
152 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 10 to 10 computations (0.0% saved)

derivations0.0ms (0.0%)

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

Compiled 5 to 5 computations (0.0% saved)

preprocess8.0ms (1.1%)

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

Compiled 20 to 20 computations (0.0% saved)

end0.0ms (0.0%)

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

Profiling

Loading profile data...