Henrywood and Agarwal, Equation (13)

Time bar (total: 3.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze565.0ms (17%)

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

sample100.0ms (3%)

Memory
6.2MiB live, 36.2MiB allocated
Samples
31.0ms302×0invalid
15.0ms55×2valid
14.0ms138×0valid
8.0ms45×1valid
7.0ms22×3valid
Precisions
Click to see histograms. Total time spent on operations: 56.0ms
ival-mult: 30.0ms (53.7% of total)
ival-div: 9.0ms (16.1% of total)
ival-sqrt: 5.0ms (9% of total)
adjust: 4.0ms (7.2% of total)
ival-sub: 3.0ms (5.4% of total)
ival-add: 3.0ms (5.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain2.4s (73.6%)

Memory
6.1MiB live, 1 671.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
9332(4.124174718234652e+127 -2.3242168303323763e-169 7.412145787188788e-41 -4.449205124245003e+301 -9.458627031909215e+89 -2.8788008975914386e-267)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))))
720-3(41992650900481.53 5.727638899265612e-113 -2.0643077865986394e-86 -9.603581236391315e-58 7.668401531249531e-48 1.3907829361559937e-163)(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
650-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)))
560-2(-3.516967305694793e+98 -7.548699563630876e-119 9.44226658562427e-195 -2.5911808817526518e+115 7.458798458459934e+171 2.1040261850744698e+124)(*.f64 (*.f64 w h) (*.f64 D D))
476(1.4070934969966107e-139 1.7426920732005622e+269 -1.8162420235348794e-212 2.3253443771315243e-20 24685328.517102793 2.3625775517512396e-263)12(7.215777699458823e-32 2.6414963182723816e-122 -6.993793513866731e+160 6.915247483844659e+162 5.211948170999125e+139 1.3846275369746117e-259)(*.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)))))
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))
340-1(5.580256640018286e+182 -2.3086585353168427e+166 2.586041024282608e+96 5.004991377162273e-193 -7.357551725416765e-156 -4.303838223905799e-259)(*.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-rescue630
↳(*.f64 c0 (*.f64 d d))overflow117
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow138
↳(*.f64 D D)overflow36
↳(*.f64 d d)overflow117
↳(*.f64 w h)overflow15
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow25
↳(*.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)overflow41
↳(*.f64 c0 (*.f64 d d))overflow234
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow276
↳(*.f64 D D)overflow72
↳(*.f64 w h)overflow30
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow50
↳(-.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)))overflow138
↳(*.f64 d d)overflow234
+.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))))cancellation620
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-rescue590
↳(*.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)overflow41
↳(*.f64 c0 (*.f64 d d))overflow234
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow276
↳(*.f64 D D)overflow72
↳(*.f64 w h)overflow30
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow50
↳(-.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)))overflow138
↳(*.f64 d d)overflow234
-.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))))overflow197
↳(*.f64 c0 (*.f64 d d))overflow234
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow276
↳(*.f64 D D)overflow72
↳(*.f64 d d)overflow234
↳(*.f64 w h)overflow30
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow50
↳(*.f64 M M)overflow41
*.f64(*.f64 c0 (*.f64 d d))n*o250
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*u230
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/o200
↳(*.f64 c0 (*.f64 d d))overflow117
↳(*.f64 d d)overflow117
↳(*.f64 D D)overflow36
↳(*.f64 w h)overflow15
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow25
*.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))overflow42
↳(+.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))))underflow91
↳(*.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)underflow82
↳(*.f64 c0 (*.f64 d d))underflow48
↳(*.f64 D D)underflow234
↳(*.f64 d d)underflow54
↳(*.f64 w h)underflow117
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow273
↳(-.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 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/n170
↳(*.f64 c0 (*.f64 d d))overflow117
↳(*.f64 d d)overflow117
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*o140
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/u140
↳(*.f64 c0 (*.f64 d d))underflow16
↳(*.f64 d d)underflow18
↳(*.f64 D D)underflow78
↳(*.f64 w h)underflow39
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow91
*.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*o110
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/u110
↳(*.f64 D D)underflow78
↳(*.f64 w h)underflow39
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow91
*.f64(*.f64 (*.f64 w h) (*.f64 D D))u*o90
↳(*.f64 w h)underflow39
↳(*.f64 D D)overflow36
*.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*u90
*.f64(*.f64 (*.f64 w h) (*.f64 D D))o*u80
↳(*.f64 w h)overflow15
↳(*.f64 D D)underflow78
*.f64(*.f64 c0 (*.f64 d d))n*u80
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)underflow82
↳(*.f64 c0 (*.f64 d d))underflow32
↳(*.f64 D D)underflow156
↳(*.f64 d d)underflow36
↳(*.f64 w h)underflow78
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow182
↳(-.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 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/o50
↳(*.f64 D D)overflow36
↳(*.f64 w h)overflow15
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow25
*.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*o30
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))underflow16
↳(+.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))))overflow75
↳(*.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)overflow41
↳(*.f64 c0 (*.f64 d d))overflow351
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow414
↳(*.f64 D D)overflow108
↳(*.f64 w h)overflow45
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow75
↳(-.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)))overflow138
↳(*.f64 d d)overflow351
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/n20
↳(*.f64 c0 (*.f64 d d))underflow16
↳(*.f64 d d)underflow18
Confusion
Predicted +Predicted -
+1930
-2043
Precision
0.9061032863849765
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+19300
-20043
Precision?
0.9061032863849765
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
043
176
280
340
414
52
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
9.307373046875
Average Time
0.03635692596435547
Samples
241.0ms792×2valid
186.0ms1 584×0valid
105.0ms264×3valid
93.0ms432×1valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 408.0ms
ival-mult: 192.0ms (47.1% of total)
ival-div: 65.0ms (15.9% of total)
adjust: 51.0ms (12.5% of total)
ival-sqrt: 45.0ms (11% of total)
ival-sub: 25.0ms (6.1% of total)
ival-add: 25.0ms (6.1% of total)
ival-true: 2.0ms (0.5% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess181.0ms (5.5%)

Memory
-2.5MiB 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
25.2%
(*.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)

simplify20.0ms (0.6%)

Memory
0.1MiB 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
-2.3MiB 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...