ABCF->ab-angle angle

Time bar (total: 3.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze59.0ms (2%)

Memory
-1.8MiB live, 22.2MiB 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
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
87.5%87.4%12.5%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
93.8%93.6%6.2%0.1%0%0%0%12
Compiler

Compiled 25 to 20 computations (20% saved)

sample49.0ms (1.6%)

Memory
1.9MiB live, 17.4MiB allocated
Samples
18.0ms178×0valid
14.0ms48×2valid
7.0ms34×1valid
Precisions
Click to see histograms. Total time spent on operations: 31.0ms
ival-div: 5.0ms (15.9% of total)
ival-pow2: 5.0ms (15.9% of total)
ival-sub: 4.0ms (12.7% of total)
adjust: 4.0ms (12.7% of total)
ival-mult: 4.0ms (12.7% of total)
ival-sqrt: 3.0ms (9.6% of total)
ival-add: 2.0ms (6.4% of total)
ival-atan: 2.0ms (6.4% of total)
ival-pi: 1.0ms (3.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain2.7s (88.3%)

Memory
16.6MiB live, 1 512.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1450-1(-4.2698274544589675e-158 -1.8925461875785377e-216 1.7937366852263304e-220)(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))
440-0-(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))
180-1(-2.4959844868153996e+89 -5.623359795267576e-116 1.7917031598391373e+42)(*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))
20-2(-2.303894723837893e+113 -5.810918209158594e-204 -4.3627212644314193e-153)(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
00-0-A
00-0-#s(literal 1 binary64)
00-0-C
00-0-(-.f64 A C)
00-0-(PI.f64)
00-0-(pow.f64 B #s(literal 2 binary64))
00-0-(+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))
00-0-(-.f64 C A)
00-0-(atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))
00-0-#s(literal 180 binary64)
00-0-(pow.f64 (-.f64 A C) #s(literal 2 binary64))
00-0-#s(literal 2 binary64)
00-0-(/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64))
00-0-B
00-0-(/.f64 #s(literal 1 binary64) B)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))oflow-rescue1400
↳(pow.f64 B #s(literal 2 binary64))overflow59
↳(pow.f64 (-.f64 A C) #s(literal 2 binary64))overflow106
↳(+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))overflow140
-.f64(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))cancellation440
*.f64(*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))n*u170
sqrt.f64(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))uflow-rescue40
↳(pow.f64 B #s(literal 2 binary64))underflow69
↳(pow.f64 (-.f64 A C) #s(literal 2 binary64))underflow14
↳(+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))underflow4
Confusion
Predicted +Predicted -
+1280
-5078
Precision
0.7191011235955056
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12800
-50078
Precision?
0.7191011235955056
Recall?
1.0
Freqs
test
numberfreq
078
1151
227
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
46.596435546875
Average Time
0.18201732635498047
Samples
490.0ms4 200×0valid
388.0ms1 152×2valid
186.0ms792×1valid
Compiler

Compiled 5 292 to 960 computations (81.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 745.0ms
ival-pow2: 135.0ms (18.1% of total)
ival-div: 109.0ms (14.6% of total)
ival-sub: 106.0ms (14.2% of total)
adjust: 99.0ms (13.3% of total)
ival-mult: 98.0ms (13.2% of total)
ival-sqrt: 63.0ms (8.5% of total)
ival-atan: 59.0ms (7.9% of total)
ival-add: 39.0ms (5.2% of total)
ival-pi: 22.0ms (3% of total)
exact: 8.0ms (1.1% of total)
ival-true: 5.0ms (0.7% of total)
ival-assert: 2.0ms (0.3% of total)

preprocess218.0ms (7.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079219
1194195
2561193
31780191
45521191
01923
03223
15121
29421
323721
461321
5131021
6215621
7328221
8411221
9449221
10457621
11462521
12466321
13476621
14479821
15479821
16479821
0479816
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
Outputs
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
(*.f64 (/.f64 #s(literal 180 binary64) (PI.f64)) (atan.f64 (/.f64 (-.f64 (-.f64 C (hypot.f64 (-.f64 A C) B)) A) B)))
Compiler

Compiled 23 to 19 computations (17.4% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
55.4%
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
Compiler

Compiled 46 to 38 computations (17.4% saved)

simplify25.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01923
13123
24123
34723
45023
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
Outputs
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (*.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64)))
(*.f64 (/.f64 (atan.f64 (*.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) B))) (PI.f64)) #s(literal 180 binary64))

soundness1.0ms (0%)

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

Compiled 23 to 19 computations (17.4% saved)

preprocess1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 92 to 76 computations (17.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...