Trigonometry B

Time bar (total: 1.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze106.0ms (8.9%)

Memory
5.7MiB live, 38.3MiB 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
50%50%50%0%0%0%0%3
50%50%50%0%0%0%0%4
50%50%50%0%0%0%0%5
50%50%50%0%0%0%0%6
50%50%50%0%0%0%0%7
50%50%50%0%0%0%0%8
50%50%50%0%0%0%0%9
50%50%50%0%0%0%0%10
50%50%50%0%0%0%0%11
50%50%50%0%0%0%0%12
Compiler

Compiled 17 to 9 computations (47.1% saved)

sample21.0ms (1.7%)

Memory
-0.2MiB live, 7.4MiB allocated
Samples
15.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-tan: 5.0ms (48.3% of total)
ival-div: 1.0ms (9.7% of total)
ival-add: 1.0ms (9.7% of total)
ival-mult: 1.0ms (9.7% of total)
ival-sub: 1.0ms (9.7% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain743.0ms (62.2%)

Memory
1.3MiB live, 557.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 (tan.f64 x) (tan.f64 x))
00-0-(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
00-0-#s(literal 1 binary64)
00-0-(tan.f64 x)
00-0-(+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))
00-0-(-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-02254
Precision?
0.0
Recall?
0/0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-010
Precision?
0.0
Recall?
0/0
Total Time
6.522705078125
Average Time
0.02547931671142578
Samples
190.0ms3 072×0valid
Compiler

Compiled 1 572 to 360 computations (77.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 123.0ms
ival-tan: 59.0ms (48.1% of total)
ival-mult: 18.0ms (14.7% of total)
ival-div: 15.0ms (12.2% of total)
ival-sub: 13.0ms (10.6% of total)
ival-add: 12.0ms (9.8% of total)
ival-true: 2.0ms (1.6% of total)
exact: 2.0ms (1.6% of total)
adjust: 1.0ms (0.8% of total)
ival-assert: 1.0ms (0.8% of total)

preprocess292.0ms (24.4%)

Memory
1.5MiB live, 32.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0939
13130
26430
316530
438330
571430
6130330
7175430
8289930
9414830
10511330
11633030
12718630
13765730
14790130
15797130
0715
01215
12315
23415
35315
49215
515515
625415
756515
8124915
9297315
10432615
11540415
12615815
13650715
14663615
15669715
16756315
0815014
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
Outputs
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal -1 binary64)) (neg.f64 (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))))
Symmetry

(abs x)

Compiler

Compiled 15 to 7 computations (53.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
Compiler

Compiled 30 to 14 computations (53.3% saved)

simplify29.0ms (2.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0715
11615
22315
32715
42915
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
Outputs
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) #s(literal 1 binary64)))

soundness0.0ms (0%)

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

Compiled 15 to 7 computations (53.3% saved)

preprocess2.0ms (0.2%)

Memory
1.3MiB live, 1.3MiB allocated
Remove

(abs x)

Compiler

Compiled 120 to 56 computations (53.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...