Ian Simplification

Time bar (total: 1.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze3.0ms (0.2%)

Memory
1.0MiB live, 1.0MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
50%25%25%0%0%50%0%4
75%37.5%12.5%0%0%50%0%5
87.5%43.7%6.2%0%0%50%0%6
93.8%46.9%3.1%0%0%50%0%7
96.9%48.4%1.6%0%0%50%0%8
98.4%49.2%0.8%0%0%50%0%9
99.2%49.6%0.4%0%0%50%0%10
99.6%49.8%0.2%0%0%50%0%11
99.8%49.9%0.1%0%0%50%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample87.0ms (4.7%)

Memory
1.1MiB live, 17.3MiB allocated
Samples
43.0ms102×2valid
32.0ms153×1valid
0.0ms5×0valid
Precisions
Click to see histograms. Total time spent on operations: 67.0ms
ival-asin: 34.0ms (50.5% of total)
adjust: 8.0ms (11.9% of total)
ival-div: 8.0ms (11.9% of total)
ival-sub: 5.0ms (7.4% of total)
ival-sqrt: 5.0ms (7.4% of total)
ival-mult: 4.0ms (5.9% of total)
ival-pi: 3.0ms (4.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain1.7s (92.2%)

Memory
15.4MiB live, 902.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2550-1(0.058258609087200736)(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
00-0-(/.f64 (PI.f64) #s(literal 2 binary64))
00-0-#s(literal 1 binary64)
00-0-(-.f64 #s(literal 1 binary64) x)
00-0-(sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))
00-0-(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))
00-0-(/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))
00-0-#s(literal 2 binary64)
00-0-(*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))))
00-0-x
00-0-(PI.f64)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))cancellation2540
Confusion
Predicted +Predicted -
+2541
-01
Precision
1.0
Recall
0.996078431372549
Confusion?
Predicted +Predicted MaybePredicted -
+25401
-001
Precision?
1.0
Recall?
0.996078431372549
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
02
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
7.486083984375
Average Time
0.029242515563964844
Samples
507.0ms1 188×2valid
396.0ms1 824×1valid
5.0ms60×0valid
Compiler

Compiled 1 980 to 552 computations (72.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 753.0ms
ival-asin: 381.0ms (50.6% of total)
adjust: 87.0ms (11.6% of total)
ival-div: 86.0ms (11.4% of total)
ival-sub: 60.0ms (8% of total)
ival-sqrt: 52.0ms (6.9% of total)
ival-mult: 50.0ms (6.6% of total)
ival-pi: 30.0ms (4% of total)
exact: 3.0ms (0.4% of total)
ival-true: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess26.0ms (1.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01329
13327
27226
316026
426126
536726
643326
748526
849526
01113
01913
13413
24813
36713
49613
513213
619113
725313
830813
934813
1036613
036611
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
Outputs
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
(fma.f64 #s(literal -2 binary64) (asin.f64 (sqrt.f64 (fma.f64 #s(literal -1/2 binary64) x #s(literal 1/2 binary64)))) (*.f64 #s(literal 1/2 binary64) (PI.f64)))
Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

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

Compiled 26 to 22 computations (15.4% saved)

simplify26.0ms (1.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12213
23613
34413
44913
55013
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
Outputs
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))) #s(literal 2 binary64)))

soundness0.0ms (0%)

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

Compiled 13 to 11 computations (15.4% saved)

preprocess1.0ms (0.1%)

Memory
-7.2MiB live, 0.7MiB allocated
Compiler

Compiled 56 to 48 computations (14.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...