NMSE Section 6.1 mentioned, B

Time bar (total: 1.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze78.0ms (5.1%)

Memory
3.0MiB live, 27.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
12.5%12.5%87.4%0.1%0%0%0%5
25%25%74.9%0.1%0%0%0%6
46.9%46.8%53.1%0.1%0%0%0%7
56.3%56.2%43.7%0.1%0%0%0%8
71.1%71%28.9%0.1%0%0%0%9
76.6%76.5%23.4%0.1%0%0%0%10
85%84.9%15%0.1%0%0%0%11
87.9%87.8%12.1%0.1%0%0%0%12
Compiler

Compiled 23 to 17 computations (26.1% saved)

sample28.0ms (1.8%)

Memory
2.6MiB live, 10.6MiB allocated
Samples
20.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 15.0ms
ival-div: 6.0ms (39.9% of total)
ival-mult: 5.0ms (33.3% of total)
ival-sub: 2.0ms (13.3% of total)
ival-pi: 1.0ms (6.7% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain1.3s (82.7%)

Memory
1.6MiB live, 1 091.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
340-3(3.1087112744825884e+161 -2.429045615190902e-108)(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
250-0-(-.f64 (*.f64 b b) (*.f64 a a))
22(1.9964890916332137e+161 4.021470338412749e-44)0-(/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))
00-0-(*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a))))
00-0-(*.f64 a a)
00-0-a
00-0-(/.f64 (PI.f64) #s(literal 2 binary64))
00-0-#s(literal 1 binary64)
00-0-(*.f64 b b)
00-0-#s(literal 2 binary64)
00-0-(/.f64 #s(literal 1 binary64) b)
00-0-(/.f64 #s(literal 1 binary64) a)
00-0-b
00-0-(-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b))
00-0-(PI.f64)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))n*u310
-.f64(-.f64 (*.f64 b b) (*.f64 a a))nan-rescue250
↳(*.f64 b b)overflow63
↳(*.f64 a a)overflow81
/.f64(/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))n/o40
↳(*.f64 b b)overflow63
↳(*.f64 a a)overflow81
↳(-.f64 (*.f64 b b) (*.f64 a a))overflow119
Confusion
Predicted +Predicted -
+597
-1189
Precision
0.9833333333333333
Recall
0.8939393939393939
Confusion?
Predicted +Predicted MaybePredicted -
+5907
-10189
Precision?
0.9833333333333333
Recall?
0.8939393939393939
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0196
160
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
8.250244140625
Average Time
0.032227516174316406
Samples
277.0ms3 072×0valid
Compiler

Compiled 3 048 to 744 computations (75.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 176.0ms
ival-div: 72.0ms (41% of total)
ival-mult: 63.0ms (35.9% of total)
ival-sub: 24.0ms (13.7% of total)
ival-pi: 11.0ms (6.3% of total)
exact: 3.0ms (1.7% of total)
ival-true: 2.0ms (1.1% of total)
ival-assert: 1.0ms (0.6% of total)

preprocess137.0ms (8.9%)

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

Useful iterations: 4 (0.0ms)

IterNodesCost
033109
111595
241895
3208795
4606095
01521
02621
14619
210819
339318
4156917
5428017
0840517
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
Outputs
(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
(*.f64 (/.f64 #s(literal 1/2 binary64) (+.f64 a b)) (/.f64 (-.f64 (/.f64 (PI.f64) a) (/.f64 (PI.f64) b)) (-.f64 b a)))
Symmetry

(sort a b)

Compiler

Compiled 21 to 15 computations (28.6% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
73.9%
(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
Compiler

Compiled 42 to 30 computations (28.6% saved)

simplify20.0ms (1.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01521
12721
24121
35121
46021
58021
611021
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
Outputs
(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 (PI.f64) #s(literal 2 binary64))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 21 to 15 computations (28.6% saved)

preprocess2.0ms (0.1%)

Memory
1.6MiB live, 1.6MiB allocated
Remove

(sort a b)

Compiler

Compiled 168 to 120 computations (28.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...