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

Time bar (total: 2.1s)

analyze0.0ms (0%)

Algorithm
1×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 8 to 6 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)

sample1.1s (54.7%)

Results
918.0ms8256×0valid
Precisions
Click to see histograms. Total time spent on operations: 210.0ms
ival-fabs: 71.0ms (33.8% of total)
ival-sqrt: 66.0ms (31.4% of total)
ival-sub: 61.0ms (29% of total)
const: 8.0ms (3.8% of total)
backward-pass: 4.0ms (1.9% of total)
Bogosity

preprocess46.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
60×fma-neg
21×sub-neg
14×fma-define
11×distribute-lft-neg-in
11×cancel-sign-sub-inv
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
024171
143155
285155
3172155
4242155
5273155
6279155
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y)))
(sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y))))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y))))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y)))
(sqrt.f64 (fabs.f64 (+.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y))))
(sqrt.f64 (fabs.f64 (+.f64 x y)))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y))))
(neg.f64 (sqrt.f64 (fabs.f64 (+.f64 x y))))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y)))))
(neg.f64 (sqrt.f64 (fabs.f64 (+.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Symmetry

(sort x y)

explain59.0ms (2.9%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(sqrt.f64 (fabs.f64 (-.f64 x y)))
00-0-x
00-0-(-.f64 x y)
00-0-(fabs.f64 (-.f64 x y))
00-0-y
Results
42.0ms512×256valid
Compiler

Compiled 41 to 17 computations (58.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-sqrt: 5.0ms (42.1% of total)
ival-sub: 4.0ms (33.7% of total)
ival-fabs: 3.0ms (25.3% of total)
const: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize29.0ms (1.4%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Results
22.0ms256×256valid
Compiler

Compiled 17 to 6 computations (64.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-sub: 2.0ms (35.4% of total)
ival-fabs: 2.0ms (35.4% of total)
ival-sqrt: 2.0ms (35.4% of total)
const: 0.0ms (0% of total)

series3.0ms (0.1%)

Counts
1 → 8
Calls
Call 1
Inputs
#<alt (sqrt.f64 (fabs.f64 (-.f64 x y)))>
Outputs
#<alt (sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))>
#<alt (sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))>
#<alt (sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))>
#<alt (sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))>
#<alt (sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))>
#<alt (sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))>
#<alt (sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))>
#<alt (sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))>
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
(sqrt (fabs (- x y)))
0.0ms
x
@0
(sqrt (fabs (- x y)))
0.0ms
x
@-inf
(sqrt (fabs (- x y)))
0.0ms
x
@inf
(sqrt (fabs (- x y)))
0.0ms
y
@-inf
(sqrt (fabs (- x y)))

rewrite199.0ms (9.6%)

Algorithm
1×batch-egg-rewrite
Rules
566×prod-diff
518×log1p-expm1-u
518×expm1-log1p-u
441×pow1
422×unpow-prod-down
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01121
112017
2162517
Stop Event
1×node limit
Counts
1 → 50
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Outputs
(+.f64 #s(literal 0 binary64) (sqrt.f64 (-.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (-.f64 x y)) (log.f64 (exp.f64 #s(literal 1 binary64))))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 x y)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (-.f64 x y)))
(*.f64 (cbrt.f64 (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (+.f64 x y) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (-.f64 x y)))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (+.f64 x y)))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (hypot.f64 x (sqrt.f64 (*.f64 y (+.f64 x y)))))
(pow.f64 (-.f64 x y) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(sqrt.f64 (-.f64 x y))
(fabs.f64 (sqrt.f64 (-.f64 x y)))
(log.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))
(cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)))
(expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 x y))))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 y)))
(hypot.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 x))
(log1p.f64 (expm1.f64 (sqrt.f64 (-.f64 x y))))
(exp.f64 (log.f64 (sqrt.f64 (-.f64 x y))))
(exp.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3/2 binary64) (log.f64 (-.f64 x y))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)) #s(literal 1 binary64)))

simplify90.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
680×unsub-neg
369×associate-*r*
348×distribute-lft-out
321×distribute-lft-neg-out
319×associate-+r-
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01641572
12871540
24811540
310741540
432151540
553791540
Stop Event
1×node limit
Counts
58 → 64
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (-.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (-.f64 x y)) (log.f64 (exp.f64 #s(literal 1 binary64))))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 x y)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (-.f64 x y)))
(*.f64 (cbrt.f64 (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (+.f64 x y) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (-.f64 x y)))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (+.f64 x y)))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (hypot.f64 x (sqrt.f64 (*.f64 y (+.f64 x y)))))
(pow.f64 (-.f64 x y) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(sqrt.f64 (-.f64 x y))
(fabs.f64 (sqrt.f64 (-.f64 x y)))
(log.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))
(cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)))
(expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 x y))))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 y)))
(hypot.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 x))
(log1p.f64 (expm1.f64 (sqrt.f64 (-.f64 x y))))
(exp.f64 (log.f64 (sqrt.f64 (-.f64 x y))))
(exp.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3/2 binary64) (log.f64 (-.f64 x y))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)) #s(literal 1 binary64)))
Outputs
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 #s(literal -1 binary64) x)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 x y)))) #s(literal 1 binary64))
(sqrt.f64 (-.f64 x y))
(*.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(sqrt.f64 (-.f64 x y))
(*.f64 (sqrt.f64 (-.f64 x y)) (log.f64 (exp.f64 #s(literal 1 binary64))))
(sqrt.f64 (-.f64 x y))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
(*.f64 (cbrt.f64 (-.f64 x y)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)))
(sqrt.f64 (-.f64 x y))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 y x))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (+.f64 x y) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (+.f64 y x) (pow.f64 x #s(literal 2 binary64))))))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 3/4 binary64))))
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (sqrt.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y))))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 5/6 binary64))) (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(sqrt.f64 (-.f64 x y))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 4 binary64))))
(*.f64 (pow.f64 (pow.f64 (-.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 5/4 binary64))) (cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (+.f64 x y)))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (+.f64 y x)))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (hypot.f64 x (sqrt.f64 (*.f64 y (+.f64 x y)))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64)))) (hypot.f64 x (sqrt.f64 (*.f64 y (+.f64 y x)))))
(pow.f64 (-.f64 x y) #s(literal 1/2 binary64))
(sqrt.f64 (-.f64 x y))
(pow.f64 (sqrt.f64 (-.f64 x y)) #s(literal 1 binary64))
(sqrt.f64 (-.f64 x y))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(sqrt.f64 (-.f64 x y))
(pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 3/2 binary64))
(sqrt.f64 (-.f64 x y))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(sqrt.f64 (-.f64 x y))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(sqrt.f64 (-.f64 x y))
(sqrt.f64 (-.f64 x y))
(fabs.f64 (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
(log.f64 (exp.f64 (sqrt.f64 (-.f64 x y))))
(sqrt.f64 (-.f64 x y))
(cbrt.f64 (pow.f64 (-.f64 x y) #s(literal 3/2 binary64)))
(sqrt.f64 (-.f64 x y))
(expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 x y))))
(sqrt.f64 (-.f64 x y))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 y)))
(sqrt.f64 (-.f64 x y))
(hypot.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 x))
(sqrt.f64 (-.f64 x y))
(log1p.f64 (expm1.f64 (sqrt.f64 (-.f64 x y))))
(sqrt.f64 (-.f64 x y))
(exp.f64 (log.f64 (sqrt.f64 (-.f64 x y))))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (*.f64 #s(literal 3/2 binary64) (log.f64 (-.f64 x y))) #s(literal 1/3 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (-.f64 x y) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1 binary64)) #s(literal 1/2 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 x y)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(sqrt.f64 (-.f64 x y))
(exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 x y))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(sqrt.f64 (-.f64 x y))

eval11.0ms (0.5%)

Compiler

Compiled 672 to 350 computations (47.9% saved)

prune11.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New61364
Fresh000
Picked011
Done000
Total61465
Accuracy
100.0%
Counts
65 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶55.4%
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
▶98.7%
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
▶0.0%
(sqrt.f64 (-.f64 x y))
✓100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 41 to 29 computations (29.3% saved)

localize138.0ms (6.7%)

Results
103.0ms256×256invalid
Compiler

Compiled 93 to 37 computations (60.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 79.0ms
ival-pow: 63.0ms (79.8% of total)
ival-fabs: 6.0ms (7.6% of total)
ival-sub: 2.0ms (2.5% of total)
ival-mult: 2.0ms (2.5% of total)
ival-sqrt: 2.0ms (2.5% of total)
const: 2.0ms (2.5% of total)
ival-cbrt: 2.0ms (2.5% of total)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New000
Fresh000
Picked033
Done011
Total044
Accuracy
100.0%
Counts
4 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓55.4%
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
✓98.7%
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
✓0.0%
(sqrt.f64 (-.f64 x y))
✓100.0%
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 76 to 49 computations (35.5% saved)

regimes12.0ms (0.6%)

Counts
4 → 1
Calls
Call 1
Inputs
(sqrt.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(pow.f64 (pow.f64 (-.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (pow.f64 (fabs.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) #s(literal 2 binary64))) #s(literal 1/2 binary64)) (pow.f64 (fabs.f64 (cbrt.f64 (-.f64 x y))) #s(literal 1/2 binary64)))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Calls

5 calls:

4.0ms
(fabs.f64 (-.f64 x y))
2.0ms
(sqrt.f64 (fabs.f64 (-.f64 x y)))
2.0ms
(-.f64 x y)
2.0ms
y
2.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(sqrt.f64 (fabs.f64 (-.f64 x y)))
100.0%1(fabs.f64 (-.f64 x y))
100.0%1(-.f64 x y)
Compiler

Compiled 24 to 16 computations (33.3% saved)

regimes2.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(sqrt.f64 (-.f64 x y))
Outputs
(sqrt.f64 (-.f64 x y))
Calls

3 calls:

0.0ms
(-.f64 x y)
0.0ms
x
0.0ms
y
Results
AccuracySegmentsBranch
0.0%1x
0.0%1y
0.0%1(-.f64 x y)
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×sub-neg
4×+-commutative
2×*-commutative
2×neg-sub0
2×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01238
11638
22338
32838
43138
53238
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (-.f64 x y))

soundness297.0ms (14.4%)

Rules
680×unsub-neg
566×prod-diff
518×log1p-expm1-u
518×expm1-log1p-u
441×pow1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01121
112017
2162517
01641572
12871540
24811540
310741540
432151540
553791540
Stop Event
1×done
1×node limit
1×node limit
Compiler

Compiled 103 to 40 computations (61.2% saved)

preprocess35.0ms (1.7%)

Remove

(sort x y)

Compiler

Compiled 64 to 42 computations (34.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...