Eccentricity of an ellipse

Time bar (total: 465.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze11.0ms (2.4%)

Memory
4.3MiB live, 4.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%37.5%62.5%0%0%0%0
0%0%37.5%62.5%0%0%0%1
0%0%18.7%62.5%0%18.7%0%2
0%0%9.4%62.5%0%28.1%0%3
0%0%9.4%62.5%0%28.1%0%4
0%0%7%62.5%0%30.4%0%5
20%1.2%4.7%62.5%0%31.6%0%6
25%1.2%3.5%62.5%0%32.8%0%7
40%1.8%2.6%62.5%0%33.1%0%8
51.9%2%1.9%62.5%0%33.5%0%9
64.7%2.4%1.3%62.5%0%33.7%0%10
72.9%2.6%1%62.5%0%33.9%0%11
80.2%2.7%0.7%62.5%0%34%0%12
Compiler

Compiled 25 to 16 computations (36% saved)

sample26.0ms (5.6%)

Memory
2.3MiB live, 11.2MiB allocated
Samples
15.0ms260×0valid
2.0ms30×0invalid
Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-mult: 3.0ms (25.3% of total)
ival-sqrt: 2.0ms (16.9% of total)
ival-<=: 2.0ms (16.9% of total)
ival-div: 1.0ms (8.4% of total)
ival-fabs: 1.0ms (8.4% of total)
ival-sub: 1.0ms (8.4% of total)
ival-and: 1.0ms (8.4% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain266.0ms (57.2%)

Memory
3.2MiB live, 102.3MiB allocated
Confusion
Predicted +Predicted -
+048
-0208
Precision
0/0
Recall
0.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
161.0ms3 072×0valid
Compiler

Compiled 492 to 312 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 100.0ms
ival-mult: 38.0ms (38.1% of total)
ival-sqrt: 18.0ms (18.1% of total)
ival-div: 15.0ms (15% of total)
ival-fabs: 13.0ms (13% of total)
ival-sub: 12.0ms (12% of total)
ival-true: 2.0ms (2% of total)
adjust: 1.0ms (1% of total)
ival-assert: 1.0ms (1% of total)

preprocess129.0ms (27.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02267
18557
233857
3252957
4643757
0813
01413
13011
27511
319911
448211
5172311
6564511
0818110
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 (/.f64 b a) a) b #s(literal -1 binary64))))
Symmetry

(abs b)

(abs a)

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
-7.5MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
81.3%
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
Compiler

Compiled 26 to 16 computations (38.5% saved)

simplify28.0ms (6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11613
22813
33713
44513
54913
65113
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))
Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

soundness0.0ms (0.1%)

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

Compiled 13 to 8 computations (38.5% saved)

preprocess3.0ms (0.7%)

Memory
2.7MiB live, 2.7MiB allocated
Remove

(abs a)

(abs b)

Compiler

Compiled 156 to 96 computations (38.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...