Graphics.Rasterific.Shading:$sradialGradientWithFocusShader from Rasterific-0.6.1

Time bar (total: 1.5s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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 7 to 6 computations (14.3% saved)

sample695.0ms (45.6%)

Memory
33.9MiB live, 1 105.0MiB allocated; 239ms collecting garbage
Samples
416.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 158.0ms
ival-mult: 105.0ms (66.4% of total)
ival-sub: 41.0ms (25.9% of total)
ival-true: 6.0ms (3.8% of total)
ival-assert: 4.0ms (2.5% of total)
adjust: 3.0ms (1.9% of total)
Bogosity

explain91.0ms (6%)

Memory
-8.9MiB live, 94.6MiB allocated; 61ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(-.f64 x (*.f64 y y))
00-0-y
00-0-(*.f64 y y)
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
20.0ms512×0valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 4.0ms (54.8% of total)
ival-sub: 2.0ms (27.4% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess45.0ms (2.9%)

Memory
-24.2MiB live, 24.4MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01229
13229
28627
314527
419127
045
065
1125
2335
3595
4745
0745
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(-.f64 x (*.f64 y y))
Outputs
(-.f64 x (*.f64 y y))
Symmetry

(abs y)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

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

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 x (*.f64 y y))
Compiler

Compiled 5 to 4 computations (20% saved)

simplify4.0ms (0.3%)

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

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 y y)
cost-diff0
(-.f64 x (*.f64 y y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0410
0610
11210
23310
35910
47410
07410
Stop Event
iter limit
saturated
iter limit
Calls
Call 1
Inputs
(-.f64 x (*.f64 y y))
x
(*.f64 y y)
y
Outputs
(-.f64 x (*.f64 y y))
x
(*.f64 y y)
y

localize18.0ms (1.2%)

Memory
-9.9MiB live, 36.1MiB allocated; 4ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 y y)
accuracy0.00390625
(-.f64 x (*.f64 y y))
Samples
14.0ms256×0valid
Compiler

Compiled 12 to 6 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-mult: 2.0ms (54.3% of total)
ival-sub: 1.0ms (27.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory
6.2MiB live, 6.2MiB allocated; 0ms collecting garbage
Counts
2 → 8
Calls
Call 1
Inputs
(-.f64 x (*.f64 y y))
(*.f64 y y)
Outputs
(* -1 (pow y 2))
(- x (pow y 2))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(+ x (* -1 (pow y 2)))
(pow y 2)
(* (pow y 2) (- (/ x (pow y 2)) 1))
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
((- x (* y y)) (* y y))
0.0ms
y
@0
((- x (* y y)) (* y y))
0.0ms
y
@-inf
((- x (* y y)) (* y y))
0.0ms
x
@inf
((- x (* y y)) (* y y))
0.0ms
x
@0
((- x (* y y)) (* y y))

simplify155.0ms (10.1%)

Memory
18.6MiB live, 346.1MiB allocated; 37ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01939
14839
213739
353239
4270039
0886239
Stop Event
iter limit
node limit
Counts
8 → 7
Calls
Call 1
Inputs
(* -1 (pow y 2))
(- x (pow y 2))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(+ x (* -1 (pow y 2)))
(pow y 2)
(* (pow y 2) (- (/ x (pow y 2)) 1))
Outputs
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(- x (pow y 2))
(-.f64 x (*.f64 y y))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(-.f64 x (*.f64 y y))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(-.f64 x (*.f64 y y))
(+ x (* -1 (pow y 2)))
(-.f64 x (*.f64 y y))
(pow y 2)
(*.f64 y y)
(* (pow y 2) (- (/ x (pow y 2)) 1))
(*.f64 (*.f64 (-.f64 (/.f64 x (*.f64 y y)) #s(literal 1 binary64)) y) y)

rewrite39.0ms (2.5%)

Memory
-1.4MiB live, 91.2MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
048
068
1278
02108
Stop Event
iter limit
iter limit
iter limit
unsound
iter limit
Counts
2 → 28
Calls
Call 1
Inputs
(-.f64 x (*.f64 y y))
(*.f64 y y)
Outputs
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 y) y) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (pow.f64 y #s(literal 4 binary64)) (*.f64 x (*.f64 (neg.f64 y) y)))))
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64)))) (neg.f64 (fma.f64 y y x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)))) (neg.f64 (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64))) (fma.f64 y y x))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64))) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64)))))
(fma.f64 (neg.f64 y) y x)
(fma.f64 y (neg.f64 y) x)
(-.f64 (/.f64 (*.f64 x x) (fma.f64 y y x)) (/.f64 (pow.f64 y #s(literal 4 binary64)) (fma.f64 y y x)))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(-.f64 x (*.f64 (neg.f64 (neg.f64 y)) y))
(-.f64 x (*.f64 y y))
(+.f64 (*.f64 (neg.f64 y) y) x)
(+.f64 x (*.f64 (neg.f64 (neg.f64 y)) (neg.f64 y)))
(+.f64 x (*.f64 (neg.f64 (fabs.f64 y)) (fabs.f64 y)))
(+.f64 x (*.f64 (neg.f64 y) y))
(*.f64 (pow.f64 y #s(literal 1 binary64)) (pow.f64 y #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 y)))
(*.f64 (neg.f64 (fabs.f64 y)) (neg.f64 (fabs.f64 y)))
(*.f64 (fabs.f64 (fabs.f64 y)) (fabs.f64 (fabs.f64 y)))
(*.f64 (neg.f64 y) (neg.f64 y))
(*.f64 (fabs.f64 y) (fabs.f64 y))
(*.f64 y y)
(pow.f64 (neg.f64 y) #s(literal 2 binary64))
(pow.f64 (fabs.f64 y) #s(literal 2 binary64))
(pow.f64 y #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 y) y))
(fabs.f64 (*.f64 y y))
(exp.f64 (*.f64 (log.f64 y) #s(literal 2 binary64)))

eval3.0ms (0.2%)

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

Compiled 327 to 92 computations (71.9% saved)

prune2.0ms (0.1%)

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

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New30232
Fresh000
Picked101
Done000
Total31233
Accuracy
100.0%
Counts
33 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 (neg.f64 y) y x)
46.9%
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify11.0ms (0.7%)

Memory
-44.6MiB live, 10.1MiB allocated; 9ms collecting garbage
Localize:

Found 5 expressions of interest:

NewMetricScoreProgram
cost-diff0
(neg.f64 y)
cost-diff0
(fma.f64 (neg.f64 y) y x)
cost-diff0
(neg.f64 y)
cost-diff0
(*.f64 (neg.f64 y) y)
cost-diff0
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0826
01126
11726
23526
36026
47326
07326
Stop Event
iter limit
saturated
iter limit
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(fma.f64 (neg.f64 y) y x)
(neg.f64 y)
y
x
Outputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
(neg.f64 y)
y
x

localize24.0ms (1.6%)

Memory
21.8MiB live, 68.1MiB allocated; 3ms collecting garbage
Localize:

Found 5 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(fma.f64 (neg.f64 y) y x)
accuracy0.0
(neg.f64 y)
accuracy0.0
(*.f64 (neg.f64 y) y)
accuracy0.0
(neg.f64 y)
accuracy33.96142788468678
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Samples
17.0ms256×0valid
Compiler

Compiled 24 to 9 computations (62.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 4.0ms (53.4% of total)
ival-sub: 1.0ms (13.3% of total)
ival-add: 1.0ms (13.3% of total)
ival-neg: 1.0ms (13.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0.2%)

Memory
14.0MiB live, 14.0MiB allocated; 0ms collecting garbage
Counts
4 → 8
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(fma.f64 (neg.f64 y) y x)
Outputs
(* -1 (pow y 2))
(- x (pow y 2))
(+ x (* -1 (pow y 2)))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(* -1 y)
(* (pow y 2) (- (/ x (pow y 2)) 1))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
((- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
1.0ms
y
@-inf
((- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms
y
@0
((- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms
x
@0
((- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms
x
@inf
((- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))

simplify140.0ms (9.2%)

Memory
-29.6MiB live, 160.5MiB allocated; 35ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02038
15138
213538
351238
4245738
5794438
0804038
Stop Event
iter limit
node limit
Counts
8 → 7
Calls
Call 1
Inputs
(* -1 (pow y 2))
(- x (pow y 2))
(+ x (* -1 (pow y 2)))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(* -1 y)
(* (pow y 2) (- (/ x (pow y 2)) 1))
Outputs
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(- x (pow y 2))
(-.f64 x (*.f64 y y))
(+ x (* -1 (pow y 2)))
(-.f64 x (*.f64 y y))
x
(* x (+ 1 (* -1 (/ (pow y 2) x))))
(-.f64 x (*.f64 y y))
(* -1 (* x (- (/ (pow y 2) x) 1)))
(-.f64 x (*.f64 y y))
(* -1 y)
(neg.f64 y)
(* (pow y 2) (- (/ x (pow y 2)) 1))
(*.f64 (*.f64 (-.f64 (/.f64 x (*.f64 y y)) #s(literal 1 binary64)) y) y)

rewrite45.0ms (2.9%)

Memory
28.1MiB live, 73.2MiB allocated; 18ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0821
01121
14221
031621
Stop Event
iter limit
iter limit
iter limit
unsound
iter limit
Counts
4 → 32
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(fma.f64 (neg.f64 y) y x)
Outputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 (fabs.f64 y)) (fabs.f64 y))
(*.f64 (neg.f64 (neg.f64 y)) (neg.f64 y))
(*.f64 (fabs.f64 y) (neg.f64 (fabs.f64 y)))
(*.f64 (neg.f64 y) (neg.f64 (neg.f64 y)))
(*.f64 (neg.f64 y) y)
(*.f64 y (neg.f64 y))
(neg.f64 (*.f64 y y))
(neg.f64 y)
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64)))) (neg.f64 (fma.f64 y y x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (*.f64 x x))) (neg.f64 (-.f64 (*.f64 (neg.f64 y) y) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)))) (neg.f64 (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64))))) (neg.f64 (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64))) (fma.f64 y y x))
(/.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (*.f64 x x)) (-.f64 (*.f64 (neg.f64 y) y) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64))) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64)))) (fma.f64 x x (-.f64 (pow.f64 y #s(literal 4 binary64)) (*.f64 (*.f64 (neg.f64 y) y) x))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64)))) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 (neg.f64 (fabs.f64 y)) (fabs.f64 y) x)
(fma.f64 (neg.f64 (neg.f64 y)) (neg.f64 y) x)
(fma.f64 (fabs.f64 y) (neg.f64 (fabs.f64 y)) x)
(fma.f64 (neg.f64 y) (neg.f64 (neg.f64 y)) x)
(fma.f64 (neg.f64 y) y x)
(fma.f64 y (neg.f64 y) x)
(-.f64 (/.f64 (*.f64 x x) (fma.f64 y y x)) (/.f64 (pow.f64 y #s(literal 4 binary64)) (fma.f64 y y x)))
(-.f64 (/.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 (neg.f64 y) y) x)) (/.f64 (*.f64 x x) (-.f64 (*.f64 (neg.f64 y) y) x)))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(-.f64 x (*.f64 (neg.f64 (neg.f64 y)) y))
(-.f64 x (*.f64 y y))
(+.f64 (/.f64 (neg.f64 (pow.f64 y #s(literal 6 binary64))) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))))
(+.f64 (*.f64 (neg.f64 y) y) x)
(+.f64 x (*.f64 (neg.f64 y) y))

eval4.0ms (0.2%)

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

Compiled 479 to 98 computations (79.5% saved)

prune8.0ms (0.5%)

Memory
-33.7MiB live, 13.2MiB allocated; 6ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh000
Picked022
Done000
Total38240
Accuracy
100.0%
Counts
40 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 (neg.f64 y) y x)
46.9%
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Compiler

Compiled 35 to 21 computations (40% saved)

regimes6.0ms (0.4%)

Memory
21.6MiB live, 21.6MiB allocated; 0ms collecting garbage
Counts
3 → 1
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(-.f64 x (*.f64 y y))
(fma.f64 (neg.f64 y) y x)
Outputs
(fma.f64 (neg.f64 y) y x)
Calls

4 calls:

2.0ms
y
2.0ms
x
1.0ms
(-.f64 x (*.f64 y y))
1.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
100.0%1(*.f64 y y)
100.0%1(-.f64 x (*.f64 y y))
100.0%1x
100.0%1y
Compiler

Compiled 10 to 11 computations (-10% saved)

regimes5.0ms (0.3%)

Memory
18.3MiB live, 18.3MiB allocated; 0ms collecting garbage
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(-.f64 x (*.f64 y y))
Outputs
(-.f64 x (*.f64 y y))
Calls

4 calls:

1.0ms
x
1.0ms
y
1.0ms
(-.f64 x (*.f64 y y))
1.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
100.0%1(*.f64 y y)
100.0%1(-.f64 x (*.f64 y y))
100.0%1x
100.0%1y
Compiler

Compiled 10 to 11 computations (-10% saved)

regimes10.0ms (0.6%)

Memory
-37.0MiB live, 20.4MiB allocated; 6ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Outputs
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Calls

4 calls:

6.0ms
y
1.0ms
x
1.0ms
(-.f64 x (*.f64 y y))
1.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
46.9%1(*.f64 y y)
46.9%1(-.f64 x (*.f64 y y))
46.9%1x
46.9%1y
Compiler

Compiled 10 to 11 computations (-10% saved)

simplify10.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12320
24920
37620
49120
Stop Event
saturated
Calls
Call 1
Inputs
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
Outputs
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))

derivations179.0ms (11.7%)

Memory
-2.7MiB live, 189.4MiB allocated; 17ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01939
14839
213739
353239
4270039
0886239
048
068
1278
02108
Stop Event
done
iter limit
iter limit
iter limit
unsound
iter limit
iter limit
node limit
Compiler

Compiled 20 to 10 computations (50% saved)

preprocess26.0ms (1.7%)

Memory
-4.9MiB live, 42.0MiB allocated; 5ms collecting garbage
Remove

(abs y)

Compiler

Compiled 70 to 44 computations (37.1% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...