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

Time bar (total: 12.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample546.0ms (4.4%)

Memory
7.4MiB live, 716.3MiB allocated
Samples
327.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 187.0ms
ival-mult: 177.0ms (94.9% of total)
ival-true: 6.0ms (3.2% of total)
ival-assert: 3.0ms (1.6% of total)
Bogosity

explain49.0ms (0.4%)

Memory
-6.9MiB live, 78.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 (*.f64 x x) x)
00-0-(*.f64 x x)
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
15.0ms512×0valid
Compiler

Compiled 36 to 16 computations (55.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 6.0ms (86.2% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess15.0ms (0.1%)

Memory
24.2MiB live, 24.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0513
1239
2607
31277
41487
51567
035
055
163
283
083
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
Outputs
(*.f64 (*.f64 x x) x)
(pow.f64 x #s(literal 3 binary64))
Symmetry

(negabs x)

Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(*.f64 (*.f64 x x) x)
Compiler

Compiled 5 to 3 computations (40% saved)

simplify3.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff-5824
(*.f64 (*.f64 x x) x)
cost-diff0
(*.f64 x x)
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
039
059
167
287
087
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
(*.f64 x x)
x
Outputs
(*.f64 (*.f64 x x) x)
(pow.f64 x #s(literal 3 binary64))
(*.f64 x x)
x

localize42.0ms (0.3%)

Memory
-10.1MiB live, 27.5MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x x)
accuracy0.16015625
(*.f64 (*.f64 x x) x)
Samples
37.0ms256×0valid
Compiler

Compiled 20 to 8 computations (60% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-mult: 3.0ms (91.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0%)

Memory
9.1MiB live, 9.1MiB allocated
Counts
2 → 2
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 (*.f64 x x) x)
Outputs
(pow x 2)
(pow x 3)
Calls

3 calls:

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

simplify3.0ms (0%)

Memory
3.0MiB live, 3.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
186
2106
3126
0126
Stop Event
1×iter limit
1×saturated
Counts
2 → 2
Calls
Call 1
Inputs
(pow x 2)
(pow x 3)
Outputs
(pow x 2)
(*.f64 x x)
(pow x 3)
(pow.f64 x #s(literal 3 binary64))

rewrite162.0ms (1.3%)

Memory
-30.7MiB live, 142.8MiB allocated
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
038
056
1106
2246
3526
41666
55712
640592
741172
843542
968812
085902
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
2 → 4
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 (*.f64 x x) x)
Outputs
x
#s(literal 1 binary64)
x
#s(literal 1 binary64)

eval1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Compiler

Compiled 24 to 11 computations (54.2% saved)

prune1.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New224
Fresh000
Picked011
Done000
Total235
Accuracy
100.0%
Counts
5 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 x x) x)
▶48.4%
(*.f64 x x)
▶100.0%
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify3.0ms (0%)

Memory
2.0MiB live, 2.0MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 x x)
cost-diff0
(pow.f64 x #s(literal 3 binary64))
cost-diff0
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0718
0816
11016
01016
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 x x)
x
Outputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 x x)
x

localize19.0ms (0.2%)

Memory
-7.0MiB live, 28.1MiB allocated
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x x)
accuracy0.0
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
accuracy0.00390625
(pow.f64 x #s(literal 3 binary64))
Samples
11.0ms256×0valid
Compiler

Compiled 34 to 14 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-mult: 3.0ms (48.5% of total)
ival-pow: 3.0ms (48.5% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series2.0ms (0%)

Memory
6.5MiB live, 6.5MiB allocated
Counts
3 → 2
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
(*.f64 x x)
Outputs
(pow x 3)
(pow x 2)
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((* (* x x) x) (pow x 3) (* x x))
1.0ms
x
@inf
((* (* x x) x) (pow x 3) (* x x))
0.0ms
x
@0
((* (* x x) x) (pow x 3) (* x x))

simplify2.0ms (0%)

Memory
3.0MiB live, 3.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
186
2106
3126
0126
Stop Event
1×iter limit
1×saturated
Counts
2 → 2
Calls
Call 1
Inputs
(pow x 3)
(pow x 2)
Outputs
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 2)
(*.f64 x x)

rewrite51.0ms (0.4%)

Memory
24.4MiB live, 61.3MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0715
0813
11913
23913
39413
425713
0118013
Stop Event
1×iter limit
1×iter limit
1×node limit
1×iter limit
Counts
3 → 55
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
(*.f64 x x)
Outputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (*.f64 (pow.f64 x #s(literal 21/8 binary64)) (pow.f64 x #s(literal 3/16 binary64))) (pow.f64 x #s(literal 3/16 binary64)))
(*.f64 (*.f64 (pow.f64 x #s(literal 5/2 binary64)) (pow.f64 x #s(literal 1/4 binary64))) (pow.f64 x #s(literal 1/4 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 21/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 (sqrt.f64 x))) #s(literal 1 binary64)) (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 (sqrt.f64 x))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal 21/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal 5/2 binary64)) #s(literal 1 binary64)) (sqrt.f64 x))
(*.f64 (pow.f64 (pow.f64 x #s(literal 9/4 binary64)) #s(literal 1 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(*.f64 (pow.f64 x #s(literal 5/2 binary64)) (sqrt.f64 x))
(*.f64 (pow.f64 x #s(literal 15/8 binary64)) (pow.f64 x #s(literal 9/8 binary64)))
(*.f64 (pow.f64 x #s(literal 21/8 binary64)) (pow.f64 x #s(literal 3/8 binary64)))
(*.f64 (pow.f64 x #s(literal 9/8 binary64)) (pow.f64 x #s(literal 15/8 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 (sqrt.f64 x))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 (sqrt.f64 x))))
(*.f64 (pow.f64 x #s(literal 3/16 binary64)) (*.f64 (pow.f64 x #s(literal 3/16 binary64)) (pow.f64 x #s(literal 21/8 binary64))))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 5/2 binary64))))
(*.f64 (pow.f64 x #s(literal 9/4 binary64)) (pow.f64 x #s(literal 3/4 binary64)))
(*.f64 (pow.f64 x #s(literal 3/8 binary64)) (pow.f64 x #s(literal 21/8 binary64)))
(*.f64 (sqrt.f64 x) (pow.f64 (pow.f64 x #s(literal 5/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 x) (pow.f64 x #s(literal 5/2 binary64)))
(*.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 (pow.f64 x #s(literal 9/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 x #s(literal 3/4 binary64)) (pow.f64 x #s(literal 9/4 binary64)))
(*.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)))
(*.f64 (*.f64 x x) x)
(*.f64 x (*.f64 x x))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64))) (log.f64 (sqrt.f64 x)))
(pow.f64 (*.f64 (exp.f64 #s(literal 3/2 binary64)) (exp.f64 #s(literal 3/2 binary64))) (log.f64 x))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 x))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 (sqrt.f64 x))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/2 binary64) (log.f64 x)))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x)))
(pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 3/4 binary64))
(pow.f64 (pow.f64 x #s(literal 3/8 binary64)) #s(literal 8 binary64))
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 x))
(pow.f64 (pow.f64 x #s(literal 3/4 binary64)) #s(literal 4 binary64))
(pow.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 x x) #s(literal 3/2 binary64))
(pow.f64 x #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 x #s(literal 4 binary64))) #s(literal 3/4 binary64)))
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(*.f64 (*.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 1/4 binary64))) (pow.f64 x #s(literal 1/4 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 3/2 binary64))))
(*.f64 (sqrt.f64 x) (pow.f64 x #s(literal 3/2 binary64)))
(*.f64 (pow.f64 x #s(literal 3/2 binary64)) (sqrt.f64 x))
(*.f64 x x)
(pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 x))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 x))
(pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 x) #s(literal 4 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 x)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))

eval17.0ms (0.1%)

Memory
-25.1MiB live, 22.9MiB allocated
Compiler

Compiled 641 to 157 computations (75.5% saved)

prune2.0ms (0%)

Memory
6.9MiB live, 6.9MiB allocated
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New55156
Fresh000
Picked022
Done011
Total55459
Accuracy
100.0%
Counts
59 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 x x) x)
✓48.4%
(*.f64 x x)
▶99.3%
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
✓100.0%
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Compiler

Compiled 27 to 18 computations (33.3% saved)

simplify3.0ms (0%)

Memory
9.4MiB live, 9.4MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
cost-diff0
(sqrt.f64 x)
cost-diff0
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
cost-diff0
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0718
0918
11016
21216
01216
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
(sqrt.f64 x)
x
#s(literal 6 binary64)
Outputs
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
(sqrt.f64 x)
x
#s(literal 6 binary64)

localize20.0ms (0.2%)

Memory
-3.0MiB live, 35.7MiB allocated
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(sqrt.f64 x)
accuracy0.0
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
accuracy0.45712033675768426
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
Samples
14.0ms256×0valid
Compiler

Compiled 33 to 15 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-pow: 4.0ms (44.3% of total)
ival-mult: 3.0ms (33.2% of total)
ival-sqrt: 2.0ms (22.1% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0%)

Memory
6.4MiB live, 6.4MiB allocated
Counts
3 → 4
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
(sqrt.f64 x)
Outputs
(pow x 3)
(sqrt x)
(* -1 (* (pow x 3) (pow (sqrt -1) 6)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
Calls

3 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((* (* x x) x) (pow (sqrt x) 6) (sqrt x))
1.0ms
x
@inf
((* (* x x) x) (pow (sqrt x) 6) (sqrt x))
1.0ms
x
@0
((* (* x x) x) (pow (sqrt x) 6) (sqrt x))

simplify12.0ms (0.1%)

Memory
-30.3MiB live, 8.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01410
12810
27410
317510
428610
540810
647510
751310
851510
051510
Stop Event
1×iter limit
1×saturated
Counts
4 → 4
Calls
Call 1
Inputs
(pow x 3)
(sqrt x)
(* -1 (* (pow x 3) (pow (sqrt -1) 6)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
Outputs
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(sqrt x)
(sqrt.f64 x)
(* -1 (* (pow x 3) (pow (sqrt -1) 6)))
(pow.f64 x #s(literal 3 binary64))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)

rewrite47.0ms (0.4%)

Memory
22.9MiB live, 61.9MiB allocated
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0716
0911
12311
25911
319211
48085
564935
665475
768215
080595
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
3 → 5
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
(pow.f64 (sqrt.f64 x) #s(literal 6 binary64))
(sqrt.f64 x)
Outputs
#s(approx (* (* x x) x) x)
x
#s(literal 1 binary64)
x
#s(literal 1 binary64)

eval1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Compiler

Compiled 57 to 19 computations (66.7% saved)

prune2.0ms (0%)

Memory
3.1MiB live, 3.1MiB allocated
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New516
Fresh000
Picked011
Done033
Total5510
Accuracy
100.0%
Counts
10 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 x x) x)
✓48.4%
(*.f64 x x)
✓99.3%
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
✓100.0%
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
▶6.2%
#s(approx (* (* x x) x) x)
Compiler

Compiled 34 to 22 computations (35.3% saved)

simplify3.0ms (0%)

Memory
6.3MiB live, 6.4MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff0
#s(approx (* (* x x) x) x)
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
048
048
156
276
076
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
x
Outputs
#s(approx (* (* x x) x) x)
x

localize19.0ms (0.1%)

Memory
-8.1MiB live, 33.6MiB allocated
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy60.03044431644038
#s(approx (* (* x x) x) x)
Samples
15.0ms256×0valid
Compiler

Compiled 16 to 9 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-mult: 6.0ms (103.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
3.4MiB live, 3.4MiB allocated
Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
Outputs
(pow x 3)
Calls

3 calls:

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

simplify2.0ms (0%)

Memory
2.3MiB live, 2.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
163
063
Stop Event
1×iter limit
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(pow x 3)
Outputs
(pow x 3)
(pow.f64 x #s(literal 3 binary64))

rewrite71.0ms (0.6%)

Memory
-15.9MiB live, 61.1MiB allocated
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
047
045
195
2235
3515
41655
55683
638863
739443
841813
967533
084433
Stop Event
1×iter limit
1×node limit
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
Outputs
#s(approx (* (* x x) x) x)

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 16 to 7 computations (56.3% saved)

prune2.0ms (0%)

Memory
5.4MiB live, 5.4MiB allocated
Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New202
Fresh000
Picked011
Done044
Total257
Accuracy
100.0%
Counts
7 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 x x) x)
✓48.4%
(*.f64 x x)
✓99.3%
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
✓100.0%
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
✓6.2%
#s(approx (* (* x x) x) x)
Compiler

Compiled 68 to 35 computations (48.5% saved)

regimes4.0ms (0%)

Memory
9.5MiB live, 9.5MiB allocated
Counts
5 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
(*.f64 x x)
(*.f64 (*.f64 x x) x)
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
#s(approx (* (* x x) x) (pow.f64 (sqrt.f64 x) #s(literal 6 binary64)))
Outputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
Calls

2 calls:

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

Compiled 6 to 4 computations (33.3% saved)

regimes45.0ms (0.4%)

Memory
-31.3MiB live, 7.3MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
(*.f64 x x)
(*.f64 (*.f64 x x) x)
Outputs
(*.f64 (*.f64 x x) x)
Calls

2 calls:

43.0ms
x
1.0ms
(*.f64 (*.f64 x x) x)
Results
AccuracySegmentsBranch
99.7%1x
99.7%1(*.f64 (*.f64 x x) x)
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes3.0ms (0%)

Memory
3.7MiB live, 3.7MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
(*.f64 x x)
Outputs
(*.f64 x x)
Calls

2 calls:

1.0ms
x
1.0ms
(*.f64 (*.f64 x x) x)
Results
AccuracySegmentsBranch
48.4%1x
48.4%1(*.f64 (*.f64 x x) x)
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes2.0ms (0%)

Memory
6.0MiB live, 6.0MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (* (* x x) x) x)
Outputs
#s(approx (* (* x x) x) x)
Calls

2 calls:

1.0ms
x
1.0ms
(*.f64 (*.f64 x x) x)
Results
AccuracySegmentsBranch
6.2%1x
6.2%1(*.f64 (*.f64 x x) x)
Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify8.0ms (0.1%)

Memory
11.7MiB live, 11.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0924
11020
21120
Stop Event
1×saturated
Calls
Call 1
Inputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (*.f64 x x) x)
(*.f64 x x)
#s(approx (* (* x x) x) x)
Outputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (*.f64 x x) x)
(*.f64 x x)
#s(approx (* (* x x) x) x)

soundness11.3s (90.5%)

Memory
-26.6MiB live, 222.6MiB allocated
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0716
0911
12311
25911
319211
48085
564935
665475
768215
080595
038
056
1106
2246
3526
41666
55712
640592
741172
843542
968812
085902
056
186
2106
3126
0126
0715
0813
11913
23913
39413
425713
0118013
Stop Event
1×done
1×iter limit
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×saturated
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
1×iter limit
Compiler

Compiled 49 to 28 computations (42.9% saved)

preprocess25.0ms (0.2%)

Memory
17.1MiB live, 54.8MiB allocated
Remove

(negabs x)

Compiler

Compiled 94 to 48 computations (48.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...