Henrywood and Agarwal, Equation (13)

Time bar (total: 3.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze512.0ms (15.6%)

Memory
10.4MiB live, 207.7MiB 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)

sample101.0ms (3.1%)

Memory
-2.3MiB live, 35.5MiB allocated
Samples
30.0ms278×0invalid
14.0ms136×0valid
14.0ms54×2valid
9.0ms26×3valid
8.0ms44×1valid
Precisions
Click to see histograms. Total time spent on operations: 56.0ms
ival-mult: 30.0ms (53.9% of total)
ival-div: 9.0ms (16.2% 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.5s (74.9%)

Memory
10.6MiB live, 1 668.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
9631(-2.5095439900892547e+134 4.174001983286485e-71 6.896946938200354e+96 6.024788926486626e-281 8.372401987431318e-205 7.852929800530367e-205)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))))
500-4(-2.3737678928463018e+42 1.0264519949345968e-91 2.6050716170586467e-224 -8.941090489756592e+46 -6.136435801803342e+211 1.015512089251764e-113)(*.f64 (*.f64 w h) (*.f64 D D))
500-2(7.161667031634505e-282 -1.176791503933913e-282 2.5660043730715928e+120 -3.5797850768696923e-75 4.0076467136280517e+127 1.6920205954670894e-44)(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
470-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))
450-2(6.517564240010893e+145 -1.5033725168350732e-210 6.457008328050324e-147 -4.7397652674042403e+42 -2.2932122924131426e-156 3.932067334292595e-278)(*.f64 c0 (*.f64 d d))
440-1(1.2737710262178439e+50 1.1046677605434039e+171 8.968915754976351e+207 1.199239866232914e-184 3.243663999765456e-98 -2.7944855360734266e-243)(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)))
414(3.406118751055691e+177 1.0015791029143067e-289 -2.510123533434726e-265 -1.6551345297312847e+68 -2.2281915865240384e-98 2.0335130397117183e+223)9(2.1797574840771e-77 -3.337837346172573e-288 1.412945668819998e+233 3.1531454776562245e-103 -1.700317052478897e-56 -3.407429450656751e-156)(*.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-rescue770
↳(*.f64 c0 (*.f64 d d))overflow91
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow163
↳(*.f64 D D)overflow16
↳(*.f64 d d)overflow101
↳(*.f64 w h)overflow12
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow9
↳(*.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))))overflow202
↳(*.f64 M M)overflow47
↳(*.f64 c0 (*.f64 d d))overflow182
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow326
↳(*.f64 D D)overflow32
↳(*.f64 w h)overflow24
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow18
↳(-.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))overflow202
↳(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)))overflow163
↳(*.f64 d d)overflow202
+.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
-.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-rescue470
↳(*.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))))overflow202
↳(*.f64 c0 (*.f64 d d))overflow182
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow326
↳(*.f64 D D)overflow32
↳(*.f64 d d)overflow202
↳(*.f64 w h)overflow24
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow18
↳(*.f64 M M)overflow47
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-rescue390
↳(*.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))))overflow202
↳(*.f64 M M)overflow47
↳(*.f64 c0 (*.f64 d d))overflow182
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow326
↳(*.f64 D D)overflow32
↳(*.f64 w h)overflow24
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow18
↳(-.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))overflow202
↳(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)))overflow163
↳(*.f64 d d)overflow202
*.f64(*.f64 c0 (*.f64 d d))n*o270
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*u230
*.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*u230
↳(/.f64 c0 (*.f64 #s(literal 2 binary64) w))overflow51
↳(+.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))))underflow103
↳(*.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))))underflow4
↳(*.f64 M M)underflow76
↳(*.f64 c0 (*.f64 d d))underflow63
↳(*.f64 D D)underflow291
↳(*.f64 d d)underflow87
↳(*.f64 w h)underflow153
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow384
↳(-.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))underflow4
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/u190
↳(*.f64 c0 (*.f64 d d))underflow21
↳(*.f64 d d)underflow29
↳(*.f64 D D)underflow97
↳(*.f64 w h)underflow51
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow128
*.f64(*.f64 c0 (*.f64 d d))n*u160
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/u110
↳(*.f64 D D)underflow97
↳(*.f64 w h)underflow51
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow128
*.f64(*.f64 (*.f64 w h) (*.f64 D D))o*u90
↳(*.f64 w h)overflow12
↳(*.f64 D D)underflow97
*.f64(*.f64 (*.f64 w h) (*.f64 D D))n*o70
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))o/o70
↳(*.f64 c0 (*.f64 d d))overflow91
↳(*.f64 d d)overflow101
↳(*.f64 D D)overflow16
↳(*.f64 w h)overflow12
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow9
*.f64(*.f64 (*.f64 w h) (*.f64 D D))u*o70
↳(*.f64 w h)underflow51
↳(*.f64 D D)overflow16
*.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))overflow91
↳(*.f64 d d)overflow101
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-rescue40
↳(*.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))))underflow4
↳(*.f64 M M)underflow76
↳(*.f64 c0 (*.f64 d d))underflow42
↳(*.f64 D D)underflow194
↳(*.f64 d d)underflow58
↳(*.f64 w h)underflow102
↳(*.f64 (*.f64 w h) (*.f64 D D))underflow256
↳(-.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))underflow4
*.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*u40
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))u/n20
↳(*.f64 c0 (*.f64 d d))underflow21
↳(*.f64 d d)underflow29
/.f64(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))n/o20
↳(*.f64 D D)overflow16
↳(*.f64 w h)overflow12
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow9
*.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))underflow19
↳(+.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))))overflow86
↳(*.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))))overflow202
↳(*.f64 M M)overflow47
↳(*.f64 c0 (*.f64 d d))overflow273
↳(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))overflow489
↳(*.f64 D D)overflow48
↳(*.f64 w h)overflow36
↳(*.f64 (*.f64 w h) (*.f64 D D))overflow27
↳(-.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))overflow202
↳(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)))overflow163
↳(*.f64 d d)overflow303
Confusion
Predicted +Predicted -
+1870
-2148
Precision
0.8990384615384616
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+18700
-21048
Precision?
0.8990384615384616
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
048
186
280
330
47
54
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
9.52880859375
Average Time
0.03722190856933594
Samples
269.0ms876×2valid
189.0ms1 560×0valid
129.0ms312×3valid
72.0ms324×1valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 433.0ms
ival-mult: 204.0ms (47.1% of total)
ival-div: 69.0ms (15.9% of total)
adjust: 55.0ms (12.7% of total)
ival-sqrt: 48.0ms (11.1% of total)
ival-sub: 26.0ms (6% of total)
ival-add: 25.0ms (5.8% of total)
ival-true: 3.0ms (0.7% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess184.0ms (5.6%)

Memory
-2.9MiB 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
27.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
2.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))))

soundness1.0ms (0%)

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