Henrywood and Agarwal, Equation (13)

Time bar (total: 3.4s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze509.0ms (15%)

Memory
3.3MiB live, 208.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
0%0%99.7%0.3%0%0%0%7
0%0%99.7%0.3%0%0%0%8
0%0%99.7%0.3%0%0%0%9
0%0%99.7%0.3%0%0%0%10
0%0%99.7%0.3%0%0%0%11
0%0%99.7%0.3%0%0%0%12
Compiler

Compiled 54 to 23 computations (57.4% saved)

sample106.0ms (3.1%)

Memory
7.3MiB live, 37.3MiB allocated
Samples
30.0ms280×0invalid
17.0ms54×2valid
14.0ms134×0valid
12.0ms31×3valid
9.0ms41×1valid
Precisions
Click to see histograms. Total time spent on operations: 62.0ms
ival-mult: 32.0ms (51.7% of total)
ival-div: 9.0ms (14.5% of total)
adjust: 7.0ms (11.3% of total)
ival-sqrt: 7.0ms (11.3% of total)
ival-sub: 3.0ms (4.8% of total)
ival-add: 3.0ms (4.8% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain2.6s (75.5%)

Memory
9.7MiB live, 1 698.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
10226(-6.402414878534864e+71 -3.51996662924148e-91 -1.674513923523484e+24 -1.1397044768993475e-188 -1.3581821443760664e-194 4.4166030424166845e-181)0-(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
610-6(-4.403300017698471e+222 -8.588666135023344e+281 7.2952845635226065e-280 1.4752025969931476e-159 4.685725807129655e-250 -1.6907761502818532e-143)(*.f64 (*.f64 w h) (*.f64 D D))
570-3(-5.827566734065402e+258 2.7633876486797014e+146 -7.53182733328714e-224 -4.4758324801390825e-120 5.126227798563886e-186 -1.3311186329870899e-230)(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
517(2.6111707632070018e+187 8.320580161925101e-175 -1.8359097786754156e-301 -8.743591405637439e+294 -1.5277772051244147e+122 -3.2834891380103705e+260)9(-1.576035092378289e+42 1.6310056662346288e-241 1.2350532260237518e+257 -1.6834032926709618e-129 8.052813149626011e+290 1.1085214516866199e+188)(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
500-0-(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))
410-0-(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))
400-1(5.9472040965947046e+209 3.040873960847302e-54 6.96784487450556e+223 2.3979470234284684e-230 2.328616586129128e-160 1.492004756849923e-264)(*.f64 c0 (*.f64 d d))
00-0-D
00-0-(*.f64 M M)
00-0-d
00-0-(*.f64 d d)
00-0-(*.f64 w h)
00-0-(*.f64 #s(literal 2 binary64) w)
00-0-(*.f64 D D)
00-0-(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))
00-0-c0
00-0-#s(literal 2 binary64)
00-0-(/.f64 c0 (*.f64 #s(literal 2 binary64) w))
00-0-w
00-0-h
00-0-M
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))nan-rescue780
↳(*.f64 c0 (*.f64 d d))overflow109
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow156
↳(*.f64 D D)overflow30
↳(*.f64 d d)overflow109
↳(*.f64 w h)overflow18
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow15
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))overflow199
↳(*.f64 M M)overflow41
↳(*.f64 c0 (*.f64 d d))overflow218
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow312
↳(*.f64 D D)overflow60
↳(*.f64 w h)overflow36
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow30
↳(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))overflow199
↳(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))overflow156
↳(*.f64 d d)overflow218
+.f64(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))cancellation500
sqrt.f64(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))oflow-rescue430
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))overflow199
↳(*.f64 M M)overflow41
↳(*.f64 c0 (*.f64 d d))overflow218
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow312
↳(*.f64 D D)overflow60
↳(*.f64 w h)overflow36
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow30
↳(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))overflow199
↳(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))overflow156
↳(*.f64 d d)overflow218
-.f64(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))nan-rescue410
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))overflow199
↳(*.f64 c0 (*.f64 d d))overflow218
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow312
↳(*.f64 D D)overflow60
↳(*.f64 d d)overflow218
↳(*.f64 w h)overflow36
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow30
↳(*.f64 M M)overflow41
*.f64(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))o*u250
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))overflow49
↳(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))underflow101
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))underflow7
↳(*.f64 M M)underflow83
↳(*.f64 c0 (*.f64 d d))underflow54
↳(*.f64 D D)underflow291
↳(*.f64 d d)underflow93
↳(*.f64 w h)underflow159
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow330
↳(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))underflow7
*.f64(*.f64 c0 (*.f64 d d))n*o220
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*u190
*.f64(*.f64 c0 (*.f64 d d))n*u170
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/u160
↳(*.f64 c0 (*.f64 d d))underflow18
↳(*.f64 d d)underflow31
↳(*.f64 D D)underflow97
↳(*.f64 w h)underflow53
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow110
*.f64(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))n*o130
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*o120
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/o120
↳(*.f64 c0 (*.f64 d d))overflow109
↳(*.f64 d d)overflow109
↳(*.f64 D D)overflow30
↳(*.f64 w h)overflow18
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow15
*.f64(*.f64 (*.f64 w h) (*.f64 D D))u*o120
↳(*.f64 w h)underflow53
↳(*.f64 D D)overflow30
*.f64(*.f64 (*.f64 w h) (*.f64 D D))o*u120
↳(*.f64 w h)overflow18
↳(*.f64 D D)underflow97
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/n110
↳(*.f64 c0 (*.f64 d d))overflow109
↳(*.f64 d d)overflow109
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/u100
↳(*.f64 D D)underflow97
↳(*.f64 w h)underflow53
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow110
sqrt.f64(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))uflow-rescue70
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))underflow7
↳(*.f64 M M)underflow83
↳(*.f64 c0 (*.f64 d d))underflow36
↳(*.f64 D D)underflow194
↳(*.f64 d d)underflow62
↳(*.f64 w h)underflow106
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow220
↳(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))underflow7
*.f64(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))n*u60
*.f64(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))u*o50
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))underflow15
↳(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))overflow78
↳(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))overflow199
↳(*.f64 M M)overflow41
↳(*.f64 c0 (*.f64 d d))overflow327
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow468
↳(*.f64 D D)overflow90
↳(*.f64 w h)overflow54
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow45
↳(-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))overflow199
↳(sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))overflow156
↳(*.f64 d d)overflow327
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/o30
↳(*.f64 D D)overflow30
↳(*.f64 w h)overflow18
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow15
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/n20
↳(*.f64 c0 (*.f64 d d))underflow18
↳(*.f64 d d)underflow31
Confusion
Predicted +Predicted -
+1970
-1643
Precision
0.9248826291079812
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+19700
-16043
Precision?
0.9248826291079812
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
043
181
272
349
411
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
9.7626953125
Average Time
0.038135528564453125
Samples
273.0ms804×2valid
188.0ms1 536×0valid
171.0ms372×3valid
88.0ms360×1valid
Compiler

Compiled 9 288 to 1 032 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 492.0ms
ival-mult: 233.0ms (47.4% of total)
adjust: 82.0ms (16.7% of total)
ival-div: 71.0ms (14.4% of total)
ival-sqrt: 49.0ms (10% of total)
ival-sub: 26.0ms (5.3% of total)
ival-add: 25.0ms (5.1% of total)
ival-true: 2.0ms (0.4% of total)
exact: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess184.0ms (5.4%)

Memory
-0.7MiB live, 54.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02131428
19811422
256621404
02152
03552
17652
230552
3324346
4395646
5577142
0809541
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
Outputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (fma.f64 (/.f64 (*.f64 d c0) (*.f64 (*.f64 D w) D)) (/.f64 d h) (sqrt.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (/.f64 c0 (*.f64 h w))) (/.f64 c0 (*.f64 h w)) (*.f64 (neg.f64 M) M)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))
Symmetry

(abs M)

(abs d)

(abs D)

Compiler

Compiled 52 to 21 computations (59.6% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 6 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
23.7%
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
Compiler

Compiled 104 to 42 computations (59.6% saved)

simplify21.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02152
13252
24052
34452
44652
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
Outputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (+.f64 (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w))) (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w)))) (*.f64 M M))) (/.f64 (*.f64 (*.f64 d d) c0) (*.f64 (*.f64 D D) (*.f64 h w)))) (/.f64 c0 (*.f64 w #s(literal 2 binary64))))

soundness0.0ms (0%)

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

Compiled 52 to 21 computations (59.6% saved)

preprocess7.0ms (0.2%)

Memory
5.5MiB live, 5.5MiB allocated
Remove

(abs D)

(abs d)

(abs M)

Compiler

Compiled 832 to 336 computations (59.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...