sqrt D (should all be same)

Time bar (total: 2.4s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 8 to 7 computations (12.5% saved)

sample788.0ms (33.1%)

Memory
-9.5MiB live, 701.5MiB allocated; 229ms collecting garbage
Samples
505.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 310.0ms
ival-sqrt: 126.0ms (40.7% of total)
ival-pow2: 106.0ms (34.2% of total)
ival-mult: 61.0ms (19.7% of total)
ival-true: 6.0ms (1.9% of total)
exact: 5.0ms (1.6% of total)
ival-assert: 3.0ms (1% of total)
adjust: 2.0ms (0.6% of total)
Bogosity

explain71.0ms (3%)

Memory
-16.3MiB live, 106.6MiB allocated; 19ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1240-2(-1.7018849600979206e-160)(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
00-0-(pow.f64 x #s(literal 2 binary64))
00-0-#s(literal 2 binary64)
00-0-(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))oflow-rescue640
↳(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))overflow64
↳(pow.f64 x #s(literal 2 binary64))overflow64
sqrt.f64(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))uflow-rescue580
↳(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))underflow58
↳(pow.f64 x #s(literal 2 binary64))underflow58
Confusion
Predicted +Predicted -
+1222
-0132
Precision
1.0
Recall
0.9838709677419355
Confusion?
Predicted +Predicted MaybePredicted -
+12202
-00132
Precision?
1.0
Recall?
0.9838709677419355
Freqs
test
numberfreq
0134
1122
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
25.0ms512×0valid
Compiler

Compiled 42 to 19 computations (54.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
ival-pow2: 6.0ms (43.8% of total)
ival-mult: 3.0ms (21.9% of total)
ival-sqrt: 3.0ms (21.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess325.0ms (13.7%)

Memory
16.6MiB live, 205.5MiB allocated; 36ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11819
25519
316719
440819
5130419
6510119
056
086
1136
2346
31066
43586
510966
645306
080833
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
Outputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(hypot.f64 x x)
Symmetry

(abs x)

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

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

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶55.0%
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify158.0ms (6.6%)

Memory
26.9MiB live, 158.2MiB allocated; 19ms collecting garbage
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
cost-diff0
(pow.f64 x #s(literal 2 binary64))
cost-diff0
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
cost-diff3
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0516
0816
11316
23416
310616
435816
5109616
6453016
0808313
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
x
Outputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(hypot.f64 x x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
(*.f64 (*.f64 x x) #s(literal 2 binary64))
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
(*.f64 x x)
x

localize43.0ms (1.8%)

Memory
-54.4MiB live, 50.2MiB allocated; 13ms collecting garbage
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(pow.f64 x #s(literal 2 binary64))
accuracy0.00390625
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
accuracy28.795561539218873
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
Samples
12.0ms256×0valid
Compiler

Compiled 18 to 7 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-pow2: 3.0ms (45.8% of total)
ival-mult: 2.0ms (30.5% of total)
ival-sqrt: 2.0ms (30.5% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series4.0ms (0.2%)

Memory
15.2MiB live, 15.2MiB allocated; 0ms collecting garbage
Counts
3 → 4
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
Outputs
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* 2 (pow x 2)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (pow x 2) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((sqrt (* 2 (pow x 2))) (* 2 (pow x 2)) (pow x 2))
1.0ms
x
@0
((sqrt (* 2 (pow x 2))) (* 2 (pow x 2)) (pow x 2))
1.0ms
x
@-inf
((sqrt (* 2 (pow x 2))) (* 2 (pow x 2)) (pow x 2))

simplify154.0ms (6.5%)

Memory
25.3MiB live, 115.6MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01341
12341
25541
313041
441141
5131941
6491041
0813135
Stop Event
1×iter limit
1×node limit
Counts
4 → 4
Calls
Call 1
Inputs
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* 2 (pow x 2)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (pow x 2) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
Outputs
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* 2 (pow x 2))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (* 2 (pow x 2)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* 2 (pow x 2)) (*.f64 (*.f64 x x) #s(literal 2 binary64)))
#s(approx (pow x 2) #s(hole binary64 (pow x 2)))
#s(approx (pow x 2) (*.f64 x x))
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (* 2 (pow x 2))) (*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64))))

rewrite50.0ms (2.1%)

Memory
-33.2MiB live, 22.7MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514
0814
12412
010511
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
3 → 39
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
Outputs
(*.f64 (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) (exp.f64 (log.f64 x)))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 (exp.f64 (log.f64 x)) (neg.f64 x))
(hypot.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(hypot.f64 (exp.f64 (log.f64 x)) x)
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (exp.f64 (log.f64 x)))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(*.f64 (*.f64 #s(literal 2 binary64) x) x)
(*.f64 (*.f64 x x) #s(literal 2 binary64))
(*.f64 x (*.f64 x #s(literal 2 binary64)))
(*.f64 x (+.f64 x x))
(*.f64 #s(literal 2 binary64) (*.f64 x x))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 x x))) (-.f64 (*.f64 x x) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 (*.f64 x x) #s(literal 3 binary64)) (pow.f64 (*.f64 x x) #s(literal 3 binary64))) (fma.f64 (*.f64 x x) (*.f64 x x) (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 x x) (*.f64 x x)))))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 x x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) (*.f64 #s(literal 1 binary64) (*.f64 x x)))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 1 binary64)))
(fma.f64 x x (*.f64 x x))
(-.f64 (*.f64 x x) (*.f64 (neg.f64 x) x))
(+.f64 (*.f64 #s(literal 1 binary64) (*.f64 x x)) (*.f64 #s(literal 1 binary64) (*.f64 x x)))
(+.f64 (*.f64 (*.f64 x x) #s(literal 1 binary64)) (*.f64 (*.f64 x x) #s(literal 1 binary64)))
(+.f64 (*.f64 x x) (*.f64 x x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 x) #s(literal 2 binary64))))

eval4.0ms (0.2%)

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

Compiled 382 to 108 computations (71.7% saved)

prune2.0ms (0.1%)

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

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New40343
Fresh000
Picked101
Done000
Total41344
Accuracy
100.0%
Counts
44 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(hypot.f64 x x)
▶99.3%
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
▶55.0%
(sqrt.f64 (*.f64 x (+.f64 x x)))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify135.0ms (5.7%)

Memory
-6.0MiB live, 129.1MiB allocated; 14ms collecting garbage
Localize:

Found 6 expressions of interest:

NewMetricScoreProgram
cost-diff0
(hypot.f64 x x)
cost-diff0
(sqrt.f64 #s(literal 2 binary64))
cost-diff0
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
cost-diff0
(+.f64 x x)
cost-diff0
(*.f64 x (+.f64 x x))
cost-diff3
(sqrt.f64 (*.f64 x (+.f64 x x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0827
01624
12824
26624
315824
437524
5104624
6432224
0876224
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 x (+.f64 x x)))
(*.f64 x (+.f64 x x))
x
(+.f64 x x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(hypot.f64 x x)
x
Outputs
(sqrt.f64 (*.f64 x (+.f64 x x)))
(hypot.f64 x x)
(*.f64 x (+.f64 x x))
(*.f64 (*.f64 #s(literal 2 binary64) x) x)
x
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(hypot.f64 x x)
x

localize26.0ms (1.1%)

Memory
28.7MiB live, 28.7MiB allocated; 0ms collecting garbage
Localize:

Found 6 expressions of interest:

NewMetricScoreProgram
accuracy0.0078125
(hypot.f64 x x)
accuracy0.0
(sqrt.f64 #s(literal 2 binary64))
accuracy0.41796875
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
accuracy0.0
(+.f64 x x)
accuracy0.0
(*.f64 x (+.f64 x x))
accuracy28.795561539218873
(sqrt.f64 (*.f64 x (+.f64 x x)))
Samples
20.0ms256×0valid
Compiler

Compiled 34 to 10 computations (70.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-hypot: 4.0ms (32.3% of total)
ival-mult: 3.0ms (24.2% of total)
ival-sqrt: 3.0ms (24.2% of total)
ival-add: 1.0ms (8.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory
4.5MiB live, 4.5MiB allocated; 0ms collecting garbage
Counts
6 → 7
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 x (+.f64 x x)))
(*.f64 x (+.f64 x x))
(+.f64 x x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(hypot.f64 x x)
Outputs
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* x (+ x x)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (+ x x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((sqrt (* x (+ x x))) (* x (+ x x)) (+ x x) (* (sqrt 2) x) (sqrt 2) (sqrt (+ (* x x) (* x x))))
1.0ms
x
@inf
((sqrt (* x (+ x x))) (* x (+ x x)) (+ x x) (* (sqrt 2) x) (sqrt 2) (sqrt (+ (* x x) (* x x))))
1.0ms
x
@0
((sqrt (* x (+ x x))) (* x (+ x x)) (+ x x) (* (sqrt 2) x) (sqrt 2) (sqrt (+ (* x x) (* x x))))

simplify213.0ms (9%)

Memory
-22.0MiB live, 121.7MiB allocated; 28ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02373
14273
210273
323573
447473
5132973
6560773
0817861
Stop Event
1×iter limit
1×node limit
Counts
7 → 7
Calls
Call 1
Inputs
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* x (+ x x)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (+ x x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
Outputs
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* x (+ x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
#s(approx (* x (+ x x)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* x (+ x x)) (*.f64 (*.f64 #s(literal 2 binary64) x) x))
#s(approx (+ x x) #s(hole binary64 (* 2 x)))
#s(approx (+ x x) (*.f64 #s(literal 2 binary64) x))
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (sqrt 2) x) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* x (+ x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
#s(approx (sqrt (* x (+ x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (* x (+ x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 x)))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (* x (+ x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 x)))

rewrite88.0ms (3.7%)

Memory
-3.2MiB live, 96.3MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0823
01619
15112
035012
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
6 → 40
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 x (+.f64 x x)))
(*.f64 x (+.f64 x x))
(+.f64 x x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(hypot.f64 x x)
Outputs
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(literal 2 binary64)
#s(literal 2 binary64)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (*.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

eval2.0ms (0.1%)

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

Compiled 137 to 59 computations (56.9% saved)

prune2.0ms (0.1%)

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

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New19120
Fresh000
Picked033
Done000
Total19423
Accuracy
100.0%
Counts
23 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(hypot.f64 x x)
✓99.3%
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓55.0%
(sqrt.f64 (*.f64 x (+.f64 x x)))
▶5.5%
(sqrt.f64 #s(literal 2 binary64))
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify151.0ms (6.4%)

Memory
20.2MiB live, 110.8MiB allocated; 9ms collecting garbage
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff0
(sqrt.f64 #s(literal 2 binary64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023
033
153
283
3133
4333
51103
65633
746773
084083
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
Outputs
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

localize12.0ms (0.5%)

Memory
-28.8MiB live, 17.7MiB allocated; 4ms collecting garbage
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(sqrt.f64 #s(literal 2 binary64))
Samples
8.0ms256×0valid
Compiler

Compiled 5 to 5 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-sqrt: 4.0ms (93.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Counts
1 → 0
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
Outputs
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@0
((sqrt 2))
0.0ms
x
@inf
((sqrt 2))
0.0ms
x
@-inf
((sqrt 2))

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

rewrite15.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
022
032
172
0252
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
1 → 4
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
Outputs
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

eval1.0ms (0%)

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

Compiled 17 to 11 computations (35.3% saved)

prune6.0ms (0.3%)

Memory
-46.3MiB live, 4.2MiB allocated; 7ms collecting garbage
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New404
Fresh000
Picked011
Done033
Total448
Accuracy
100.0%
Counts
8 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(hypot.f64 x x)
✓99.3%
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
✓55.0%
(sqrt.f64 (*.f64 x (+.f64 x x)))
✓5.5%
(sqrt.f64 #s(literal 2 binary64))
Compiler

Compiled 36 to 24 computations (33.3% saved)

regimes25.0ms (1%)

Memory
42.6MiB live, 42.6MiB allocated; 0ms collecting garbage
Counts
5 → 1
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(hypot.f64 x x)
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
Outputs
(hypot.f64 x x)
Calls

4 calls:

2.0ms
x
2.0ms
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
2.0ms
(pow.f64 x #s(literal 2 binary64))
2.0ms
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
100.0%1(pow.f64 x #s(literal 2 binary64))
100.0%1(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
100.0%1(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
100.0%1x
Compiler

Compiled 15 to 13 computations (13.3% saved)

regimes16.0ms (0.7%)

Memory
-29.1MiB live, 14.8MiB allocated; 9ms collecting garbage
Counts
3 → 1
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 (*.f64 x (+.f64 x x)))
Outputs
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
Calls

4 calls:

12.0ms
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
2.0ms
x
1.0ms
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
1.0ms
(pow.f64 x #s(literal 2 binary64))
Results
AccuracySegmentsBranch
99.3%1(pow.f64 x #s(literal 2 binary64))
99.3%1(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
99.3%1(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
99.3%1x
Compiler

Compiled 15 to 13 computations (13.3% saved)

regimes4.0ms (0.2%)

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

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
(sqrt.f64 #s(literal 2 binary64))
Outputs
(sqrt.f64 #s(literal 2 binary64))
Calls

4 calls:

1.0ms
x
1.0ms
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
1.0ms
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
1.0ms
(pow.f64 x #s(literal 2 binary64))
Results
AccuracySegmentsBranch
5.5%1(pow.f64 x #s(literal 2 binary64))
5.5%1(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
5.5%1(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
5.5%1x
Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify53.0ms (2.2%)

Memory
-10.2MiB live, 34.4MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059
179
2109
3169
4489
53709
634609
Stop Event
1×node limit
Calls
Call 1
Inputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
Outputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))

derivations5.0ms (0.2%)

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

Compiled 9 to 5 computations (44.4% saved)

preprocess16.0ms (0.7%)

Memory
20.3MiB live, 20.3MiB allocated; 0ms collecting garbage
Remove

(abs x)

Compiler

Compiled 36 to 24 computations (33.3% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...