Toniolo and Linder, Equation (10-)

Time bar (total: 3.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze518.0ms (17%)

Memory
1.7MiB live, 168.1MiB 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
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
0%0%99.9%0.1%0%0%0%7
0%0%99.9%0.1%0%0%0%8
0%0%99.9%0.1%0%0%0%9
2%2%97.9%0.1%0%0%0%10
2.9%2.9%96.9%0.1%0%0%0%11
3.8%3.8%96.1%0.1%0%0%0%12
Compiler

Compiled 27 to 21 computations (22.2% saved)

sample64.0ms (2.1%)

Memory
4.5MiB live, 19.6MiB allocated
Samples
21.0ms138×0valid
16.0ms60×2valid
11.0ms36×3valid
6.0ms26×1valid
Precisions
Click to see histograms. Total time spent on operations: 44.0ms
ival-div: 7.0ms (15.8% of total)
adjust: 7.0ms (15.8% of total)
ival-mult: 7.0ms (15.8% of total)
ival-sin: 6.0ms (13.6% of total)
ival-tan: 5.0ms (11.3% of total)
ival-pow2: 4.0ms (9% of total)
ival-pow: 4.0ms (9% of total)
ival-sub: 2.0ms (4.5% of total)
ival-add: 2.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

explain2.3s (74.4%)

Memory
3.3MiB live, 1 574.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
972(-5.376525456855364e+248 -2.8588024158538517e-297 2.304546674553139e+88)4(-8.480765722909866e+132 -1.2080505282459711e+83 -7.064998416984571e-59)(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))
681(3.9512716401951516e+91 3.004534722470438e+298 -9.553549952555879e+201)1(2.1392399587324804e-108 6.670650887487414e-25 -1.1521679475024336e-295)(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))
5271(1.4327713767415126e+169 -2.8444871489127598e-282 -2746.184905914615)0-(-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))
90-0-(*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k))
90-0-(*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
00-0-k
00-0-(/.f64 k t)
00-0-t
00-0-#s(literal 1 binary64)
00-0-#s(literal 3 binary64)
00-0-(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
00-0-(tan.f64 k)
00-0-(pow.f64 (/.f64 k t) #s(literal 2 binary64))
00-0-(+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
00-0-(*.f64 l l)
00-0-(sin.f64 k)
00-0-(pow.f64 t #s(literal 3 binary64))
00-0-#s(literal 2 binary64)
00-0-l
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))cancellation1230
*.f64(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))u*o540
↳(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))underflow85
↳(*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))underflow110
↳(*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k))underflow101
↳(pow.f64 t #s(literal 3 binary64))underflow84
↳(*.f64 l l)underflow67
↳(/.f64 k t)overflow38
↳(-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))overflow75
↳(+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))overflow75
↳(pow.f64 (/.f64 k t) #s(literal 2 binary64))overflow75
*.f64(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))o*u290
↳(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))overflow80
↳(*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))overflow62
↳(*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k))overflow71
↳(pow.f64 t #s(literal 3 binary64))overflow84
↳(*.f64 l l)overflow78
↳(/.f64 k t)underflow25
↳(-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))underflow74
↳(pow.f64 (/.f64 k t) #s(literal 2 binary64))underflow71
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))o/o220
↳(pow.f64 t #s(literal 3 binary64))overflow84
↳(*.f64 l l)overflow78
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))u/u200
↳(pow.f64 t #s(literal 3 binary64))underflow84
↳(*.f64 l l)underflow67
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))n/o100
↳(*.f64 l l)overflow78
*.f64(*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))n*o90
*.f64(*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k))n*o90
*.f64(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))n*o80
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))o/n60
↳(pow.f64 t #s(literal 3 binary64))overflow84
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))u/n60
↳(pow.f64 t #s(literal 3 binary64))underflow84
/.f64(/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))n/u40
↳(*.f64 l l)underflow67
*.f64(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))n*u40
Confusion
Predicted +Predicted -
+1800
-3640
Precision
0.8333333333333334
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+18000
-36040
Precision?
0.8333333333333334
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
040
1130
284
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
11.99609375
Average Time
0.0468597412109375
Samples
273.0ms1 632×0valid
223.0ms732×2valid
145.0ms408×3valid
75.0ms300×1valid
Compiler

Compiled 4 572 to 936 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 524.0ms
ival-div: 82.0ms (15.6% of total)
adjust: 80.0ms (15.3% of total)
ival-mult: 78.0ms (14.9% of total)
ival-sin: 65.0ms (12.4% of total)
ival-tan: 55.0ms (10.5% of total)
ival-pow: 53.0ms (10.1% of total)
ival-pow2: 50.0ms (9.5% of total)
ival-sub: 26.0ms (5% of total)
ival-add: 26.0ms (5% of total)
exact: 5.0ms (1% of total)
ival-true: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess156.0ms (5.1%)

Memory
7.5MiB live, 51.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
082231
1239207
21063189
01925
03225
15723
216121
384921
4356721
0826521
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Outputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) (*.f64 (tan.f64 k) (*.f64 (/.f64 (/.f64 (sin.f64 k) l) l) (pow.f64 t #s(literal 3 binary64)))))
Symmetry

(abs k)

(abs l)

(negabs t)

Compiler

Compiled 25 to 19 computations (24% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
30.0%
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Compiler

Compiled 50 to 38 computations (24% saved)

simplify21.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01925
12825
23225
33525
43825
54125
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
Outputs
(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (*.f64 (-.f64 (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l))))))

soundness0.0ms (0%)

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

Compiled 25 to 19 computations (24% saved)

preprocess22.0ms (0.7%)

Memory
1.7MiB live, 9.4MiB allocated
Remove

(negabs t)

(abs l)

(abs k)

Compiler

Compiled 400 to 304 computations (24% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...