math.sin on complex, imaginary part

Time bar (total: 7.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 14 to 13 computations (7.1% saved)

sample54.0ms (0.7%)

Memory
4.1MiB live, 11.7MiB allocated
Samples
24.0ms59×2valid
12.0ms66×1valid
10.0ms135×0valid
Precisions
Click to see histograms. Total time spent on operations: 39.0ms
ival-exp: 23.0ms (58.3% of total)
ival-cos: 6.0ms (15.2% of total)
adjust: 4.0ms (10.1% of total)
ival-mult: 4.0ms (10.1% of total)
ival-sub: 3.0ms (7.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain7.3s (97.1%)

Memory
39.0MiB live, 2 990.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1250-0-(-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))
00-0-(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
00-0-(exp.f64 im)
00-0-#s(literal 0 binary64)
00-0-(cos.f64 re)
00-0-im
00-0-(-.f64 #s(literal 0 binary64) im)
00-0-re
00-0-(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
00-0-#s(literal 1/2 binary64)
00-0-(exp.f64 (-.f64 #s(literal 0 binary64) im))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))cancellation1250
Confusion
Predicted +Predicted -
+1250
-0131
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12500
-00131
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0131
1125
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
51.159423828125
Average Time
0.19984149932861328
Samples
2.3s5 220×2valid
1.1s5 760×1valid
1.0s12 060×0valid
Compiler

Compiled 5 850 to 2 160 computations (63.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-exp: 2.0s (58.1% of total)
ival-cos: 463.0ms (13.3% of total)
ival-mult: 338.0ms (9.7% of total)
adjust: 330.0ms (9.5% of total)
ival-sub: 270.0ms (7.8% of total)
exact: 26.0ms (0.7% of total)
ival-true: 20.0ms (0.6% of total)
ival-assert: 9.0ms (0.3% of total)

preprocess120.0ms (1.6%)

Memory
1.4MiB live, 8.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02959
17955
223455
373255
4167055
5230855
6251655
7278855
8305255
9324955
10329955
11330755
12330755
13330755
01112
01811
12911
25811
312911
423811
536711
654611
779411
8108411
9121911
10125411
11126111
12126111
0126111
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
Outputs
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
(*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))
Symmetry

(abs re)

(negabs im)

Compiler

Compiled 12 to 11 computations (8.3% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
54.9%
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
Compiler

Compiled 24 to 22 computations (8.3% saved)

simplify25.0ms (0.3%)

Memory
-7.1MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01111
11811
22411
32711
42811
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
Outputs
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
(*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cos.f64 re) #s(literal 1/2 binary64)))

soundness0.0ms (0%)

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

Compiled 11 to 10 computations (9.1% saved)

preprocess17.0ms (0.2%)

Memory
0.4MiB live, 7.9MiB allocated
Remove

(negabs im)

(abs re)

Compiler

Compiled 218 to 180 computations (17.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...