Trigonometry B

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze103.0ms (7.3%)

Memory
37.4MiB live, 37.4MiB 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)

sample20.0ms (1.4%)

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

explain948.0ms (67.7%)

Memory
553.2MiB live, 553.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
10-0-(-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))
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-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))cancellation13
Confusion
Predicted +Predicted -
+12
-0253
Precision
1.0
Recall
0.3333333333333333
Confusion?
Predicted +Predicted MaybePredicted -
+111
-02251
Precision?
0.5
Recall?
0.6666666666666666
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0255
11
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.234375
Average Time
0.02435302734375
Samples
216.0ms3 072×0valid
Compiler

Compiled 1 572 to 360 computations (77.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 139.0ms
ival-tan: 66.0ms (47.4% of total)
ival-mult: 21.0ms (15.1% of total)
ival-div: 18.0ms (12.9% of total)
ival-sub: 15.0ms (10.8% of total)
ival-add: 14.0ms (10% of total)
ival-true: 3.0ms (2.2% of total)
exact: 2.0ms (1.4% of total)
ival-assert: 2.0ms (1.4% of total)

preprocess299.0ms (21.4%)

Memory
31.7MiB live, 31.7MiB 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.5%
(/.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)

simplify27.0ms (1.9%)

Memory
17.6MiB live, 17.6MiB 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...