Data.Colour.RGB:hslsv from colour-2.3.3, A

Time bar (total: 1.1s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.6MiB live, 0.6MiB 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 7 computations (0% saved)

sample663.0ms (58%)

Memory
15.9MiB live, 812.8MiB allocated; 144ms collecting garbage
Samples
385.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 140.0ms
ival-div: 74.0ms (52.7% of total)
ival-add: 57.0ms (40.6% of total)
exact: 5.0ms (3.6% of total)
ival-assert: 3.0ms (2.1% of total)
adjust: 2.0ms (1.4% of total)
Bogosity

explain75.0ms (6.6%)

Memory
7.3MiB live, 53.9MiB allocated; 4ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(/.f64 (+.f64 x y) #s(literal 2 binary64))
00-0-y
00-0-#s(literal 2 binary64)
00-0-(+.f64 x 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
52.0ms512×0valid
Compiler

Compiled 31 to 19 computations (38.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 41.0ms
ival-add: 36.0ms (88.8% of total)
ival-div: 3.0ms (7.4% 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)

preprocess236.0ms (20.6%)

Memory
10.3MiB live, 151.7MiB allocated; 22ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01534
13534
26534
39934
415534
537230
6160330
7547030
055
075
1135
2175
3255
4515
51655
69355
754495
083575
Stop Event
iter limit
node limit
iter limit
node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Outputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))
(*.f64 (*.f64 (/.f64 (/.f64 (*.f64 (+.f64 y x) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal -1 binary64)) #s(literal -2 binary64))
Symmetry

(sort x y)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

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

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Compiler

Compiled 5 to 5 computations (0% saved)

series4.0ms (0.3%)

Memory
5.6MiB live, 5.6MiB allocated; 0ms collecting garbage
Counts
5 → 16
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))
(+.f64 x y)
x
y
#s(literal 2 binary64)
Outputs
#s(approx (/ (+ x y) 2) #s(hole binary64 (* 1/2 y)))
#s(approx (/ (+ x y) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 y))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (/ y x))))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (/ y x)) 1/2)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* y (+ 1/2 (* 1/2 (/ x y))))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* -1 (* y (- (* -1/2 (/ x y)) 1/2)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
((/ (+ x y) 2) (+ x y) x y 2)
1.0ms
x
@-inf
((/ (+ x y) 2) (+ x y) x y 2)
1.0ms
x
@inf
((/ (+ x y) 2) (+ x y) x y 2)
1.0ms
y
@-inf
((/ (+ x y) 2) (+ x y) x y 2)
0.0ms
x
@0
((/ (+ x y) 2) (+ x y) x y 2)

rewrite81.0ms (7.1%)

Memory
11.0MiB live, 58.3MiB allocated; 2ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058181
059173
1258173
01962169
Stop Event
iter limit
iter limit
node limit
iter limit
Counts
21 → 41
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))
(+.f64 x y)
x
y
#s(literal 2 binary64)
#s(approx (/ (+ x y) 2) #s(hole binary64 (* 1/2 y)))
#s(approx (/ (+ x y) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 y))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (/ y x))))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (/ y x)) 1/2)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* y (+ 1/2 (* 1/2 (/ x y))))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (/ (+ x y) 2) #s(hole binary64 (* -1 (* y (- (* -1/2 (/ x y)) 1/2)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
Outputs
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64))) (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)))) (-.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64))))
(/.f64 (+.f64 (pow.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64))) (-.f64 (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64))) (*.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) x))) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) y)) #s(literal 4 binary64))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (*.f64 (-.f64 x y) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3 binary64))) (*.f64 (fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 y (-.f64 y x))) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) x)) #s(literal -2 binary64))
(/.f64 (+.f64 y x) #s(literal 2 binary64))
(neg.f64 (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) x)) #s(literal 2 binary64)))
(neg.f64 (/.f64 (+.f64 y x) #s(literal -2 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)))
(+.f64 (/.f64 (*.f64 #s(literal -1 binary64) x) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) y) #s(literal -2 binary64)))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) (-.f64 y x))
(/.f64 (neg.f64 (*.f64 (+.f64 y x) (-.f64 x y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 y (-.f64 y x)))))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (-.f64 x y))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (fabs.f64 y) (fabs.f64 y) (-.f64 (*.f64 x x) (*.f64 y x))))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 y (-.f64 y x))))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 y (-.f64 y x)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 y (-.f64 y x)))))
(+.f64 y x)
(+.f64 x y)
x
y
#s(literal 2 binary64)
#s(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) y))
#s(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) (+.f64 y x)))
#s(approx (+ x y) y)
#s(approx (+ x y) (+.f64 y x))
#s(approx x x)
#s(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (/ (+ x y) 2) (*.f64 (fma.f64 (/.f64 y x) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) x))
#s(approx (+ x y) x)
#s(approx (+ x y) (*.f64 (fma.f64 #s(literal 1 binary64) (/.f64 y x) #s(literal 1 binary64)) x))
#s(approx (/ (+ x y) 2) (*.f64 (*.f64 (-.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 y x)) #s(literal 1/2 binary64)) x) #s(literal -1 binary64)))
#s(approx (+ x y) (*.f64 (*.f64 (fma.f64 (*.f64 #s(literal -1 binary64) (/.f64 y x)) #s(literal 1 binary64) #s(literal -1 binary64)) x) #s(literal -1 binary64)))
#s(approx y y)
#s(approx (/ (+ x y) 2) (*.f64 (fma.f64 (/.f64 x y) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) y))
#s(approx (+ x y) (*.f64 (fma.f64 (/.f64 x y) #s(literal 1 binary64) #s(literal 1 binary64)) y))
#s(approx (/ (+ x y) 2) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 x y) #s(literal -1/2 binary64)) #s(literal 1/2 binary64)) y) #s(literal -1 binary64)))
#s(approx (+ x y) (*.f64 (*.f64 (fma.f64 (*.f64 (/.f64 x y) #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal -1 binary64)) y) #s(literal -1 binary64)))

eval4.0ms (0.4%)

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

Compiled 568 to 148 computations (73.9% saved)

prune34.0ms (2.9%)

Memory
-33.6MiB live, 20.6MiB allocated; 6ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh000
Picked011
Done000
Total41142
Accuracy
100.0%
Counts
42 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Compiler

Compiled 10 to 10 computations (0% saved)

simplify36.0ms (3.1%)

Memory
-0.7MiB live, 45.5MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
175
2105
3165
4485
53685
634585
Stop Event
node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Outputs
(/.f64 (+.f64 x y) #s(literal 2 binary64))

derivations0.0ms (0%)

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

Compiled 5 to 5 computations (0% saved)

preprocess10.0ms (0.9%)

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

(sort x y)

Compiler

Compiled 40 to 40 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...