Henrywood and Agarwal, Equation (3)

Time bar (total: 2.6s)

start0.0ms (0%)

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

analyze463.0ms (17.8%)

Memory
-24.4MiB live, 219.9MiB allocated; 63ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
12.5%12.5%87.3%0.2%0%0%0%5
12.5%12.5%87.3%0.2%0%0%0%6
12.5%12.5%87.3%0.2%0%0%0%7
18.8%18.7%81.1%0.2%0%0%0%8
28.6%28.1%70.2%0.2%0%1.6%0%9
28.6%28.1%70.2%0.2%0%1.6%0%10
28.8%28.1%69.4%0.2%0%2.3%0%11
36.1%32.7%58.1%0.2%0%9%0%12
Compiler

Compiled 10 to 10 computations (0% saved)

sample1.8s (70.4%)

Memory
-67.9MiB live, 2 115.5MiB allocated; 951ms collecting garbage
Samples
791.0ms8 256×0valid
456.0ms6 762×0invalid
Precisions
Click to see histograms. Total time spent on operations: 493.0ms
ival-mult: 255.0ms (51.8% of total)
ival-div: 111.0ms (22.5% of total)
ival-sqrt: 105.0ms (21.3% of total)
ival-true: 11.0ms (2.2% of total)
ival-assert: 6.0ms (1.2% of total)
adjust: 5.0ms (1% of total)
Bogosity

explain145.0ms (5.6%)

Memory
-18.3MiB live, 94.5MiB allocated; 17ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
701(-3.0006933742262706e+42 3.5958945997563263e-249 3.0539518568862428e+249 6.00654907053139e+146)4(4.473994557872264e+200 -2.293092635503507e-260 2.6674039228911685e+291 -1.3635368979228501e-230)(sqrt.f64 (/.f64 A (*.f64 V l)))
240-1(-2.0155174536717352e-240 4.15810078434167e-261 -1.0632645646566302e-127 -1.9669353846043861e-193)(/.f64 A (*.f64 V l))
60-3(22199.22991678425 -2.558539240133019e-304 -5.817333766399648e+294 2.467157853410315e+35)(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
00-0-A
00-0-(*.f64 V l)
00-0-V
00-0-l
00-0-c0
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (/.f64 A (*.f64 V l)))oflow-rescue340
↳(sqrt.f64 (/.f64 A (*.f64 V l)))overflow6
↳(/.f64 A (*.f64 V l))overflow40
↳(*.f64 V l)overflow33
sqrt.f64(sqrt.f64 (/.f64 A (*.f64 V l)))uflow-rescue330
↳(sqrt.f64 (/.f64 A (*.f64 V l)))underflow2
↳(/.f64 A (*.f64 V l))underflow35
↳(*.f64 V l)underflow30
/.f64(/.f64 A (*.f64 V l))n/o120
↳(*.f64 V l)overflow33
/.f64(/.f64 A (*.f64 V l))n/u110
↳(*.f64 V l)underflow30
*.f64(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))n*o30
Confusion
Predicted +Predicted -
+664
-27159
Precision
0.7096774193548387
Recall
0.9428571428571428
Confusion?
Predicted +Predicted MaybePredicted -
+6604
-270159
Precision?
0.7096774193548387
Recall?
0.9428571428571428
Freqs
test
numberfreq
0163
193
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
37.0ms512×0valid
Compiler

Compiled 64 to 28 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.0ms
ival-mult: 13.0ms (62.5% of total)
ival-div: 4.0ms (19.2% of total)
ival-sqrt: 3.0ms (14.4% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess27.0ms (1%)

Memory
-12.2MiB live, 33.7MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055238
1111234
2135234
3173234
4221234
5280234
6346234
7409234
8481234
9496234
10511234
01316
01716
01716
Stop Event
1×saturated
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Symmetry

(negabs c0)

(sort V l)

Compiler

Compiled 8 to 8 computations (0% saved)

eval0.0ms (0%)

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

Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶74.9%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 8 to 8 computations (0% saved)

simplify4.0ms (0.1%)

Memory
4.5MiB live, 4.5MiB allocated; 0ms collecting garbage
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 V l)
cost-diff0
(/.f64 A (*.f64 V l))
cost-diff0
(sqrt.f64 (/.f64 A (*.f64 V l)))
cost-diff0
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01358
01758
01758
Stop Event
1×saturated
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
c0
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
A
(*.f64 V l)
V
l
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
c0
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
A
(*.f64 V l)
V
l

localize21.0ms (0.8%)

Memory
30.0MiB live, 30.0MiB allocated; 0ms collecting garbage
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 V l)
accuracy1.186424640123153
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
accuracy5.449242929655995
(/.f64 A (*.f64 V l))
accuracy15.773953493260487
(sqrt.f64 (/.f64 A (*.f64 V l)))
Samples
15.0ms256×0valid
Compiler

Compiled 28 to 10 computations (64.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 3.0ms (41.7% of total)
ival-div: 2.0ms (27.8% of total)
ival-sqrt: 2.0ms (27.8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series19.0ms (0.7%)

Memory
-21.2MiB live, 24.3MiB allocated; 4ms collecting garbage
Counts
4 → 8
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 V l)
Outputs
(* (sqrt (/ A (* V l))) c0)
(sqrt (/ A (* V l)))
(/ A (* V l))
(* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))
(* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))
(* V l)
(* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))
(* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))
Calls

12 calls:

TimeVariablePointExpression
4.0ms
c0
@-inf
((* c0 (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))) (/ A (* V l)) (* V l))
3.0ms
A
@-inf
((* c0 (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))) (/ A (* V l)) (* V l))
2.0ms
l
@0
((* c0 (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))) (/ A (* V l)) (* V l))
2.0ms
V
@-inf
((* c0 (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))) (/ A (* V l)) (* V l))
2.0ms
l
@-inf
((* c0 (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))) (/ A (* V l)) (* V l))

simplify13.0ms (0.5%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
022112
144104
2101104
0262104
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
Counts
8 → 0
Calls
Call 1
Inputs
(* (sqrt (/ A (* V l))) c0)
(sqrt (/ A (* V l)))
(/ A (* V l))
(* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))
(* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))
(* V l)
(* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))
(* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))
Outputs
(* (sqrt (/ A (* V l))) c0)
(sqrt (/ A (* V l)))
(/ A (* V l))
(* -1 (* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2))))
(* -1 (* (sqrt (/ A (* V l))) (pow (sqrt -1) 2)))
(* V l)
(* (sqrt (/ A (* V l))) (* c0 (pow (sqrt -1) 2)))
(* (sqrt (/ A (* V l))) (pow (sqrt -1) 2))

rewrite44.0ms (1.7%)

Memory
-14.0MiB live, 30.8MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01346
11738
21932
32132
42330
52530
02530
13730
28130
025630
137030
248130
350730
451730
Stop Event
1×saturated
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
4 → 0
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 V l)
Outputs

eval0.0ms (0%)

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

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

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

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
74.9%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓74.9%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 16 to 16 computations (0% saved)

simplify8.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01316
11716
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 8 to 8 computations (0% saved)

preprocess24.0ms (0.9%)

Memory
-19.1MiB live, 29.1MiB allocated; 11ms collecting garbage
Remove

(sort V l)

(negabs c0)

Compiler

Compiled 96 to 96 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...