Statistics.Correlation.Kendall:numOfTiesBy from math-functions-0.1.5.2

Time bar (total: 1.2s)

start0.0ms (0%)

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

analyze30.0ms (2.4%)

Memory
-54.9MiB live, 0.9MiB allocated; 35ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample793.0ms (64.2%)

Memory
16.7MiB live, 628.4MiB allocated; 195ms collecting garbage
Samples
532.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 225.0ms
ival-sub!: 160.0ms (71.1% of total)
ival-mult!: 63.0ms (28% of total)
adjust: 2.0ms (0.9% of total)
Bogosity

preprocess83.0ms (6.7%)

Memory
-0.8MiB live, 44.8MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0820
12716
28115
321715
497815
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Compiler

Compiled 8 to 8 computations (0% saved)

series9.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02483
Stop Event
iter-limit
Counts
4 → 9
Calls
Call 1
Inputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
x
(-.f64 x #s(literal 1 binary64))
#s(literal 1 binary64)
Outputs
#s(approx (* x (- x 1)) (*.f64 #s(literal -1 binary64) x))
#s(approx (* x (- x 1)) (*.f64 x (-.f64 x #s(literal 1 binary64))))
#s(approx x x)
#s(approx (- x 1) #s(literal -1 binary64))
#s(approx (- x 1) (-.f64 x #s(literal 1 binary64)))
#s(approx (* x (- x 1)) (pow.f64 x #s(literal 2 binary64)))
#s(approx (* x (- x 1)) (*.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
#s(approx (- x 1) (*.f64 x (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
#s(approx (- x 1) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((* x (- x 1)) x (- x 1) 1)
1.0ms
x
@-inf
((* x (- x 1)) x (- x 1) 1)
1.0ms
x
@0
((* x (- x 1)) x (- x 1) 1)

rewrite60.0ms (4.9%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0410
0610
13110
024710
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
4 → 37
Calls
Call 1
Inputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
x
(-.f64 x #s(literal 1 binary64))
#s(literal 1 binary64)
Outputs
(*.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) x) (*.f64 x x))
(*.f64 (-.f64 x #s(literal 1 binary64)) x)
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(/.f64 (*.f64 x (fma.f64 x x #s(literal -1 binary64))) (-.f64 x #s(literal -1 binary64)))
(/.f64 (*.f64 x (fma.f64 (*.f64 x x) x #s(literal -1 binary64))) (fma.f64 x x (-.f64 x #s(literal -1 binary64))))
(/.f64 (*.f64 (fma.f64 x x #s(literal -1 binary64)) x) (-.f64 x #s(literal -1 binary64)))
(/.f64 (*.f64 (fma.f64 (*.f64 x x) x #s(literal -1 binary64)) x) (fma.f64 x x (-.f64 x #s(literal -1 binary64))))
(neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) x) x))
(neg.f64 (*.f64 x (-.f64 #s(literal 1 binary64) x)))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x #s(literal -1 binary64)))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 #s(literal -1 binary64) x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x #s(literal -1 binary64)))
(fma.f64 x x (*.f64 #s(literal -1 binary64) x))
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
(+.f64 (*.f64 x x) (*.f64 #s(literal -1 binary64) x))
(+.f64 (*.f64 x x) (*.f64 x #s(literal -1 binary64)))
x
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) x)) x)
(*.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) x) x)
(*.f64 (fma.f64 x x #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal -1 binary64))))
(*.f64 (fma.f64 (*.f64 x x) x #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (-.f64 x #s(literal -1 binary64)))))
(*.f64 x (/.f64 (-.f64 x #s(literal 1 binary64)) x))
(/.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))) (neg.f64 (-.f64 x #s(literal -1 binary64))))
(/.f64 (neg.f64 (fma.f64 (*.f64 x x) x #s(literal -1 binary64))) (neg.f64 (fma.f64 x x (-.f64 x #s(literal -1 binary64)))))
(/.f64 (fma.f64 x x #s(literal -1 binary64)) (-.f64 x #s(literal -1 binary64)))
(/.f64 (fma.f64 (*.f64 x x) x #s(literal -1 binary64)) (fma.f64 x x (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal -1 binary64)))))
(/.f64 (fma.f64 (*.f64 x x) x #s(literal -1 binary64)) (fma.f64 x x (-.f64 x #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x (-.f64 x #s(literal -1 binary64))) (fma.f64 (*.f64 x x) x #s(literal -1 binary64))))
(neg.f64 (-.f64 #s(literal 1 binary64) x))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal -1 binary64))))
(-.f64 (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 x x (-.f64 x #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (-.f64 x #s(literal -1 binary64)))))
(-.f64 x #s(literal 1 binary64))
(+.f64 #s(literal -1 binary64) x)
(+.f64 x #s(literal -1 binary64))
#s(literal 1 binary64)

eval12.0ms (1%)

Memory
-32.3MiB live, 13.2MiB allocated; 4ms collecting garbage
Compiler

Compiled 198 to 114 computations (42.4% saved)

prune3.0ms (0.3%)

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New40242
Fresh000
Picked011
Done000
Total40343
Accuracy
100.0%
Counts
43 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
100.0%
(*.f64 x (-.f64 x #s(literal 1 binary64)))
49.6%
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
Compiler

Compiled 14 to 14 computations (0% saved)

series7.0ms (0.5%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02483
Stop Event
iter-limit
Counts
6 → 9
Calls
Call 1
Inputs
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
x
#s(approx (- x 1) #s(literal -1 binary64))
#s(literal -1 binary64)
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
(*.f64 x #s(literal -1 binary64))
Outputs
#s(approx (* x (- x 1)) (*.f64 #s(literal -1 binary64) x))
#s(approx (* x (- x 1)) (*.f64 x (-.f64 x #s(literal 1 binary64))))
#s(approx x x)
#s(approx (- x 1) #s(literal -1 binary64))
#s(approx (- x 1) (-.f64 x #s(literal 1 binary64)))
#s(approx (* x (- x 1)) (pow.f64 x #s(literal 2 binary64)))
#s(approx (* x (- x 1)) (*.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
#s(approx (- x 1) (*.f64 x (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
#s(approx (- x 1) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))))
Calls

3 calls:

TimeVariablePointExpression
2.0ms
x
@0
((* x (- x 1)) x (- x 1) -1 (+ (* x x) (* x -1)) (* x -1))
1.0ms
x
@inf
((* x (- x 1)) x (- x 1) -1 (+ (* x x) (* x -1)) (* x -1))
1.0ms
x
@-inf
((* x (- x 1)) x (- x 1) -1 (+ (* x x) (* x -1)) (* x -1))

rewrite87.0ms (7%)

Memory
-5.6MiB live, 48.1MiB allocated; 14ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0823
01222
16321
062721
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
6 → 54
Calls
Call 1
Inputs
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
x
#s(approx (- x 1) #s(literal -1 binary64))
#s(literal -1 binary64)
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
(*.f64 x #s(literal -1 binary64))
Outputs
(*.f64 #s(approx (- x 1) #s(literal -1 binary64)) x)
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
x
#s(approx (- x 1) #s(literal -1 binary64))
#s(literal -1 binary64)
(*.f64 (*.f64 (+.f64 (/.f64 (neg.f64 x) (*.f64 x x)) #s(literal 1 binary64)) (fabs.f64 x)) (fabs.f64 x))
(*.f64 (*.f64 (+.f64 (/.f64 (neg.f64 x) (*.f64 x x)) #s(literal 1 binary64)) (neg.f64 x)) (neg.f64 x))
(*.f64 (*.f64 (+.f64 (/.f64 (neg.f64 x) (*.f64 x x)) #s(literal 1 binary64)) x) x)
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x x) (neg.f64 x))) (neg.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))) (*.f64 x x))
(*.f64 (+.f64 (/.f64 (neg.f64 x) (*.f64 x x)) #s(literal 1 binary64)) (*.f64 x x))
(*.f64 (*.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x) (fma.f64 x x x)) (/.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(*.f64 (fma.f64 (*.f64 x x) (neg.f64 x) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x))))))
(*.f64 (*.f64 x x) (+.f64 (/.f64 (neg.f64 x) (*.f64 x x)) #s(literal 1 binary64)))
(*.f64 (neg.f64 x) (-.f64 (neg.f64 x) #s(literal -1 binary64)))
(*.f64 (-.f64 x #s(literal 1 binary64)) x)
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(/.f64 (*.f64 x (fma.f64 x x #s(literal -1 binary64))) (-.f64 x #s(literal -1 binary64)))
(/.f64 (*.f64 x (fma.f64 (*.f64 x x) x #s(literal -1 binary64))) (fma.f64 x x (-.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (*.f64 x x) x) x)) (-.f64 (neg.f64 x) (*.f64 x x)))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (*.f64 (*.f64 x x) x)) (fma.f64 (*.f64 (*.f64 x x) x) x (fma.f64 x x (*.f64 (*.f64 x x) x))))
(/.f64 (neg.f64 (*.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x) (fma.f64 x x x))) (neg.f64 (fma.f64 x x x)))
(/.f64 (neg.f64 (fma.f64 (*.f64 x x) (neg.f64 x) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)))) (neg.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x))))))
(/.f64 (*.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x) (fma.f64 x x x)) (fma.f64 x x x))
(/.f64 (fma.f64 (*.f64 x x) (neg.f64 x) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x))) (fma.f64 x x (-.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 (*.f64 x x) (neg.f64 x)))))
(/.f64 (fma.f64 (*.f64 x x) (neg.f64 x) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x))) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x x) (*.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x) (fma.f64 x x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x)))) (fma.f64 (*.f64 x x) (neg.f64 x) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)))))
(neg.f64 (*.f64 x (-.f64 #s(literal 1 binary64) x)))
(neg.f64 (-.f64 x (*.f64 x x)))
(fma.f64 (*.f64 (neg.f64 x) x) #s(literal -1 binary64) (neg.f64 x))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (neg.f64 x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (neg.f64 x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (neg.f64 x))
(fma.f64 (*.f64 x x) #s(literal 1 binary64) (neg.f64 x))
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 x))
(fma.f64 #s(literal -1 binary64) (*.f64 x (neg.f64 x)) (neg.f64 x))
(fma.f64 #s(literal -1 binary64) x (*.f64 x x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) (neg.f64 x))
(fma.f64 x #s(literal -1 binary64) (*.f64 x x))
(fma.f64 x x (neg.f64 x))
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (fma.f64 x x x)) (/.f64 (*.f64 x x) (fma.f64 x x x)))
(-.f64 (*.f64 x x) x)
(-.f64 (neg.f64 x) (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 (neg.f64 x) (*.f64 (neg.f64 x) x))
(-.f64 (neg.f64 x) (*.f64 x (neg.f64 x)))
(-.f64 (neg.f64 x) (neg.f64 (*.f64 x x)))
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x))))) (/.f64 (*.f64 (*.f64 x x) (neg.f64 x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) (*.f64 x x))))))
(+.f64 (*.f64 x x) (neg.f64 x))
(+.f64 (neg.f64 x) (*.f64 x x))
(*.f64 #s(literal -1 binary64) x)
(*.f64 x #s(literal -1 binary64))
(neg.f64 x)

eval9.0ms (0.7%)

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

Compiled 372 to 137 computations (63.2% saved)

prune4.0ms (0.3%)

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

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New56157
Fresh000
Picked112
Done011
Total57360
Accuracy
100.0%
Counts
60 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x x) x)
100.0%
(*.f64 x (-.f64 x #s(literal 1 binary64)))
49.6%
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
Compiler

Compiled 13 to 13 computations (0% saved)

series5.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01845
Stop Event
iter-limit
Counts
3 → 5
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) x)
(*.f64 x x)
x
Outputs
#s(approx (- (* x x) x) (*.f64 #s(literal -1 binary64) x))
#s(approx (- (* x x) x) (*.f64 x (-.f64 x #s(literal 1 binary64))))
#s(approx (* x x) (pow.f64 x #s(literal 2 binary64)))
#s(approx x x)
#s(approx (- (* x x) x) (*.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((- (* x x) x) (* x x) x)
1.0ms
x
@inf
((- (* x x) x) (* x x) x)
1.0ms
x
@0
((- (* x x) x) (* x x) x)

rewrite74.0ms (6%)

Memory
-6.0MiB live, 41.3MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039
059
1309
02819
Stop Event
iter-limit
iter-limit
iter-limit
unsound
iter-limit
Counts
3 → 45
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) x)
(*.f64 x x)
x
Outputs
(*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))) (fabs.f64 x)) (fabs.f64 x))
(*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))) (neg.f64 x)) (neg.f64 x))
(*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))) x) x)
(*.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64)) (neg.f64 x))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 x) (*.f64 x x))) (*.f64 x x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))) (*.f64 x x))
(*.f64 (*.f64 (fma.f64 x x x) (-.f64 (*.f64 x x) x)) (/.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(*.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (*.f64 (*.f64 x x) x)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x)))))
(*.f64 (*.f64 x x) (-.f64 #s(literal 1 binary64) (/.f64 x (*.f64 x x))))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (pow.f64 (neg.f64 x) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 x x) x) x (-.f64 (*.f64 x x) (*.f64 (*.f64 x x) (neg.f64 x)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x x) (-.f64 (*.f64 x x) x))) (neg.f64 (fma.f64 x x x)))
(/.f64 (neg.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (*.f64 (*.f64 x x) x))) (neg.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x x) (*.f64 (fma.f64 x x x) (-.f64 (*.f64 x x) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (*.f64 (*.f64 x x) x))))
(/.f64 (*.f64 (fma.f64 x x x) (-.f64 (*.f64 x x) x)) (fma.f64 x x x))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (*.f64 (*.f64 x x) x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x))))
(neg.f64 (-.f64 x (*.f64 x x)))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (neg.f64 x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (neg.f64 x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (neg.f64 x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (neg.f64 x))
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 x))
(fma.f64 x x (neg.f64 x))
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (fma.f64 x x x)) (/.f64 (*.f64 x x) (fma.f64 x x x)))
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x)))) (/.f64 (*.f64 (*.f64 x x) x) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 x (fma.f64 x x x)))))
(-.f64 (*.f64 x x) (neg.f64 (neg.f64 x)))
(-.f64 (*.f64 x x) x)
(+.f64 (neg.f64 x) (*.f64 x x))
(+.f64 (*.f64 x x) (neg.f64 x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(neg.f64 (*.f64 x (neg.f64 x)))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
x

eval7.0ms (0.6%)

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

Compiled 300 to 122 computations (59.3% saved)

prune9.0ms (0.7%)

Memory
-38.3MiB live, 7.8MiB allocated; 3ms collecting garbage
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New47047
Fresh000
Picked011
Done022
Total47350
Accuracy
100.0%
Counts
50 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x x) x)
100.0%
(*.f64 x (-.f64 x #s(literal 1 binary64)))
49.6%
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
Compiler

Compiled 26 to 26 computations (0% saved)

regimes4.0ms (0.3%)

Memory
10.5MiB live, 10.5MiB allocated; 0ms collecting garbage
Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 x #s(approx (- x 1) #s(literal -1 binary64)))
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(-.f64 (*.f64 x x) x)
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
Outputs
(fma.f64 x x (*.f64 x #s(literal -1 binary64)))
Calls

2 calls:

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

Compiled 5 to 5 computations (0% saved)

regimes3.0ms (0.3%)

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

2 calls:

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

Compiled 5 to 5 computations (0% saved)

regimes3.0ms (0.2%)

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

2 calls:

1.0ms
x
1.0ms
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Results
AccuracySegmentsBranch
100.0%1(*.f64 x (-.f64 x #s(literal 1 binary64)))
100.0%1x
Compiler

Compiled 5 to 5 computations (0% saved)

regimes2.0ms (0.2%)

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

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

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

2 calls:

1.0ms
x
1.0ms
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Results
AccuracySegmentsBranch
49.6%1(*.f64 x (-.f64 x #s(literal 1 binary64)))
49.6%1x
Compiler

Compiled 5 to 5 computations (0% saved)

derivations6.0ms (0.5%)

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

Compiled 13 to 13 computations (0% saved)

preprocess23.0ms (1.9%)

Memory
2.8MiB live, 49.6MiB allocated; 2ms collecting garbage
Compiler

Compiled 17 to 17 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...