Henrywood and Agarwal, Equation (13)

Time bar (total: 4.6s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze528.0ms (11.6%)

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

sample112.0ms (2.5%)

Memory
-3.1MiB live, 37.5MiB allocated
Samples
32.0ms290×0invalid
18.0ms54×2valid
14.0ms133×0valid
11.0ms51×1valid
9.0ms22×3valid
Precisions
Click to see histograms. Total time spent on operations: 63.0ms
ival-mult: 33.0ms (52.1% of total)
ival-div: 11.0ms (17.4% of total)
adjust: 7.0ms (11% of total)
ival-sqrt: 6.0ms (9.5% of total)
ival-sub: 3.0ms (4.7% of total)
ival-add: 3.0ms (4.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain3.7s (81.2%)

Memory
21.8MiB live, 1 798.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1020-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))))
640-1(1590.8234645899888 5.4729205509650686e-37 -2.2394355206779455e+163 -6.429512061051321e-169 -7.247793819247933e-159 4.150482943811709e-174)(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
430-1(-6.303322665483157e+168 3.414302827992723e-37 1.0845599176400422e-273 -5.971765600348409e+110 -2.0433181542802016e-193 -1.4355866880565539e-213)(*.f64 (*.f64 w h) (*.f64 D D))
380-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))
370-4(1.843661452305927e+40 1.465687426579145e+103 -3.701258843296275e-228 1.7967400815288977e-152 1.820783902265096e-162 3.3228258864438642e+41)(*.f64 c0 (*.f64 d d))
360-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)))
350-2(-2.2080078660638678e-149 3.908669410317003e+164 -7.880406775225215e-68 -2.7374941765907196e-186 5.442803517948178e+59 -3.527214297265079e+185)(*.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)))))
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))overflow115
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow167
↳(*.f64 D D)overflow26
↳(*.f64 d d)overflow112
↳(*.f64 w h)overflow10
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow21
↳(*.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))))overflow197
↳(*.f64 M M)overflow38
↳(*.f64 c0 (*.f64 d d))overflow230
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow334
↳(*.f64 D D)overflow52
↳(*.f64 w h)overflow20
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow42
↳(-.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))overflow197
↳(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)))overflow167
↳(*.f64 d d)overflow224
-.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-rescue380
↳(*.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))))overflow197
↳(*.f64 c0 (*.f64 d d))overflow230
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow334
↳(*.f64 D D)overflow52
↳(*.f64 d d)overflow224
↳(*.f64 w h)overflow20
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow42
↳(*.f64 M M)overflow38
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-rescue300
↳(*.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))))overflow197
↳(*.f64 M M)overflow38
↳(*.f64 c0 (*.f64 d d))overflow230
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow334
↳(*.f64 D D)overflow52
↳(*.f64 w h)overflow20
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow42
↳(-.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))overflow197
↳(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)))overflow167
↳(*.f64 d d)overflow224
+.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))))cancellation240
*.f64(*.f64 c0 (*.f64 d d))n*o230
*.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*u180
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))overflow43
↳(+.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))))underflow88
↳(*.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))))underflow6
↳(*.f64 M M)underflow81
↳(*.f64 c0 (*.f64 d d))underflow66
↳(*.f64 D D)underflow312
↳(*.f64 d d)underflow72
↳(*.f64 w h)underflow126
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow351
↳(-.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))underflow6
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*u170
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/o140
↳(*.f64 c0 (*.f64 d d))overflow115
↳(*.f64 d d)overflow112
↳(*.f64 D D)overflow26
↳(*.f64 w h)overflow10
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow21
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/u130
↳(*.f64 D D)underflow104
↳(*.f64 w h)underflow42
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow117
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/u110
↳(*.f64 c0 (*.f64 d d))underflow22
↳(*.f64 d d)underflow24
↳(*.f64 D D)underflow104
↳(*.f64 w h)underflow42
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow117
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*o100
*.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*o70
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/n70
↳(*.f64 c0 (*.f64 d d))overflow115
↳(*.f64 d d)overflow112
*.f64(*.f64 c0 (*.f64 d d))n*u60
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-rescue60
↳(*.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))))underflow6
↳(*.f64 M M)underflow81
↳(*.f64 c0 (*.f64 d d))underflow44
↳(*.f64 D D)underflow208
↳(*.f64 d d)underflow48
↳(*.f64 w h)underflow84
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow234
↳(-.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))underflow6
*.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 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/n50
↳(*.f64 c0 (*.f64 d d))underflow22
↳(*.f64 d d)underflow24
*.f64(*.f64 (*.f64 w h) (*.f64 D D))u*o40
↳(*.f64 w h)underflow42
↳(*.f64 D D)overflow26
*.f64(*.f64 (*.f64 w h) (*.f64 D D))o*u20
↳(*.f64 w h)overflow10
↳(*.f64 D D)underflow104
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/o20
↳(*.f64 D D)overflow26
↳(*.f64 w h)overflow10
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow21
*.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*o20
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))underflow14
↳(+.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))))overflow89
↳(*.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))))overflow197
↳(*.f64 M M)overflow38
↳(*.f64 c0 (*.f64 d d))overflow345
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow501
↳(*.f64 D D)overflow78
↳(*.f64 w h)overflow30
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow63
↳(-.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))overflow197
↳(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)))overflow167
↳(*.f64 d d)overflow336
Confusion
Predicted +Predicted -
+1786
-864
Precision
0.956989247311828
Recall
0.967391304347826
Confusion?
Predicted +Predicted MaybePredicted -
+17806
-8064
Precision?
0.956989247311828
Recall?
0.967391304347826
Freqs
test
numberfreq
070
183
275
323
44
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
64.5595703125
Average Time
0.2521858215332031
Samples
647.0ms1 824×2valid
386.0ms3 048×0valid
244.0ms528×3valid
190.0ms744×1valid
Compiler

Compiled 9 312 to 1 056 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1000.0ms
ival-mult: 476.0ms (47.6% of total)
adjust: 168.0ms (16.8% of total)
ival-div: 141.0ms (14.1% of total)
ival-sqrt: 99.0ms (9.9% of total)
ival-add: 52.0ms (5.2% of total)
ival-sub: 51.0ms (5.1% of total)
ival-true: 6.0ms (0.6% of total)
exact: 4.0ms (0.4% of total)
ival-assert: 3.0ms (0.3% of total)

preprocess187.0ms (4.1%)

Memory
6.2MiB live, 54.6MiB 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
28.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)

simplify23.0ms (0.5%)

Memory
-3.0MiB 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))))

soundness1.0ms (0%)

Memory
-7.6MiB 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...