ab-angle->ABCF D

Time bar (total: 712.0ms)

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%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 8 computations (20% saved)

sample595.0ms (83.6%)

Memory
39.7MiB live, 629.2MiB allocated
Samples
365.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 209.0ms
ival-mult: 162.0ms (77.4% of total)
ival-neg: 39.0ms (18.6% of total)
ival-true: 6.0ms (2.9% of total)
ival-assert: 3.0ms (1.4% of total)
Bogosity

explain67.0ms (9.5%)

Memory
1.2MiB live, 81.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
370-1(-1.361876936375332e-158 -1074559.3736474237)(*.f64 (*.f64 a a) b)
210-3(1.2498057194315222e-188 1.5180380193602517e+56)(*.f64 (*.f64 (*.f64 a a) b) b)
00-0-(*.f64 a a)
00-0-(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
00-0-a
00-0-b
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 (*.f64 a a) b)n*u190
*.f64(*.f64 (*.f64 a a) b)n*o170
*.f64(*.f64 (*.f64 (*.f64 a a) b) b)n*o100
*.f64(*.f64 (*.f64 (*.f64 a a) b) b)n*u80
Confusion
Predicted +Predicted -
+541
-0201
Precision
1.0
Recall
0.9818181818181818
Confusion?
Predicted +Predicted MaybePredicted -
+5401
-00201
Precision?
1.0
Recall?
0.9818181818181818
Freqs
test
numberfreq
0202
154
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
26.0ms512×0valid
Compiler

Compiled 87 to 28 computations (67.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-mult: 10.0ms (77.5% of total)
ival-neg: 2.0ms (15.5% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess3.0ms (0.5%)

Memory
-34.5MiB live, 4.1MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Outputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶79.6%
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Compiler

Compiled 8 to 6 computations (25% saved)

simplify0.0ms (0%)

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

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 a a)
cost-diff0
(*.f64 (*.f64 a a) b)
cost-diff0
(*.f64 (*.f64 (*.f64 a a) b) b)
cost-diff0
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Calls
Call 1
Inputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(*.f64 (*.f64 (*.f64 a a) b) b)
(*.f64 (*.f64 a a) b)
(*.f64 a a)
a
b
Outputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(*.f64 (*.f64 (*.f64 a a) b) b)
(*.f64 (*.f64 a a) b)
(*.f64 a a)
a
b

localize17.0ms (2.4%)

Memory
21.3MiB live, 21.3MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 a a)
accuracy0.0
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
accuracy4.647882131701045
(*.f64 (*.f64 (*.f64 a a) b) b)
accuracy8.150217373195797
(*.f64 (*.f64 a a) b)
Samples
13.0ms256×0valid
Compiler

Compiled 52 to 14 computations (73.1% saved)

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

series6.0ms (0.9%)

Memory
7.8MiB live, 7.8MiB allocated
Counts
4 → 4
Calls
Call 1
Inputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(*.f64 (*.f64 (*.f64 a a) b) b)
(*.f64 (*.f64 a a) b)
(*.f64 a a)
Outputs
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)
Calls

6 calls:

TimeVariablePointExpression
1.0ms
a
@inf
((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a))
1.0ms
a
@0
((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a))
1.0ms
b
@-inf
((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a))
1.0ms
b
@0
((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a))
1.0ms
b
@inf
((neg (* (* (* a a) b) b)) (* (* (* a a) b) b) (* (* a a) b) (* a a))

simplify0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Counts
4 → 4
Calls
Call 1
Inputs
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)
Outputs
(* -1 (* (pow a 2) (pow b 2)))
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(* (pow a 2) (pow b 2))
(*.f64 (*.f64 (*.f64 a a) b) b)
(* (pow a 2) b)
(*.f64 (*.f64 a a) b)
(pow a 2)
(*.f64 a a)

rewrite0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Counts
4 → 4
Calls
Call 1
Inputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(*.f64 (*.f64 (*.f64 a a) b) b)
(*.f64 (*.f64 a a) b)
(*.f64 a a)
Outputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
(*.f64 (*.f64 (*.f64 a a) b) b)
(*.f64 (*.f64 a a) b)
(*.f64 a a)

eval1.0ms (0.1%)

Memory
1.4MiB live, 1.4MiB allocated
Compiler

Compiled 91 to 20 computations (78% saved)

prune1.0ms (0.2%)

Memory
2.2MiB live, 2.2MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New808
Fresh000
Picked011
Done000
Total819
Accuracy
79.6%
Counts
9 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓79.6%
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Compiler

Compiled 16 to 12 computations (25% saved)

simplify6.0ms (0.9%)

Memory
-30.6MiB live, 7.9MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))
Outputs
(neg.f64 (*.f64 (*.f64 (*.f64 a a) b) b))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×done
Compiler

Compiled 8 to 6 computations (25% saved)

preprocess12.0ms (1.7%)

Memory
18.2MiB live, 18.2MiB allocated
Compiler

Compiled 32 to 24 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...