Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, C

Time bar (total: 917.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
100.0%100.0%0.0%0.0%0.0%0.0%0.0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample316.0ms (34.4%)

Samples
243.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Mul: 6.0ms (96.6% of total, 0.0 MiB)
Bogosity

preprocess99.0ms (10.9%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
13910
210410
320210
456010
5321710
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(*.f64 (*.f64 x x) x)
Symmetry

(negabs x)

Compiler

Compiled 2 to 6 computations (-200.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series6.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01222
Stop Event
1×iter-limit
Counts
3 → 4
Calls
Call 1
Inputs
%1 = (*.f64 x x)
x
%1
(*.f64 %1 x)
Outputs
%4 = (* x x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 (pow.f64 x #s(literal 2 binary64)))
(approx (* %4 x) (pow.f64 x #s(literal 3 binary64)))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite135.0ms (14.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039
057
1187
2537
31537
45347
533527
041127
044307
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
3 → 64
Calls
Call 1
Inputs
%1 = (*.f64 x x)
x
%1
(*.f64 %1 x)
Outputs
%1 = (fabs.f64 x)
%2 = (sqrt.f64 %1)
%3 = (*.f64 %2 %1)
%4 = (sqrt.f64 %2)
%7 = (neg.f64 %2)
%8 = (*.f64 %7 %1)
%15 = (neg.f64 %1)
%18 = (neg.f64 x)
%21 = (*.f64 x x)
%24 = (pow.f64 x #s(literal 8 binary64))
%27 = (*.f64 %21 x)
%28 = (*.f64 %27 x)
%60 = (*.f64 %18 x)
%63 = (*.f64 %15 x)
%65 = (*.f64 %1 x)
%69 = (*.f64 %2 x)
%70 = (*.f64 %69 %1)
x
(*.f64 (*.f64 %3 %4) %4)
(*.f64 %8 %7)
(*.f64 %3 %2)
(*.f64 %7 %8)
(*.f64 %4 (*.f64 %4 %3))
(*.f64 %2 %3)
(*.f64 %15 %15)
(*.f64 %1 %1)
(*.f64 %18 %18)
(*.f64 #s(literal 1 binary64) %21)
%21
(pow.f64 %24 #s(literal 1/4 binary64))
(pow.f64 %28 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 4 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %18 #s(literal 2 binary64))
(pow.f64 %21 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %60)
(sqrt.f64 %28)
(fabs.f64 %63)
(fabs.f64 %65)
(fabs.f64 %60)
(fabs.f64 %21)
(*.f64 (*.f64 %70 %4) %4)
(*.f64 (*.f64 %63 %7) %2)
(*.f64 (*.f64 %65 %7) %7)
(*.f64 (*.f64 %18 %8) %2)
(*.f64 (*.f64 %63 %2) %7)
(*.f64 (*.f64 %18 %2) %8)
(*.f64 %8 (*.f64 %2 %18))
(*.f64 %3 %69)
(*.f64 %70 %2)
(*.f64 %69 %3)
(*.f64 %7 (*.f64 %2 %63))
(*.f64 %7 (*.f64 %7 %65))
(*.f64 %4 (*.f64 %4 %70))
(*.f64 %63 %15)
(*.f64 %2 (*.f64 %8 %18))
(*.f64 %2 (*.f64 %7 %63))
(*.f64 %2 %70)
(*.f64 %65 %1)
(*.f64 %60 %18)
(*.f64 %15 %63)
(*.f64 %1 %65)
(*.f64 %18 %60)
(*.f64 #s(literal 1 binary64) %27)
%27
(*.f64 x %21)
(pow.f64 %27 #s(literal 1 binary64))
(pow.f64 x #s(literal 3 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %27 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -3 binary64)))
(neg.f64 (*.f64 %60 x))
reconstruct9.0ms (1.0%)
Counts
68 → 22
Compiler
Compiled 68 to 118 computations (-73.5% saved)
eval4.0ms (0.4%)
Compiler
Compiled 21 to 68 computations (-223.8% saved)
prune2.0ms (0.2%)
Pruning
5 alts after pruning (4 fresh and 1 done)
PrunedKeptTotal
New17421
Fresh000
Picked011
Done000
Total17522
Accuracy
100.0%
Counts
22 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 (*.f64 %7 (*.f64 %7 %6)) x)
▶99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 (*.f64 %7 x) (*.f64 %7 %6))
✓99.9%
(*.f64 (*.f64 x x) x)
▶99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 %7 (*.f64 (*.f64 %7 x) %6))
▶100.0%
(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Compiler
Compiled 5 to 14 computations (-180.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series21.0ms (2.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
081404
Stop Event
1×iter-limit
Counts
13 → 24
Calls
Call 1
Inputs
%2 = (pow.f64 x #s(literal 3 binary64))
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
%8 = (*.f64 %7 %6)
%9 = (*.f64 %7 %8)
%10 = (*.f64 %7 x)
%11 = (*.f64 %10 %6)
x
#s(literal 3 binary64)
%2
(approx (* (* x x) x) %2)
%6
%7
%8
%9
%10
%11
(*.f64 %10 %8)
(*.f64 %7 %11)
(*.f64 %9 x)
Outputs
%7 = (pow.f64 x #s(literal 3 binary64))
%9 = (fabs x)
%10 = (fabs.f64 x)
%12 = (sqrt %9)
%13 = (sqrt.f64 %10)
%15 = (* %12 %9)
%16 = (*.f64 %10 %13)
%18 = (* %12 %15)
%21 = (*.f64 %10 (pow.f64 %13 #s(literal 2 binary64)))
%23 = (* %12 x)
%26 = (* %23 %9)
%29 = (* %23 %15)
%32 = (pow.f64 x #s(literal 2 binary64))
%35 = (fabs.f64 (/.f64 #s(literal 1 binary64) x))
%38 = (sqrt.f64 %35)
%41 = (*.f64 %35 %38)
%45 = (pow.f64 x #s(literal 4 binary64))
%47 = (*.f64 %35 (pow.f64 %38 #s(literal 2 binary64)))
%55 = (pow.f64 x #s(literal 5 binary64))
%60 = (fabs.f64 (/.f64 #s(literal -1 binary64) x))
%65 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %60))
%69 = (*.f64 %60 %65)
%73 = (*.f64 %60 (pow.f64 %65 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx (pow x 3) %7)
(approx %9 %10)
(approx %12 %13)
(approx %15 %16)
(approx %18 %21)
(approx %23 (*.f64 x %13))
(approx %26 (*.f64 x %16))
(approx %29 (*.f64 x %21))
(approx %9 (*.f64 %32 %35))
(approx %12 (*.f64 x %38))
(approx %15 (*.f64 %7 %41))
(approx %18 (*.f64 %45 %47))
(approx %23 (*.f64 %32 %38))
(approx %26 (*.f64 %45 %41))
(approx %29 (*.f64 %55 %47))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 %32 %60)))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x %65)))
(approx %15 (*.f64 %7 %69))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 %45 %73)))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 %32 %65)))
(approx %26 (*.f64 %45 %69))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 %55 %73)))
Calls
3 calls:
TimeVariablePoint
28.0ms
x
0
15.0ms
x
inf
15.0ms
x
-inf
rewrite88.0ms (9.6%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01584
02555
17144
214044
351844
4393444
0422244
0445344
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
13 → 262
Calls
Call 1
Inputs
%2 = (pow.f64 x #s(literal 3 binary64))
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
%8 = (*.f64 %7 %6)
%9 = (*.f64 %7 %8)
%10 = (*.f64 %7 x)
%11 = (*.f64 %10 %6)
x
#s(literal 3 binary64)
%2
(approx (* (* x x) x) %2)
%6
%7
%8
%9
%10
%11
(*.f64 %10 %8)
(*.f64 %7 %11)
(*.f64 %9 x)
Outputs
%2 = (fabs.f64 x)
%3 = (*.f64 %2 x)
%4 = (sqrt.f64 %2)
%5 = (*.f64 %4 %2)
%6 = (sqrt.f64 %5)
%8 = (sqrt.f64 %4)
%9 = (*.f64 (*.f64 %3 %6) %8)
%10 = (*.f64 %3 %8)
%11 = (*.f64 %10 %6)
%12 = (*.f64 %5 x)
%14 = (*.f64 (*.f64 %12 %8) %8)
%15 = (neg.f64 %2)
%16 = (*.f64 %15 x)
%17 = (*.f64 %16 %4)
%18 = (neg.f64 %4)
%19 = (*.f64 %17 %18)
%20 = (*.f64 %16 %15)
%21 = (*.f64 %4 x)
%22 = (*.f64 %21 %5)
%23 = (*.f64 %15 %4)
%24 = (neg.f64 x)
%25 = (*.f64 %24 %4)
%26 = (*.f64 %23 %25)
%27 = (*.f64 %8 %3)
%28 = (*.f64 %6 %27)
%30 = (*.f64 %8 (*.f64 %8 %12))
%32 = (*.f64 %8 (*.f64 %6 %3))
%33 = (*.f64 %15 %16)
%34 = (*.f64 %18 %17)
%35 = (*.f64 %25 %23)
%36 = (*.f64 %24 x)
%37 = (*.f64 %36 %24)
%38 = (*.f64 %3 %2)
%39 = (*.f64 %24 %36)
%40 = (*.f64 %12 %4)
%41 = (*.f64 %5 %21)
%42 = (*.f64 %4 %12)
%43 = (*.f64 %2 %3)
%44 = (*.f64 x x)
%45 = (*.f64 %44 x)
%46 = (*.f64 x %44)
%48 = (pow.f64 %45 #s(literal 1 binary64))
%49 = (pow.f64 x #s(literal 3 binary64))
%52 = (/.f64 #s(literal 1 binary64) (pow.f64 %45 #s(literal -1 binary64)))
%55 = (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -3 binary64)))
%57 = (neg.f64 (*.f64 %4 %17))
%59 = (neg.f64 (*.f64 %17 %4))
%61 = (neg.f64 (*.f64 %36 x))
%64 = (approx (pow x 3) %45)
%73 = (pow.f64 x #s(literal 8 binary64))
%78 = (*.f64 %45 x)
%103 = (neg.f64 %8)
%105 = (sqrt.f64 %6)
%106 = (sqrt.f64 %8)
%130 = (*.f64 %2 %8)
%132 = (*.f64 %8 %18)
%134 = (*.f64 %18 %8)
%137 = (sqrt.f64 (*.f64 %21 x))
%139 = (pow.f64 %8 #s(literal 3 binary64))
%144 = (*.f64 %8 %2)
%150 = (*.f64 %78 %44)
%152 = (*.f64 %3 x)
%185 = (sqrt.f64 (*.f64 %152 %4))
x
#s(literal 3 binary64)
%9
%11
%14
%19
%20
%22
%26
%28
%30
%32
%33
%34
%35
%37
%38
%39
%40
%41
%42
%43
%45
%46
%48
%49
%52
%55
%57
%59
%61
(pow.f64 %64 #s(literal 1 binary64))
%64
(/.f64 #s(literal 1 binary64) (pow.f64 %64 #s(literal -1 binary64)))
(*.f64 %6 %8)
(*.f64 %8 %6)
(*.f64 %18 %18)
(*.f64 %4 %4)
(pow.f64 %73 #s(literal 1/8 binary64))
(pow.f64 %18 #s(literal 2 binary64))
(pow.f64 %78 #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(pow.f64 %44 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %44 #s(literal -1/2 binary64)))
(neg.f64 %15)
(sqrt.f64 %44)
(fabs.f64 %15)
(fabs.f64 %24)
(fabs.f64 %2)
%2
(*.f64 %103 %103)
(*.f64 %105 %106)
(*.f64 %106 %105)
(*.f64 %8 %8)
(pow.f64 %73 #s(literal 1/16 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %78 #s(literal 1/8 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(pow.f64 %44 #s(literal 1/4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %44 #s(literal -1/4 binary64)))
(neg.f64 %18)
%4
(fabs.f64 %18)
(fabs.f64 %4)
(*.f64 (*.f64 %4 %6) %8)
(*.f64 %130 %8)
(*.f64 %132 %132)
(*.f64 %134 %134)
(*.f64 %137 %8)
(*.f64 %139 %139)
(*.f64 %6 %6)
(*.f64 %8 (*.f64 %6 %4))
(*.f64 %8 %144)
(*.f64 %8 %137)
(*.f64 %15 %18)
(*.f64 %18 %15)
%5
(*.f64 %2 %4)
(pow.f64 %150 #s(literal 1/4 binary64))
(pow.f64 %152 #s(literal 1/2 binary64))
(pow.f64 %78 #s(literal 3/8 binary64))
(pow.f64 %5 #s(literal 1 binary64))
(pow.f64 %4 #s(literal 3 binary64))
(pow.f64 %2 #s(literal 3/2 binary64))
(pow.f64 %44 #s(literal 3/4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %150 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %152 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -3 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -3/2 binary64)))
(neg.f64 %23)
(sqrt.f64 %152)
(fabs.f64 %21)
(fabs.f64 %23)
(fabs.f64 %25)
(fabs.f64 %5)
(*.f64 (*.f64 %5 %8) %8)
(*.f64 (*.f64 %2 %6) %8)
(*.f64 %130 %6)
(*.f64 %185 %8)
(*.f64 %137 %6)
(*.f64 %23 %18)
(*.f64 %6 %144)
(*.f64 %6 %137)
(*.f64 %8 (*.f64 %6 %2))
(*.f64 %8 (*.f64 %8 %5))
(*.f64 %8 %185)
(*.f64 %15 %15)
(*.f64 %18 %23)
(*.f64 %24 %24)
(*.f64 %5 %4)
(*.f64 %4 %5)
(*.f64 %2 %2)
%44
(pow.f64 %73 #s(literal 1/4 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %18 #s(literal 4 binary64))
(pow.f64 %78 #s(literal 1/2 binary64))
(pow.f64 %24 #s(literal 2 binary64))
(pow.f64 %4 #s(literal 4 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %44 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %44 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %36)
(sqrt.f64 %78)
(fabs.f64 %16)
(fabs.f64 %36)
(fabs.f64 %3)
(fabs.f64 %44)
(*.f64 (*.f64 x %8) %8)
(*.f64 %8 (*.f64 %8 x))
(*.f64 %18 %24)
(*.f64 %24 %18)
%21
(*.f64 x %4)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %25)
(*.f64 (*.f64 %21 %6) %8)
(*.f64 %10 %8)
(*.f64 (*.f64 %21 %8) %6)
(*.f64 %16 %18)
(*.f64 %21 %2)
(*.f64 %6 (*.f64 %8 %21))
(*.f64 %8 (*.f64 %6 %21))
(*.f64 %8 %27)
(*.f64 %15 %25)
(*.f64 %18 %16)
(*.f64 %25 %15)
(*.f64 %3 %4)
%12
(*.f64 %4 %3)
(*.f64 %2 %21)
(*.f64 x %5)
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(neg.f64 (*.f64 %5 %24))
(neg.f64 (*.f64 %24 %5))
(neg.f64 %17)
%9
%11
%14
%19
%20
%22
%26
%28
%30
%32
%33
%34
%35
%37
%38
%39
%40
%41
%42
%43
%45
%46
%48
%49
%52
%55
%57
%59
%61
%9
%11
%14
%19
%20
%22
%26
%28
%30
%32
%33
%34
%35
%37
%38
%39
%40
%41
%42
%43
%45
%46
%48
%49
%52
%55
%57
%59
%61
%9
%11
%14
%19
%20
%22
%26
%28
%30
%32
%33
%34
%35
%37
%38
%39
%40
%41
%42
%43
%45
%46
%48
%49
%52
%55
%57
%59
%61
reconstruct24.0ms (2.6%)
Counts
286 → 124
Compiler
Compiled 286 to 306 computations (-7.0% saved)
eval13.0ms (1.4%)
Compiler
Compiled 182 to 487 computations (-167.6% saved)
prune3.0ms (0.4%)
Pruning
5 alts after pruning (0 fresh and 5 done)
PrunedKeptTotal
New1820182
Fresh000
Picked044
Done011
Total1825187
Accuracy
100.0%
Counts
187 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 (*.f64 %7 (*.f64 %7 %6)) x)
✓99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 (*.f64 %7 x) (*.f64 %7 %6))
✓99.9%
(*.f64 (*.f64 x x) x)
✓99.7%
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(*.f64 %7 (*.f64 (*.f64 %7 x) %6))
✓100.0%
(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Compiler
Compiled 5 to 14 computations (-180.0% saved)
regimes16.0ms (1.7%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0%
0.0b0%
Counts
1 → 1
5 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
Outputs
(*.f64 (*.f64 x x) x)
Call 2
Inputs
%3 = (fabs.f64 x)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 x)
%8 = (*.f64 %4 %3)
(*.f64 (*.f64 x x) x)
(*.f64 %4 (*.f64 %5 %3))
(*.f64 %5 %8)
(*.f64 (*.f64 %4 %8) x)
(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Outputs
(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Calls
2 calls:
3.0ms
x
2.0ms
(*.f64 (*.f64 x x) x)
Results
AccuracySegmentsBranch
99.9%1
x
99.9%1
(*.f64 (*.f64 x x) x)
Compiler
Compiled 7 to 17 computations (-142.9% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations1.0ms (0.1%)
Stop Event
1×done
Compiler
Compiled 2 to 5 computations (-150.0% saved)
preprocess9.0ms (1.0%)
Compiler
Compiled 7 to 20 computations (-185.7% saved)
end0.0ms (0.0%)
gc172ms (18.8%)
Allocations
AllocatedPercentPhase
429.9 MiB55.4%sample
164.9 MiB21.3%rewrite
58.4 MiB7.5%series
51.5 MiB6.6%reconstruct
29.6 MiB3.8%eval
25.8 MiB3.3%preprocess
9.2 MiB1.2%prune
5.5 MiB0.7%regimes
0.5 MiB0.1%derivations
0.4 MiB0.1%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
775.9 MiB100.0%total
Profiling
Loading profile data...