Radioactive exchange between two surfaces

Time bar (total: 1.7s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
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 9 to 8 computations (11.1% saved)

sample1.5s (84.7%)

Memory
24.6MiB live, 1 128.4MiB allocated; 1.2s collecting garbage
Samples
1.1s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 871.0ms
ival-pow: 850.0ms (97.6% of total)
ival-sub!: 19.0ms (2.2% of total)
adjust: 1.0ms (0.1% of total)
Bogosity

preprocess27.0ms (1.6%)

Memory
-28.0MiB live, 24.0MiB allocated; 23ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01546
12846
25046
38846
49346
Stop Event
1×saturated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶87.1%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Compiler

Compiled 14 to 12 computations (14.3% saved)

series5.0ms (0.3%)

Memory
10.1MiB live, 10.1MiB allocated; 0ms collecting garbage
Counts
6 → 9
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
Outputs
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (- (pow x 4) (pow y 4))))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx x #s(hole binary64 x))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow x 4) (+ 1 (* -1 (/ (pow y 4) (pow x 4)))))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (+ (* -1 (pow y 4)) (pow x 4))))
#s(approx (pow y 4) #s(hole binary64 (pow y 4)))
#s(approx y #s(hole binary64 y))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (/ (pow x 4) (pow y 4)) 1))))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4 (pow y 4) y)
1.0ms
y
@0
((- (pow x 4) (pow y 4)) (pow x 4) x 4 (pow y 4) y)
1.0ms
x
@0
((- (pow x 4) (pow y 4)) (pow x 4) x 4 (pow y 4) y)
1.0ms
x
@-inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4 (pow y 4) y)
1.0ms
y
@inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4 (pow y 4) y)

rewrite63.0ms (3.7%)

Memory
7.1MiB live, 53.2MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029125
031121
1132120
01023119
13166119
Stop Event
1×saturated
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 36
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (- (pow x 4) (pow y 4))))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx x #s(hole binary64 x))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow x 4) (+ 1 (* -1 (/ (pow y 4) (pow x 4)))))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (+ (* -1 (pow y 4)) (pow x 4))))
#s(approx (pow y 4) #s(hole binary64 (pow y 4)))
#s(approx y #s(hole binary64 y))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (/ (pow x 4) (pow y 4)) 1))))
Outputs
(neg.f64 (-.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))) (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(neg.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) (neg.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64) (neg.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64)))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(-.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) (neg.f64 (pow.f64 x #s(literal 4 binary64))))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 4 binary64))))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) #s(literal -1 binary64)))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (neg.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(+.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) (neg.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (neg.f64 (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 4 binary64)))
(+.f64 (pow.f64 x #s(literal 4 binary64)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 x #s(literal 4 binary64))
(neg.f64 (*.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))))
(neg.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)))
(fabs.f64 (pow.f64 x #s(literal 4 binary64)))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
(fabs.f64 (pow.f64 y #s(literal 4 binary64)))
y
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow x 4) (pow.f64 x #s(literal 4 binary64)))
#s(approx x x)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal -4 binary64)) (pow.f64 y #s(literal 4 binary64)))) (pow.f64 x #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow y 4) (pow.f64 y #s(literal 4 binary64)))
#s(approx y y)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (fma.f64 (pow.f64 y #s(literal -4 binary64)) (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (pow.f64 y #s(literal 4 binary64))))

eval2.0ms (0.1%)

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

Compiled 143 to 71 computations (50.3% saved)

prune1.0ms (0.1%)

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

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28129
Fresh000
Picked011
Done000
Total28230
Accuracy
92.6%
Counts
30 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓87.1%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
▶57.3%
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 17 to 16 computations (5.9% saved)

series3.0ms (0.2%)

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

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
((- (pow x 4) (pow y 4)) (neg (pow y 4)) (pow y 4) y 4)
1.0ms
y
@-inf
((- (pow x 4) (pow y 4)) (neg (pow y 4)) (pow y 4) y 4)
0.0ms
y
@0
((- (pow x 4) (pow y 4)) (neg (pow y 4)) (pow y 4) y 4)
0.0ms
x
@inf
((- (pow x 4) (pow y 4)) (neg (pow y 4)) (pow y 4) y 4)
0.0ms
x
@-inf
((- (pow x 4) (pow y 4)) (neg (pow y 4)) (pow y 4) y 4)

rewrite46.0ms (2.7%)

Memory
-16.6MiB live, 29.5MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
028131
031127
1131126
01024125
13168125
Stop Event
1×saturated
1×iter-limit
1×node-limit
1×iter-limit
Counts
13 → 18
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(pow.f64 y #s(literal 4 binary64))
y
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (- (pow x 4) (pow y 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (pow x 4)))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow x 4) (+ 1 (* -1 (/ (pow y 4) (pow x 4)))))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (+ (* -1 (pow y 4)) (pow x 4))))
#s(approx (pow y 4) #s(hole binary64 (pow y 4)))
#s(approx y #s(hole binary64 y))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (/ (pow x 4) (pow y 4)) 1))))
Outputs
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
(*.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 4 binary64)))
(*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -1 binary64))
(neg.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (pow.f64 y #s(literal 4 binary64)))
(pow.f64 y #s(literal 4 binary64))
(fabs.f64 (pow.f64 y #s(literal 4 binary64)))
y
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal -4 binary64)) (pow.f64 y #s(literal 4 binary64)))) (pow.f64 x #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow y 4) (pow.f64 y #s(literal 4 binary64)))
#s(approx y y)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (fma.f64 (pow.f64 y #s(literal -4 binary64)) (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (pow.f64 y #s(literal 4 binary64))))

eval1.0ms (0.1%)

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

Compiled 68 to 44 computations (35.3% saved)

prune1.0ms (0.1%)

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

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New10111
Fresh000
Picked011
Done101
Total11213
Accuracy
100.0%
Counts
13 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶59.0%
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
✓57.3%
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 19 to 19 computations (0% saved)

series3.0ms (0.2%)

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

6 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4)
1.0ms
x
@inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4)
1.0ms
x
@0
((- (pow x 4) (pow y 4)) (pow x 4) x 4)
0.0ms
y
@-inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4)
0.0ms
y
@inf
((- (pow x 4) (pow y 4)) (pow x 4) x 4)

rewrite60.0ms (3.5%)

Memory
-10.0MiB live, 36.4MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026115
027111
1128110
01021109
13166109
Stop Event
1×saturated
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 16
Calls
Call 1
Inputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (- (pow x 4) (pow y 4))))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx x #s(hole binary64 x))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow x 4) (+ 1 (* -1 (/ (pow y 4) (pow x 4)))))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (+ (* -1 (pow y 4)) (pow x 4))))
#s(approx (- (pow x 4) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (/ (pow x 4) (pow y 4)) 1))))
Outputs
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
(*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))
(pow.f64 x #s(literal 4 binary64))
(neg.f64 (*.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))))
(neg.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)))
(fabs.f64 (pow.f64 x #s(literal 4 binary64)))
x
#s(literal 4 binary64)
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (pow x 4) (pow.f64 x #s(literal 4 binary64)))
#s(approx x x)
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal -4 binary64)) (pow.f64 y #s(literal 4 binary64)))) (pow.f64 x #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
#s(approx (- (pow x 4) (pow y 4)) (*.f64 (fma.f64 (pow.f64 y #s(literal -4 binary64)) (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (pow.f64 y #s(literal 4 binary64))))

eval1.0ms (0.1%)

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

Compiled 60 to 40 computations (33.3% saved)

prune1.0ms (0.1%)

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

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New10010
Fresh000
Picked011
Done011
Total10212
Accuracy
100.0%
Counts
12 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓59.0%
#s(approx (- (pow x 4) (pow y 4)) (pow.f64 x #s(literal 4 binary64)))
✓57.3%
#s(approx (- (pow x 4) (pow y 4)) (neg.f64 (pow.f64 y #s(literal 4 binary64))))
Compiler

Compiled 38 to 32 computations (15.8% saved)

regimes7.0ms (0.4%)

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

5 calls:

2.0ms
x
1.0ms
y
1.0ms
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
1.0ms
(pow.f64 y #s(literal 4 binary64))
1.0ms
(pow.f64 x #s(literal 4 binary64))
Results
AccuracySegmentsBranch
92.6%2(pow.f64 y #s(literal 4 binary64))
94.5%2(pow.f64 x #s(literal 4 binary64))
94.5%2(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
94.5%3x
92.6%3y
Compiler

Compiled 15 to 18 computations (-20% saved)

regimes5.0ms (0.3%)

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

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

5 calls:

1.0ms
x
1.0ms
y
1.0ms
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
1.0ms
(pow.f64 y #s(literal 4 binary64))
1.0ms
(pow.f64 x #s(literal 4 binary64))
Results
AccuracySegmentsBranch
59.0%1y
59.0%1(pow.f64 y #s(literal 4 binary64))
59.0%1x
59.0%1(pow.f64 x #s(literal 4 binary64))
59.0%1(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Compiler

Compiled 15 to 18 computations (-20% saved)

bsearch0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-6.722953744130874e-297
0.0
Compiler

Compiled 10 to 11 computations (-10% saved)

derivations7.0ms (0.4%)

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

Compiled 22 to 16 computations (27.3% saved)

preprocess26.0ms (1.5%)

Memory
-18.3MiB live, 32.1MiB allocated; 8ms collecting garbage
Compiler

Compiled 29 to 22 computations (24.1% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...