Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

Time bar (total: 2.1s)

start0.0ms (0.0%)

analyze50.0ms (2.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.8%0.2%0.0%0.0%0.0%0
0.0%0.0%99.8%0.2%0.0%0.0%0.0%1
0.0%0.0%99.8%0.2%0.0%0.0%0.0%2
0.0%0.0%99.8%0.2%0.0%0.0%0.0%3
0.0%0.0%99.8%0.2%0.0%0.0%0.0%4
25.0%25.0%74.9%0.2%0.0%0.0%0.0%5
25.0%25.0%74.9%0.2%0.0%0.0%0.0%6
25.0%25.0%74.9%0.2%0.0%0.0%0.0%7
37.5%37.4%62.4%0.2%0.0%0.0%0.0%8
56.3%56.1%43.7%0.2%0.0%0.0%0.0%9
56.3%56.1%43.7%0.2%0.0%0.0%0.0%10
56.3%56.1%43.7%0.2%0.0%0.0%0.0%11
65.6%65.5%34.3%0.2%0.0%0.0%0.0%12
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample332.0ms (15.8%)

Samples
215.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 12.0ms
Div: 7.0ms (59.2% of total, 0.0 MiB)
Mul: 5.0ms (42.3% of total, 0.0 MiB)
Bogosity

preprocess36.0ms (1.7%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051139
129079
2121879
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶87.4%
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Symmetry

(abs t)

(negabs x)

(negabs y)

(negabs z)

(sort x y)

Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series36.0ms (1.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02148
Stop Event
1×iter-limit
Counts
8 → 8
Calls
Call 1
Inputs
%3 = (/.f64 y z)
%5 = (*.f64 %3 t)
%6 = (/.f64 %5 t)
x
y
z
%3
t
%5
%6
(*.f64 x %6)
Outputs
%6 = (/ y z)
%8 = (* %6 t)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x (/ %8 t)) (/.f64 (*.f64 x y) z))
(approx y y)
(approx %6 (/.f64 y z))
(approx %8 (/.f64 (*.f64 t y) z))
(approx z z)
(approx t t)
Calls
12 calls:
TimeVariablePoint
6.0ms
y
-inf
4.0ms
y
0
4.0ms
z
0
4.0ms
y
inf
3.0ms
t
0
rewrite101.0ms (4.8%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
0828
01224
14420
217520
3121420
0412920
0460520
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 544
Calls
Call 1
Inputs
%3 = (/.f64 y z)
%5 = (*.f64 %3 t)
%6 = (/.f64 %5 t)
x
y
z
%3
t
%5
%6
(*.f64 x %6)
Outputs
%3 = (neg.f64 y)
%5 = (/.f64 %3 t)
%6 = (neg.f64 t)
%7 = (/.f64 %6 z)
%8 = (*.f64 %5 %7)
%9 = (*.f64 t y)
%11 = (*.f64 %9 #s(literal 2 binary64))
%15 = (*.f64 (/.f64 %11 z) (/.f64 #s(literal 1/2 binary64) t))
%16 = (*.f64 %9 t)
%19 = (/.f64 #s(literal 1 binary64) t)
%21 = (*.f64 (/.f64 %16 z) (/.f64 %19 t))
%22 = (/.f64 y %6)
%23 = (*.f64 %22 %7)
%24 = (neg.f64 z)
%28 = (*.f64 (/.f64 %11 %24) (/.f64 #s(literal -1/2 binary64) t))
%31 = (*.f64 (/.f64 %11 t) (/.f64 #s(literal 1/2 binary64) z))
%34 = (/.f64 #s(literal -1 binary64) t)
%36 = (*.f64 (/.f64 %16 %24) (/.f64 %34 t))
%38 = (/.f64 t z)
%39 = (*.f64 (*.f64 %19 y) %38)
%40 = (/.f64 y z)
%42 = (*.f64 (*.f64 %40 #s(literal 2 binary64)) #s(literal 1/2 binary64))
%43 = (*.f64 %3 t)
%44 = (*.f64 %19 %43)
%45 = (/.f64 #s(literal -1 binary64) z)
%46 = (*.f64 %44 %45)
%47 = (*.f64 %6 %43)
%48 = (*.f64 %24 t)
%49 = (*.f64 %6 %48)
%51 = (*.f64 %47 (/.f64 #s(literal 1 binary64) %49))
%52 = (*.f64 t %43)
%53 = (*.f64 t %48)
%55 = (*.f64 %52 (/.f64 #s(literal 1 binary64) %53))
%56 = (*.f64 #s(literal -1 binary64) y)
%57 = (*.f64 %56 %45)
%58 = (*.f64 %7 %5)
%59 = (*.f64 %7 %22)
%60 = (/.f64 y t)
%61 = (*.f64 %60 %38)
%62 = (*.f64 #s(literal -1 binary64) %43)
%63 = (*.f64 %6 %24)
%64 = (/.f64 #s(literal 1 binary64) %63)
%65 = (*.f64 %62 %64)
%66 = (*.f64 #s(literal -1 binary64) %9)
%67 = (*.f64 %6 z)
%68 = (/.f64 #s(literal 1 binary64) %67)
%69 = (*.f64 %66 %68)
%70 = (*.f64 #s(literal 1 binary64) %43)
%71 = (*.f64 t z)
%72 = (/.f64 #s(literal -1 binary64) %71)
%73 = (*.f64 %70 %72)
%74 = (*.f64 %6 %9)
%75 = (*.f64 %6 %71)
%77 = (*.f64 %74 (/.f64 #s(literal 1 binary64) %75))
%78 = (*.f64 %6 %3)
%79 = (*.f64 %78 %64)
%80 = (*.f64 t %40)
%81 = (neg.f64 %80)
%82 = (*.f64 %6 %81)
%83 = (*.f64 t t)
%84 = (/.f64 #s(literal 1 binary64) %83)
%85 = (*.f64 %82 %84)
%86 = (*.f64 %6 %80)
%87 = (*.f64 %6 t)
%88 = (/.f64 #s(literal 1 binary64) %87)
%89 = (*.f64 %86 %88)
%90 = (*.f64 t %9)
%91 = (*.f64 t %71)
%93 = (*.f64 %90 (/.f64 #s(literal 1 binary64) %91))
%94 = (*.f64 t %81)
%95 = (*.f64 t %6)
%96 = (/.f64 #s(literal 1 binary64) %95)
%97 = (*.f64 %94 %96)
%98 = (*.f64 t %80)
%99 = (*.f64 %98 %84)
%100 = (*.f64 %43 #s(literal 1 binary64))
%101 = (*.f64 z %6)
%102 = (/.f64 #s(literal 1 binary64) %101)
%103 = (*.f64 %100 %102)
%104 = (*.f64 %100 %72)
%105 = (*.f64 %3 %6)
%106 = (*.f64 %24 %6)
%107 = (/.f64 #s(literal 1 binary64) %106)
%108 = (*.f64 %105 %107)
%109 = (*.f64 %81 %6)
%110 = (*.f64 %109 %84)
%111 = (*.f64 %81 t)
%112 = (*.f64 %111 %88)
%113 = (*.f64 %80 %6)
%114 = (*.f64 %113 %96)
%115 = (*.f64 %80 t)
%116 = (*.f64 %115 %84)
%117 = (*.f64 %43 #s(literal -1 binary64))
%118 = (*.f64 %117 %107)
%119 = (*.f64 %9 #s(literal -1 binary64))
%120 = (*.f64 %119 %102)
%121 = (*.f64 y #s(literal -1 binary64))
%122 = (*.f64 %121 %45)
%123 = (*.f64 %43 t)
%124 = (*.f64 %48 t)
%126 = (*.f64 %123 (/.f64 #s(literal 1 binary64) %124))
%127 = (*.f64 %43 %6)
%128 = (*.f64 %48 %6)
%130 = (*.f64 %127 (/.f64 #s(literal 1 binary64) %128))
%131 = (*.f64 %9 %6)
%132 = (*.f64 %71 %6)
%134 = (*.f64 %131 (/.f64 #s(literal 1 binary64) %132))
%135 = (*.f64 %71 t)
%137 = (*.f64 %16 (/.f64 #s(literal 1 binary64) %135))
%138 = (neg.f64 %43)
%139 = (neg.f64 %48)
%141 = (*.f64 %138 (/.f64 #s(literal 1 binary64) %139))
%142 = (/.f64 y %71)
%143 = (*.f64 %142 t)
%144 = (*.f64 %38 %60)
%146 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %40))
%147 = (/.f64 %3 z)
%148 = (*.f64 %147 #s(literal -1 binary64))
%149 = (*.f64 %45 %3)
%150 = (*.f64 %34 %81)
%151 = (*.f64 %43 %102)
%152 = (*.f64 %43 %68)
%153 = (*.f64 %43 %72)
%154 = (*.f64 #s(literal -1 binary64) %147)
%155 = (*.f64 %9 %107)
%156 = (/.f64 #s(literal 1 binary64) %71)
%157 = (*.f64 %9 %156)
%158 = (/.f64 #s(literal 1 binary64) z)
%159 = (*.f64 %158 y)
%160 = (*.f64 %19 %80)
%162 = (*.f64 %3 (*.f64 %45 #s(literal 1 binary64)))
%163 = (*.f64 %3 %45)
%165 = (*.f64 %6 (/.f64 %147 t))
%166 = (*.f64 %81 %34)
%167 = (*.f64 #s(literal 1 binary64) %40)
%168 = (*.f64 %80 %19)
%169 = (*.f64 t %142)
%170 = (*.f64 %40 #s(literal 1 binary64))
%171 = (*.f64 y %158)
%172 = (pow.f64 %40 #s(literal 1 binary64))
%174 = (/.f64 (neg.f64 %44) z)
%176 = (/.f64 (neg.f64 %56) z)
%178 = (neg.f64 %63)
%179 = (/.f64 (neg.f64 %62) %178)
%181 = (neg.f64 %67)
%182 = (/.f64 (neg.f64 %66) %181)
%184 = (/.f64 (neg.f64 %70) %139)
%187 = (/.f64 (neg.f64 %47) (neg.f64 %49))
%190 = (/.f64 (neg.f64 %74) (neg.f64 %75))
%192 = (/.f64 (neg.f64 %78) %178)
%194 = (neg.f64 %83)
%195 = (/.f64 (neg.f64 %82) %194)
%197 = (neg.f64 %87)
%198 = (/.f64 (neg.f64 %86) %197)
%200 = (/.f64 (neg.f64 %109) %194)
%202 = (neg.f64 %106)
%203 = (/.f64 (neg.f64 %105) %202)
%204 = (neg.f64 %52)
%206 = (/.f64 %204 (neg.f64 %53))
%207 = (neg.f64 %90)
%209 = (/.f64 %207 (neg.f64 %91))
%210 = (neg.f64 %94)
%211 = (neg.f64 %95)
%212 = (/.f64 %210 %211)
%213 = (neg.f64 %98)
%214 = (/.f64 %213 %194)
%215 = (neg.f64 %111)
%216 = (/.f64 %215 %197)
%217 = (neg.f64 %113)
%218 = (/.f64 %217 %211)
%219 = (neg.f64 %115)
%220 = (/.f64 %219 %194)
%221 = (neg.f64 %123)
%223 = (/.f64 %221 (neg.f64 %124))
%224 = (neg.f64 %127)
%226 = (/.f64 %224 (neg.f64 %128))
%227 = (neg.f64 %100)
%228 = (neg.f64 %101)
%229 = (/.f64 %227 %228)
%230 = (/.f64 %227 %139)
%232 = (/.f64 (neg.f64 %117) %202)
%234 = (/.f64 (neg.f64 %121) z)
%235 = (neg.f64 %119)
%236 = (/.f64 %235 %228)
%237 = (neg.f64 %138)
%239 = (/.f64 %237 (neg.f64 %139))
%240 = (neg.f64 %131)
%242 = (/.f64 %240 (neg.f64 %132))
%243 = (neg.f64 %16)
%245 = (/.f64 %243 (neg.f64 %135))
%246 = (/.f64 %44 %24)
%247 = (/.f64 %47 %49)
%248 = (/.f64 %52 %53)
%249 = (/.f64 %56 %24)
%250 = (/.f64 %62 %63)
%251 = (/.f64 %66 %67)
%252 = (/.f64 %70 %48)
%253 = (/.f64 %74 %75)
%254 = (/.f64 %78 %63)
%255 = (/.f64 %82 %83)
%256 = (/.f64 %86 %87)
%257 = (/.f64 %90 %91)
%258 = (/.f64 %94 %95)
%259 = (/.f64 %98 %83)
%260 = (/.f64 %100 %101)
%261 = (/.f64 %100 %48)
%262 = (/.f64 %105 %106)
%263 = (/.f64 %109 %83)
%264 = (/.f64 %111 %87)
%265 = (/.f64 %113 %95)
%266 = (/.f64 %115 %83)
%267 = (/.f64 %117 %106)
%268 = (/.f64 %119 %101)
%269 = (/.f64 %121 %24)
%270 = (/.f64 %123 %124)
%271 = (/.f64 %127 %128)
%272 = (/.f64 %131 %132)
%273 = (/.f64 %16 %135)
%274 = (/.f64 %138 %228)
%275 = (/.f64 %138 %181)
%276 = (/.f64 %138 %139)
%277 = (/.f64 %43 %202)
%278 = (/.f64 %43 %67)
%279 = (/.f64 %43 %101)
%280 = (/.f64 %43 %48)
%281 = (/.f64 %9 %106)
%282 = (/.f64 %9 %71)
%283 = (/.f64 %3 %24)
%284 = (/.f64 %81 %6)
%286 = (/.f64 #s(literal 1 binary64) (/.f64 %24 %44))
%288 = (/.f64 #s(literal 1 binary64) (/.f64 %49 %47))
%290 = (/.f64 #s(literal 1 binary64) (/.f64 %53 %52))
%292 = (/.f64 #s(literal 1 binary64) (/.f64 %24 %56))
%294 = (/.f64 #s(literal 1 binary64) (/.f64 %63 %62))
%296 = (/.f64 #s(literal 1 binary64) (/.f64 %67 %66))
%298 = (/.f64 #s(literal 1 binary64) (/.f64 %48 %70))
%300 = (/.f64 #s(literal 1 binary64) (/.f64 %75 %74))
%302 = (/.f64 #s(literal 1 binary64) (/.f64 %63 %78))
%304 = (/.f64 #s(literal 1 binary64) (/.f64 %83 %82))
%306 = (/.f64 #s(literal 1 binary64) (/.f64 %87 %86))
%308 = (/.f64 #s(literal 1 binary64) (/.f64 %91 %90))
%310 = (/.f64 #s(literal 1 binary64) (/.f64 %95 %94))
%312 = (/.f64 #s(literal 1 binary64) (/.f64 %83 %98))
%314 = (/.f64 #s(literal 1 binary64) (/.f64 %101 %100))
%316 = (/.f64 #s(literal 1 binary64) (/.f64 %48 %100))
%318 = (/.f64 #s(literal 1 binary64) (/.f64 %106 %105))
%320 = (/.f64 #s(literal 1 binary64) (/.f64 %83 %109))
%322 = (/.f64 #s(literal 1 binary64) (/.f64 %87 %111))
%324 = (/.f64 #s(literal 1 binary64) (/.f64 %95 %113))
%326 = (/.f64 #s(literal 1 binary64) (/.f64 %83 %115))
%328 = (/.f64 #s(literal 1 binary64) (/.f64 %106 %117))
%330 = (/.f64 #s(literal 1 binary64) (/.f64 %101 %119))
%332 = (/.f64 #s(literal 1 binary64) (/.f64 %24 %121))
%334 = (/.f64 #s(literal 1 binary64) (/.f64 %124 %123))
%336 = (/.f64 #s(literal 1 binary64) (/.f64 %128 %127))
%338 = (/.f64 #s(literal 1 binary64) (/.f64 %132 %131))
%340 = (/.f64 #s(literal 1 binary64) (/.f64 %135 %16))
%342 = (/.f64 #s(literal 1 binary64) (/.f64 %139 %138))
%344 = (/.f64 #s(literal 1 binary64) (/.f64 %67 %43))
%346 = (/.f64 #s(literal 1 binary64) (/.f64 %101 %43))
%348 = (/.f64 #s(literal 1 binary64) (/.f64 %106 %9))
%350 = (/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64)))
%352 = (/.f64 #s(literal 1 binary64) (/.f64 %48 %43))
%354 = (/.f64 #s(literal 1 binary64) (/.f64 %71 %9))
%356 = (/.f64 #s(literal 1 binary64) (/.f64 %24 %3))
%358 = (/.f64 #s(literal 1 binary64) (/.f64 %6 %81))
%360 = (/.f64 #s(literal 1 binary64) (/.f64 z y))
%362 = (/.f64 #s(literal 1 binary64) (/.f64 t %80))
%363 = (/.f64 %80 t)
%364 = (neg.f64 %147)
%467 = (/.f64 x %24)
%469 = (*.f64 x y)
%472 = (*.f64 %40 x)
%475 = (/.f64 x z)
%477 = (*.f64 t x)
%480 = (*.f64 %472 t)
%481 = (*.f64 %480 #s(literal -1 binary64))
%483 = (*.f64 x %3)
%486 = (*.f64 x %43)
%488 = (*.f64 %9 x)
%489 = (/.f64 %488 t)
%491 = (*.f64 %6 %472)
%492 = (*.f64 %491 #s(literal 1 binary64))
%494 = (/.f64 x t)
%495 = (*.f64 %43 %494)
%497 = (*.f64 %9 %494)
%499 = (*.f64 %3 x)
%501 = (*.f64 y x)
%503 = (*.f64 %43 x)
%505 = (*.f64 %488 #s(literal -1 binary64))
%507 = (*.f64 %488 #s(literal 1 binary64))
%509 = (*.f64 %491 %6)
%511 = (*.f64 %491 t)
%513 = (*.f64 %480 %6)
%515 = (*.f64 %480 t)
x
y
z
%8
%15
%21
%23
%28
%31
%36
%39
%42
%46
%51
%55
%57
%58
%59
%61
%65
%69
%73
%77
%79
%85
%89
%93
%97
%99
%103
%104
%108
%110
%112
%114
%116
%118
%120
%122
%126
%130
%134
%137
%141
%143
%144
%146
%148
%149
%150
%151
%152
%153
%154
%155
%157
%159
%160
%162
%163
%165
%166
%167
%168
%169
%170
%171
%172
%174
%176
%179
%182
%184
%187
%190
%192
%195
%198
%200
%203
%206
%209
%212
%214
%216
%218
%220
%223
%226
%229
%230
%232
%234
%236
%239
%242
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%286
%288
%290
%292
%294
%296
%298
%300
%302
%304
%306
%308
%310
%312
%314
%316
%318
%320
%322
%324
%326
%328
%330
%332
%334
%336
%338
%340
%342
%344
%346
%348
%350
%352
%354
%356
%358
%360
%362
%363
%40
%364
t
(*.f64 (*.f64 %80 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %52 %72)
(*.f64 %7 %3)
(*.f64 %90 %156)
(*.f64 %94 %34)
(*.f64 %98 %19)
(*.f64 %100 %45)
(*.f64 %111 %34)
(*.f64 %113 %34)
(*.f64 %115 %19)
(*.f64 %119 %45)
(*.f64 %123 %72)
(*.f64 %127 %107)
(*.f64 %131 %102)
(*.f64 %16 %156)
(*.f64 %83 %142)
(*.f64 %138 %158)
(*.f64 %38 y)
(*.f64 %147 %6)
(*.f64 %43 %45)
(*.f64 %9 %158)
(*.f64 %158 %9)
(*.f64 %19 %115)
(*.f64 %3 (*.f64 %45 t))
(*.f64 %3 %7)
(*.f64 %6 %147)
(*.f64 %81 (*.f64 %34 t))
(*.f64 #s(literal 1 binary64) %80)
(*.f64 %80 #s(literal 1 binary64))
%80
(*.f64 %40 t)
(*.f64 y (*.f64 %38 #s(literal 1 binary64)))
(*.f64 y %38)
(pow.f64 %80 #s(literal 1 binary64))
(/.f64 %204 %139)
(/.f64 %207 %48)
(/.f64 %210 t)
(/.f64 %213 %6)
(/.f64 %215 t)
(/.f64 %217 t)
(/.f64 %219 %6)
(/.f64 %221 %139)
(/.f64 %224 %202)
(/.f64 %227 z)
(/.f64 %235 z)
(/.f64 %237 %24)
(/.f64 %240 %228)
(/.f64 %243 %48)
(/.f64 %52 %48)
(/.f64 %90 %71)
(/.f64 %94 %6)
(/.f64 %98 t)
(/.f64 %100 %24)
(/.f64 %111 %6)
(/.f64 %113 %6)
(/.f64 %115 t)
(/.f64 %119 %24)
(/.f64 %123 %48)
(/.f64 %127 %106)
(/.f64 %131 %101)
(/.f64 %16 %71)
(/.f64 %138 z)
(/.f64 %43 %24)
(/.f64 %9 z)
(/.f64 #s(literal 1 binary64) (/.f64 %48 %52))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %90))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %94))
(/.f64 #s(literal 1 binary64) (/.f64 t %98))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %100))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %111))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %113))
(/.f64 #s(literal 1 binary64) (/.f64 t %115))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %119))
(/.f64 #s(literal 1 binary64) (/.f64 %48 %123))
(/.f64 #s(literal 1 binary64) (/.f64 %106 %127))
(/.f64 #s(literal 1 binary64) (/.f64 %101 %131))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %16))
(/.f64 #s(literal 1 binary64) (/.f64 z %138))
(/.f64 #s(literal 1 binary64) (pow.f64 %80 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %43))
(/.f64 #s(literal 1 binary64) (/.f64 z %9))
(neg.f64 %81)
%8
%15
%21
%23
%28
%31
%36
%39
%42
%46
%51
%55
%57
%58
%59
%61
%65
%69
%73
%77
%79
%85
%89
%93
%97
%99
%103
%104
%108
%110
%112
%114
%116
%118
%120
%122
%126
%130
%134
%137
%141
%143
%144
%146
%148
%149
%150
%151
%152
%153
%154
%155
%157
%159
%160
%162
%163
%165
%166
%167
%168
%169
%170
%171
%172
%174
%176
%179
%182
%184
%187
%190
%192
%195
%198
%200
%203
%206
%209
%212
%214
%216
%218
%220
%223
%226
%229
%230
%232
%234
%236
%239
%242
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%286
%288
%290
%292
%294
%296
%298
%300
%302
%304
%306
%308
%310
%312
%314
%316
%318
%320
%322
%324
%326
%328
%330
%332
%334
%336
%338
%340
%342
%344
%346
%348
%350
%352
%354
%356
%358
%360
%362
%363
%40
%364
(*.f64 %467 %3)
(*.f64 (/.f64 %469 t) %38)
(*.f64 (*.f64 %472 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %475 y)
(*.f64 (/.f64 %477 z) %60)
(*.f64 %481 %34)
(*.f64 %483 %45)
(*.f64 %469 %158)
(*.f64 %486 %72)
(*.f64 %489 %158)
(*.f64 %492 %34)
(*.f64 %495 %45)
(*.f64 %497 %158)
(*.f64 %499 %45)
(*.f64 %501 %158)
(*.f64 %503 %72)
(*.f64 %505 %102)
(*.f64 %507 %156)
(*.f64 %509 %84)
(*.f64 %511 %88)
(*.f64 %513 %96)
(*.f64 %515 %84)
(*.f64 %477 %142)
(*.f64 %494 %80)
(*.f64 %488 %156)
(*.f64 %491 %34)
(*.f64 %480 %19)
(*.f64 %9 (*.f64 %158 %494))
(*.f64 %158 %501)
(*.f64 %19 %480)
(*.f64 %3 %467)
(*.f64 %3 (*.f64 %45 x))
(*.f64 %81 (*.f64 %34 x))
(*.f64 %81 (/.f64 (neg.f64 x) t))
(*.f64 #s(literal 1 binary64) %472)
(*.f64 %472 #s(literal 1 binary64))
(*.f64 %80 (*.f64 %494 #s(literal 1 binary64)))
(*.f64 %80 %494)
(*.f64 t (*.f64 %40 %494))
(*.f64 t (*.f64 %142 x))
%472
(*.f64 y %475)
(*.f64 y (*.f64 %38 %494))
(*.f64 y (*.f64 %158 x))
(*.f64 x %40)
(pow.f64 %472 #s(literal 1 binary64))
(/.f64 (neg.f64 %481) t)
(/.f64 (neg.f64 %483) z)
(/.f64 (neg.f64 %469) %24)
(/.f64 (neg.f64 %489) %24)
(/.f64 (neg.f64 %492) t)
(/.f64 (neg.f64 %495) z)
(/.f64 (neg.f64 %497) %24)
(/.f64 (neg.f64 %499) z)
(/.f64 (neg.f64 %501) %24)
(/.f64 (neg.f64 %505) %228)
(/.f64 (neg.f64 %507) %48)
(/.f64 (neg.f64 %509) %194)
(/.f64 (neg.f64 %513) %211)
(/.f64 (neg.f64 %486) %139)
(/.f64 (neg.f64 %503) %139)
(/.f64 (neg.f64 %511) %197)
(/.f64 (neg.f64 %515) %194)
(/.f64 %481 %6)
(/.f64 %483 %24)
(/.f64 %469 z)
(/.f64 %486 %48)
(/.f64 %489 z)
(/.f64 %492 %6)
(/.f64 %495 %24)
(/.f64 %497 z)
(/.f64 %499 %24)
(/.f64 %501 z)
(/.f64 %503 %48)
(/.f64 %505 %101)
(/.f64 %507 %71)
(/.f64 %509 %83)
(/.f64 %511 %87)
(/.f64 %513 %95)
(/.f64 %515 %83)
(/.f64 (neg.f64 %488) %48)
(/.f64 %488 %71)
(/.f64 %491 %6)
(/.f64 %480 t)
(/.f64 #s(literal 1 binary64) (/.f64 %6 %481))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %483))
(/.f64 #s(literal 1 binary64) (/.f64 z %469))
(/.f64 #s(literal 1 binary64) (/.f64 %48 %486))
(/.f64 #s(literal 1 binary64) (/.f64 z %489))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %492))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %495))
(/.f64 #s(literal 1 binary64) (/.f64 z %497))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %499))
(/.f64 #s(literal 1 binary64) (/.f64 z %501))
(/.f64 #s(literal 1 binary64) (/.f64 %48 %503))
(/.f64 #s(literal 1 binary64) (/.f64 %101 %505))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %507))
(/.f64 #s(literal 1 binary64) (/.f64 %83 %509))
(/.f64 #s(literal 1 binary64) (/.f64 %87 %511))
(/.f64 #s(literal 1 binary64) (/.f64 %95 %513))
(/.f64 #s(literal 1 binary64) (/.f64 %83 %515))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %488))
(/.f64 #s(literal 1 binary64) (pow.f64 %472 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %491))
(/.f64 #s(literal 1 binary64) (/.f64 t %480))
(neg.f64 (*.f64 %147 x))
(neg.f64 (*.f64 x %147))
(neg.f64 (/.f64 %491 t))
reconstruct36.0ms (1.7%)
Counts
552 → 105
Compiler
Compiled 552 to 655 computations (-18.7% saved)
eval7.0ms (0.3%)
Compiler
Compiled 100 to 294 computations (-194.0% saved)
prune2.0ms (0.1%)
Pruning
8 alts after pruning (8 fresh and 0 done)
PrunedKeptTotal
New928100
Fresh000
Picked101
Done000
Total938101
Accuracy
100.0%
Counts
101 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶75.4%
(/.f64 (*.f64 (*.f64 t y) x) (*.f64 t z))
▶91.0%
(/.f64 #s(literal 1 binary64) (/.f64 z (*.f64 x y)))
▶69.2%
(*.f64 (/.f64 (*.f64 t x) z) (/.f64 y t))
▶91.4%
(*.f64 y (/.f64 x z))
▶91.3%
(*.f64 y (*.f64 (/.f64 #s(literal 1 binary64) z) x))
▶95.8%
(*.f64 x (/.f64 y z))
▶74.9%
(*.f64 t (*.f64 (/.f64 y (*.f64 t z)) x))
▶91.8%
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Compiler
Compiled 8 to 27 computations (-237.5% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series8.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
041141
Stop Event
1×iter-limit
Counts
28 → 19
Calls
Call 1
Inputs
%3 = (/.f64 y z)
%5 = (*.f64 x y)
%6 = (/.f64 %5 z)
%12 = (*.f64 t y)
%14 = (/.f64 y t)
%15 = (*.f64 t z)
%16 = (/.f64 y %15)
%17 = (/.f64 #s(literal 1 binary64) z)
%18 = (/.f64 x z)
%19 = (*.f64 t x)
%20 = (/.f64 %19 z)
%22 = (*.f64 %12 x)
%23 = (*.f64 %16 x)
%26 = (*.f64 %17 x)
%30 = (/.f64 z %5)
x
y
z
%3
t
%5
%6
(approx (* x (/ (* (/ y z) t) t)) %6)
%12
#s(literal 1 binary64)
%14
%15
%16
%17
%18
%19
%20
(*.f64 %20 %14)
%22
%23
(*.f64 t %23)
(*.f64 y %18)
%26
(*.f64 y %26)
(*.f64 x %3)
(/.f64 %22 %15)
%30
(/.f64 #s(literal 1 binary64) %30)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%16 = (* t x)
%17 = (*.f64 t x)
%22 = (* t y)
%26 = (* t z)
%27 = (/ y %26)
%29 = (*.f64 t z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx (/ %5 z) (/.f64 %6 z))
(approx (/ x z) (/.f64 x z))
(approx %16 %17)
(approx (/ %16 z) (/.f64 %17 z))
(approx (* %22 x) (*.f64 t %6))
(approx (* %27 x) (/.f64 %6 %29))
(approx (/ z %5) (/.f64 z %6))
(approx y y)
(approx (/ y z) (/.f64 y z))
(approx %22 (*.f64 t y))
(approx (/ y t) (/.f64 y t))
(approx %27 (/.f64 y %29))
(approx z z)
(approx %26 %29)
(approx (/ 1 z) (/.f64 #s(literal 1 binary64) z))
(approx t t)
Calls
12 calls:
TimeVariablePoint
83.0ms
z
inf
5.0ms
x
inf
5.0ms
y
inf
4.0ms
z
0
4.0ms
y
0
rewrite77.0ms (3.7%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
032132
054114
1197110
2714110
04251110
04556110
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
28 → 4 526
Calls
Call 1
Inputs
%3 = (/.f64 y z)
%5 = (*.f64 x y)
%6 = (/.f64 %5 z)
%12 = (*.f64 t y)
%14 = (/.f64 y t)
%15 = (*.f64 t z)
%16 = (/.f64 y %15)
%17 = (/.f64 #s(literal 1 binary64) z)
%18 = (/.f64 x z)
%19 = (*.f64 t x)
%20 = (/.f64 %19 z)
%22 = (*.f64 %12 x)
%23 = (*.f64 %16 x)
%26 = (*.f64 %17 x)
%30 = (/.f64 z %5)
x
y
z
%3
t
%5
%6
(approx (* x (/ (* (/ y z) t) t)) %6)
%12
#s(literal 1 binary64)
%14
%15
%16
%17
%18
%19
%20
(*.f64 %20 %14)
%22
%23
(*.f64 t %23)
(*.f64 y %18)
%26
(*.f64 y %26)
(*.f64 x %3)
(/.f64 %22 %15)
%30
(/.f64 #s(literal 1 binary64) %30)
Outputs
%4 = (neg.f64 z)
%5 = (/.f64 t %4)
%6 = (neg.f64 y)
%7 = (/.f64 %6 t)
%9 = (/.f64 %6 z)
%13 = (/.f64 t z)
%14 = (/.f64 y t)
%16 = (neg.f64 t)
%17 = (*.f64 %16 y)
%18 = (*.f64 t z)
%19 = (/.f64 #s(literal -1 binary64) %18)
%22 = (/.f64 #s(literal 1 binary64) t)
%23 = (/.f64 y z)
%24 = (*.f64 t %23)
%26 = (*.f64 %16 %23)
%27 = (/.f64 #s(literal -1 binary64) t)
%29 = (/.f64 %6 %18)
%31 = (/.f64 #s(literal -1 binary64) z)
%34 = (/.f64 #s(literal 1 binary64) z)
%36 = (/.f64 y %18)
%40 = (*.f64 t y)
%41 = (/.f64 #s(literal 1 binary64) %18)
%46 = (*.f64 %34 t)
%47 = (/.f64 %46 t)
%49 = (/.f64 %13 t)
%53 = (/.f64 %17 t)
%58 = (*.f64 %16 z)
%62 = (*.f64 #s(literal 1 binary64) %40)
%66 = (*.f64 #s(literal 2 binary64) %58)
%69 = (*.f64 #s(literal 2 binary64) %16)
%72 = (*.f64 #s(literal 2 binary64) %4)
%75 = (*.f64 #s(literal 2 binary64) %18)
%78 = (*.f64 #s(literal 2 binary64) t)
%81 = (*.f64 %16 %58)
%84 = (*.f64 %16 %16)
%89 = (*.f64 %16 %18)
%92 = (*.f64 %16 t)
%95 = (*.f64 t %58)
%98 = (*.f64 t %16)
%101 = (*.f64 t %18)
%104 = (*.f64 t t)
%106 = (*.f64 %17 #s(literal -1 binary64))
%108 = (*.f64 %17 #s(literal 1 binary64))
%110 = (*.f64 %40 #s(literal -1 binary64))
%113 = (*.f64 %16 #s(literal 2 binary64))
%120 = (*.f64 %4 #s(literal 2 binary64))
%125 = (*.f64 t #s(literal 2 binary64))
%131 = (*.f64 y #s(literal 2 binary64))
%132 = (*.f64 z #s(literal 2 binary64))
%134 = (*.f64 #s(literal 2 binary64) y)
%135 = (*.f64 #s(literal 2 binary64) z)
%138 = (*.f64 %58 #s(literal 2 binary64))
%141 = (*.f64 %58 %16)
%144 = (*.f64 %58 t)
%147 = (*.f64 %18 #s(literal 2 binary64))
%150 = (*.f64 %18 %16)
%153 = (*.f64 %18 t)
%155 = (neg.f64 %17)
%166 = (/.f64 z y)
%176 = (*.f64 %23 #s(literal 0 binary64))
%178 = (*.f64 #s(literal 0 binary64) %23)
%189 = (*.f64 #s(literal 1/2 binary64) %23)
%215 = (*.f64 %23 #s(literal 1/2 binary64))
%229 = (/.f64 x %16)
%231 = (neg.f64 x)
%232 = (/.f64 %40 %16)
%235 = (*.f64 y x)
%236 = (/.f64 %235 %16)
%238 = (*.f64 t x)
%239 = (*.f64 %6 %238)
%242 = (*.f64 %238 y)
%247 = (/.f64 x t)
%250 = (*.f64 y %247)
%256 = (/.f64 #s(literal 1 binary64) %235)
%258 = (*.f64 %6 x)
%260 = (/.f64 #s(literal 1 binary64) y)
%261 = (/.f64 #s(literal 1/2 binary64) %260)
%262 = (*.f64 #s(literal 1/2 binary64) %235)
%264 = (/.f64 #s(literal 1 binary64) x)
%265 = (/.f64 #s(literal 1/2 binary64) %264)
%269 = (*.f64 %235 #s(literal 0 binary64))
%271 = (*.f64 #s(literal 0 binary64) %235)
%294 = (*.f64 %235 #s(literal 1/2 binary64))
%308 = (/.f64 %34 %260)
%309 = (*.f64 %308 x)
%310 = (/.f64 %34 #s(literal -1 binary64))
%311 = (*.f64 %310 %258)
%312 = (/.f64 z x)
%313 = (/.f64 #s(literal -1 binary64) %312)
%314 = (*.f64 %313 %6)
%315 = (neg.f64 %238)
%316 = (/.f64 %315 t)
%317 = (*.f64 %316 %9)
%318 = (/.f64 #s(literal 2 binary64) y)
%319 = (/.f64 #s(literal 2 binary64) %318)
%320 = (/.f64 #s(literal 1/2 binary64) z)
%321 = (/.f64 #s(literal 1/2 binary64) x)
%322 = (/.f64 %320 %321)
%323 = (*.f64 %319 %322)
%324 = (/.f64 #s(literal 2 binary64) x)
%325 = (/.f64 #s(literal 2 binary64) %324)
%326 = (/.f64 #s(literal 1/2 binary64) y)
%327 = (/.f64 %320 %326)
%328 = (*.f64 %325 %327)
%329 = (/.f64 #s(literal -1 binary64) %318)
%330 = (/.f64 %31 %321)
%331 = (*.f64 %329 %330)
%332 = (/.f64 #s(literal -1 binary64) %324)
%333 = (/.f64 %31 %326)
%334 = (*.f64 %332 %333)
%335 = (/.f64 %34 %318)
%336 = (/.f64 #s(literal 1 binary64) %321)
%337 = (*.f64 %335 %336)
%338 = (/.f64 %34 %324)
%339 = (/.f64 #s(literal 1 binary64) %326)
%340 = (*.f64 %338 %339)
%341 = (/.f64 %34 #s(literal 2 binary64))
%342 = (/.f64 #s(literal 1/2 binary64) %235)
%343 = (/.f64 #s(literal 1 binary64) %342)
%344 = (*.f64 %341 %343)
%345 = (/.f64 %34 #s(literal 1 binary64))
%346 = (*.f64 %345 %235)
%347 = (/.f64 #s(literal 1 binary64) %318)
%348 = (/.f64 %34 %321)
%349 = (*.f64 %347 %348)
%350 = (/.f64 #s(literal 1 binary64) %324)
%351 = (/.f64 %34 %326)
%352 = (*.f64 %350 %351)
%353 = (/.f64 t %312)
%354 = (/.f64 %22 %260)
%355 = (*.f64 %353 %354)
%356 = (/.f64 t %256)
%357 = (*.f64 %356 %41)
%358 = (/.f64 %238 %16)
%359 = (*.f64 %358 %9)
%360 = (/.f64 %231 z)
%361 = (*.f64 %232 %360)
%362 = (*.f64 %229 %26)
%363 = (/.f64 #s(literal 2 binary64) %312)
%364 = (*.f64 %363 %261)
%365 = (/.f64 %16 z)
%366 = (*.f64 %365 %236)
%367 = (/.f64 %231 t)
%368 = (*.f64 %367 %26)
%369 = (*.f64 %53 %360)
%371 = (/.f64 #s(literal -2 binary64) z)
%372 = (/.f64 #s(literal -1 binary64) %235)
%373 = (/.f64 #s(literal 1/2 binary64) %372)
%374 = (*.f64 %371 %373)
%375 = (/.f64 #s(literal 2 binary64) %256)
%376 = (*.f64 %375 %320)
%377 = (/.f64 #s(literal 2 binary64) %4)
%378 = (*.f64 %377 %373)
%379 = (/.f64 #s(literal -1/2 binary64) %256)
%380 = (*.f64 %377 %379)
%381 = (/.f64 %22 %372)
%382 = (*.f64 %5 %381)
%383 = (/.f64 %258 t)
%384 = (*.f64 %5 %383)
%385 = (/.f64 #s(literal 1/2 binary64) %4)
%386 = (/.f64 #s(literal 2 binary64) %372)
%387 = (*.f64 %385 %386)
%388 = (/.f64 #s(literal 1/2 binary64) %312)
%389 = (/.f64 #s(literal 2 binary64) %260)
%390 = (*.f64 %388 %389)
%391 = (*.f64 %14 t)
%392 = (/.f64 x z)
%393 = (*.f64 %391 %392)
%394 = (*.f64 %231 %13)
%395 = (*.f64 %394 y)
%396 = (*.f64 %395 %27)
%397 = (/.f64 %4 %235)
%398 = (/.f64 #s(literal 1/2 binary64) %397)
%399 = (*.f64 #s(literal -2 binary64) %398)
%400 = (/.f64 %31 %342)
%401 = (*.f64 #s(literal -1/2 binary64) %400)
%402 = (*.f64 %9 %316)
%403 = (*.f64 %9 %358)
%404 = (*.f64 %9 %231)
%405 = (*.f64 %360 %232)
%406 = (*.f64 %360 %53)
%407 = (*.f64 %360 %6)
%408 = (*.f64 %7 %394)
%409 = (*.f64 %394 %7)
%410 = (/.f64 #s(literal -1 binary64) %256)
%411 = (*.f64 %31 %410)
%412 = (*.f64 %31 %258)
%413 = (*.f64 %320 %375)
%414 = (/.f64 #s(literal 2 binary64) z)
%415 = (*.f64 %262 %414)
%416 = (*.f64 %414 %262)
%417 = (*.f64 %250 %13)
%418 = (/.f64 %22 %256)
%419 = (*.f64 %13 %418)
%420 = (*.f64 %13 %250)
%421 = (*.f64 %247 %24)
%422 = (/.f64 x %58)
%423 = (*.f64 %17 %422)
%424 = (*.f64 %392 t)
%425 = (*.f64 %424 y)
%426 = (*.f64 %425 %22)
%427 = (/.f64 x %18)
%428 = (*.f64 %427 %40)
%429 = (/.f64 z %235)
%430 = (/.f64 #s(literal 2 binary64) %429)
%431 = (*.f64 #s(literal 1/2 binary64) %430)
%432 = (/.f64 %34 %342)
%433 = (*.f64 #s(literal 1/2 binary64) %432)
%434 = (*.f64 %320 %235)
%435 = (*.f64 #s(literal 2 binary64) %434)
%436 = (*.f64 %41 %242)
%437 = (*.f64 %26 %229)
%438 = (*.f64 %26 %367)
%439 = (*.f64 %231 %9)
%440 = (*.f64 %258 %31)
%441 = (/.f64 %235 %58)
%442 = (*.f64 %16 %441)
%443 = (*.f64 %315 %29)
%444 = (*.f64 %239 %19)
%445 = (/.f64 %424 %16)
%446 = (*.f64 %6 %445)
%447 = (/.f64 %315 %18)
%448 = (*.f64 %6 %447)
%449 = (/.f64 %238 %58)
%450 = (*.f64 %6 %449)
%451 = (*.f64 %6 %360)
%452 = (*.f64 %231 %23)
%453 = (*.f64 #s(literal -1 binary64) %452)
%454 = (*.f64 %36 x)
%455 = (*.f64 %454 t)
%456 = (*.f64 %242 %41)
%457 = (*.f64 %424 %14)
%458 = (*.f64 %238 %36)
%459 = (/.f64 #s(literal 1 binary64) %260)
%460 = (*.f64 %392 %459)
%461 = (*.f64 %392 y)
%462 = (/.f64 #s(literal -1 binary64) %372)
%463 = (*.f64 %34 %462)
%464 = (*.f64 %34 %235)
%465 = (*.f64 %36 %238)
%466 = (*.f64 %14 %424)
%467 = (/.f64 %320 %342)
%468 = (*.f64 #s(literal 1 binary64) %467)
%469 = (*.f64 %23 x)
%470 = (*.f64 #s(literal 1 binary64) %469)
%471 = (*.f64 %40 %427)
%472 = (*.f64 %22 x)
%473 = (*.f64 %24 %472)
%474 = (*.f64 %24 %247)
%475 = (*.f64 %469 #s(literal 1 binary64))
%476 = (*.f64 %235 %34)
%477 = (/.f64 %22 %429)
%478 = (*.f64 t %477)
%479 = (*.f64 t %454)
%480 = (/.f64 %424 t)
%481 = (*.f64 y %480)
%482 = (*.f64 #s(literal 1 binary64) %238)
%483 = (/.f64 %482 %18)
%484 = (*.f64 y %483)
%485 = (*.f64 t %427)
%486 = (*.f64 y %485)
%487 = (*.f64 y %392)
%488 = (*.f64 x %23)
%489 = (pow.f64 %429 #s(literal -1 binary64))
%490 = (pow.f64 %469 #s(literal 1 binary64))
%491 = (/.f64 %335 %321)
%492 = (/.f64 %338 %326)
%493 = (/.f64 %341 %342)
%494 = (/.f64 %345 %256)
%496 = (/.f64 (*.f64 %238 %17) %95)
%498 = (/.f64 (*.f64 %238 %26) %98)
%500 = (/.f64 (*.f64 %238 %40) %101)
%502 = (/.f64 (*.f64 %238 %24) %104)
%504 = (/.f64 (*.f64 %239 #s(literal -1 binary64)) %18)
%506 = (/.f64 (*.f64 %239 #s(literal 1 binary64)) %58)
%507 = (*.f64 %242 #s(literal -1 binary64))
%508 = (/.f64 %507 %58)
%510 = (/.f64 (*.f64 #s(literal 2 binary64) %395) %69)
%512 = (/.f64 (*.f64 #s(literal 2 binary64) %425) %78)
%514 = (/.f64 (*.f64 #s(literal 2 binary64) %239) %66)
%516 = (/.f64 (*.f64 #s(literal 2 binary64) %242) %75)
%518 = (/.f64 (*.f64 %16 %395) %84)
%520 = (/.f64 (*.f64 %16 %425) %92)
%522 = (/.f64 (*.f64 %16 %239) %81)
%524 = (/.f64 (*.f64 %16 %242) %89)
%526 = (/.f64 (*.f64 t %395) %98)
%528 = (/.f64 (*.f64 t %425) %104)
%530 = (/.f64 (*.f64 t %239) %95)
%532 = (/.f64 (*.f64 t %242) %101)
%534 = (/.f64 (*.f64 %395 #s(literal 2 binary64)) %113)
%536 = (/.f64 (*.f64 %395 %16) %84)
%538 = (/.f64 (*.f64 %395 t) %92)
%540 = (/.f64 (*.f64 %425 #s(literal 2 binary64)) %125)
%542 = (/.f64 (*.f64 %425 %16) %98)
%544 = (/.f64 (*.f64 %425 t) %104)
%546 = (/.f64 (*.f64 %258 #s(literal 2 binary64)) %120)
%548 = (/.f64 (*.f64 %258 %16) %18)
%550 = (/.f64 (*.f64 %239 #s(literal 2 binary64)) %138)
%552 = (/.f64 (*.f64 %239 %16) %141)
%554 = (/.f64 (*.f64 %239 t) %144)
%556 = (/.f64 (*.f64 %242 #s(literal 2 binary64)) %147)
%558 = (/.f64 (*.f64 %242 %16) %150)
%560 = (/.f64 (*.f64 %242 t) %153)
%563 = (/.f64 (*.f64 %34 #s(literal 2 binary64)) (*.f64 %256 #s(literal 2 binary64)))
%566 = (/.f64 (*.f64 %34 %16) (*.f64 %256 %16))
%568 = (/.f64 (*.f64 %235 #s(literal 2 binary64)) %132)
%569 = (*.f64 #s(literal -1 binary64) %16)
%571 = (/.f64 %569 (*.f64 %397 %16))
%572 = (*.f64 #s(literal -1 binary64) t)
%573 = (*.f64 %397 t)
%574 = (/.f64 %572 %573)
%575 = (*.f64 #s(literal 1 binary64) %16)
%577 = (/.f64 %575 (*.f64 %429 %16))
%578 = (*.f64 #s(literal 1 binary64) t)
%579 = (*.f64 %429 t)
%580 = (/.f64 %578 %579)
%582 = (/.f64 %131 (*.f64 %312 #s(literal 2 binary64)))
%583 = (*.f64 #s(literal 2 binary64) %312)
%584 = (/.f64 %134 %583)
%586 = (/.f64 (*.f64 #s(literal 2 binary64) %258) %72)
%588 = (/.f64 (*.f64 #s(literal 2 binary64) %235) %135)
%591 = (/.f64 (*.f64 %16 %34) (*.f64 %16 %256))
%592 = (*.f64 %16 #s(literal -1 binary64))
%594 = (/.f64 %592 (*.f64 %16 %397))
%595 = (*.f64 %16 #s(literal 1 binary64))
%596 = (*.f64 %16 %429)
%597 = (/.f64 %595 %596)
%598 = (*.f64 t #s(literal -1 binary64))
%600 = (/.f64 %598 (*.f64 t %397))
%601 = (*.f64 t #s(literal 1 binary64))
%602 = (*.f64 t %429)
%603 = (/.f64 %601 %602)
%604 = (*.f64 %256 t)
%605 = (/.f64 %46 %604)
%606 = (/.f64 %395 %16)
%608 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %397))
%610 = (/.f64 #s(literal -2 binary64) (*.f64 %397 #s(literal 2 binary64)))
%611 = (/.f64 %31 %372)
%613 = (/.f64 %414 (*.f64 #s(literal 2 binary64) %256))
%615 = (/.f64 %13 (*.f64 t %256))
%616 = (*.f64 %16 %312)
%617 = (/.f64 %17 %616)
%619 = (/.f64 %17 (*.f64 %312 %16))
%620 = (/.f64 %425 t)
%622 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %429))
%624 = (/.f64 #s(literal 2 binary64) (*.f64 %429 #s(literal 2 binary64)))
%625 = (/.f64 %258 %4)
%626 = (/.f64 %16 %596)
%627 = (/.f64 %239 %58)
%628 = (/.f64 %4 x)
%629 = (/.f64 %6 %628)
%630 = (/.f64 #s(literal -1 binary64) %397)
%631 = (/.f64 %242 %18)
%632 = (/.f64 %392 %260)
%633 = (/.f64 %34 %256)
%635 = (/.f64 #s(literal 1 binary64) (/.f64 %16 %395))
%637 = (/.f64 #s(literal 1 binary64) (/.f64 %256 %34))
%639 = (/.f64 #s(literal 1 binary64) (pow.f64 %469 #s(literal -1 binary64)))
%641 = (/.f64 #s(literal 1 binary64) (/.f64 t %425))
%643 = (/.f64 #s(literal 1 binary64) (/.f64 %397 #s(literal -1 binary64)))
%645 = (/.f64 #s(literal 1 binary64) (/.f64 %58 %239))
%647 = (/.f64 #s(literal 1 binary64) (/.f64 %18 %242))
%648 = (/.f64 #s(literal 1 binary64) %429)
%649 = (*.f64 t %312)
%650 = (/.f64 %40 %649)
%651 = (*.f64 %312 t)
%652 = (/.f64 %40 %651)
%653 = (/.f64 %235 z)
%654 = (/.f64 t %602)
%655 = (/.f64 %23 %264)
%656 = (/.f64 y %312)
%657 = (/.f64 x %166)
%659 = (neg.f64 (*.f64 %29 %238))
%661 = (neg.f64 (*.f64 %391 %360))
%662 = (neg.f64 %452)
%664 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %166) x %434)
%666 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %628) %6 %434)
%667 = (*.f64 %469 #s(literal 0 binary64))
%668 = (fma.f64 %308 x %667)
%669 = (*.f64 #s(literal 0 binary64) %469)
%670 = (fma.f64 %308 x %669)
%671 = (/.f64 #s(literal 0 binary64) %429)
%672 = (fma.f64 %308 x %671)
%673 = (fma.f64 %310 %258 %667)
%674 = (fma.f64 %310 %258 %669)
%675 = (fma.f64 %310 %258 %671)
%676 = (fma.f64 %313 %6 %667)
%677 = (fma.f64 %313 %6 %669)
%678 = (fma.f64 %313 %6 %671)
%679 = (fma.f64 %316 %9 %667)
%680 = (fma.f64 %316 %9 %669)
%681 = (fma.f64 %316 %9 %671)
%682 = (fma.f64 %319 %322 %667)
%683 = (fma.f64 %319 %322 %669)
%684 = (fma.f64 %319 %322 %671)
%685 = (fma.f64 %325 %327 %667)
%686 = (fma.f64 %325 %327 %669)
%687 = (fma.f64 %325 %327 %671)
%688 = (fma.f64 %329 %330 %667)
%689 = (fma.f64 %329 %330 %669)
%690 = (fma.f64 %329 %330 %671)
%691 = (fma.f64 %332 %333 %667)
%692 = (fma.f64 %332 %333 %669)
%693 = (fma.f64 %332 %333 %671)
%694 = (fma.f64 %335 %336 %667)
%695 = (fma.f64 %335 %336 %669)
%696 = (fma.f64 %335 %336 %671)
%697 = (fma.f64 %338 %339 %667)
%698 = (fma.f64 %338 %339 %669)
%699 = (fma.f64 %338 %339 %671)
%700 = (fma.f64 %341 %343 %667)
%701 = (fma.f64 %341 %343 %669)
%702 = (fma.f64 %341 %343 %671)
%703 = (fma.f64 %345 %235 %667)
%704 = (fma.f64 %345 %235 %669)
%705 = (fma.f64 %345 %235 %671)
%706 = (fma.f64 %347 %348 %667)
%707 = (fma.f64 %347 %348 %669)
%708 = (fma.f64 %347 %348 %671)
%709 = (fma.f64 %350 %351 %667)
%710 = (fma.f64 %350 %351 %669)
%711 = (fma.f64 %350 %351 %671)
%712 = (fma.f64 %353 %354 %667)
%713 = (fma.f64 %353 %354 %669)
%714 = (fma.f64 %353 %354 %671)
%715 = (fma.f64 %356 %41 %667)
%716 = (fma.f64 %356 %41 %669)
%717 = (fma.f64 %356 %41 %671)
%718 = (fma.f64 %358 %9 %667)
%719 = (fma.f64 %358 %9 %669)
%720 = (fma.f64 %358 %9 %671)
%721 = (fma.f64 %232 %360 %667)
%722 = (fma.f64 %232 %360 %669)
%723 = (fma.f64 %232 %360 %671)
%724 = (fma.f64 %229 %26 %667)
%725 = (fma.f64 %229 %26 %669)
%726 = (fma.f64 %229 %26 %671)
%727 = (fma.f64 %363 %261 %667)
%728 = (fma.f64 %363 %261 %669)
%729 = (fma.f64 %363 %261 %671)
%730 = (fma.f64 %365 %236 %667)
%731 = (fma.f64 %365 %236 %669)
%732 = (fma.f64 %365 %236 %671)
%733 = (fma.f64 %367 %26 %667)
%734 = (fma.f64 %367 %26 %669)
%735 = (fma.f64 %367 %26 %671)
%736 = (fma.f64 %53 %360 %667)
%737 = (fma.f64 %53 %360 %669)
%738 = (fma.f64 %53 %360 %671)
%739 = (fma.f64 %371 %373 %667)
%740 = (fma.f64 %371 %373 %669)
%741 = (fma.f64 %371 %373 %671)
%742 = (fma.f64 %375 %320 %667)
%743 = (fma.f64 %375 %320 %669)
%744 = (fma.f64 %375 %320 %671)
%745 = (fma.f64 %377 %373 %667)
%746 = (fma.f64 %377 %373 %669)
%747 = (fma.f64 %377 %373 %671)
%748 = (fma.f64 %377 %379 %667)
%749 = (fma.f64 %377 %379 %669)
%750 = (fma.f64 %377 %379 %671)
%751 = (fma.f64 %5 %381 %667)
%752 = (fma.f64 %5 %381 %669)
%753 = (fma.f64 %5 %381 %671)
%754 = (fma.f64 %5 %383 %667)
%755 = (fma.f64 %5 %383 %669)
%756 = (fma.f64 %5 %383 %671)
%757 = (fma.f64 %385 %386 %667)
%758 = (fma.f64 %385 %386 %669)
%759 = (fma.f64 %385 %386 %671)
%760 = (fma.f64 %385 %258 %434)
%761 = (fma.f64 %388 %389 %667)
%762 = (fma.f64 %388 %389 %669)
%763 = (fma.f64 %388 %389 %671)
%764 = (fma.f64 %388 y %434)
%765 = (fma.f64 %391 %392 %667)
%766 = (fma.f64 %391 %392 %669)
%767 = (fma.f64 %391 %392 %671)
%768 = (fma.f64 %395 %27 %667)
%769 = (fma.f64 %395 %27 %669)
%770 = (fma.f64 %395 %27 %671)
%771 = (fma.f64 #s(literal -2 binary64) %398 %667)
%772 = (fma.f64 #s(literal -2 binary64) %398 %669)
%773 = (fma.f64 #s(literal -2 binary64) %398 %671)
%774 = (fma.f64 #s(literal -1/2 binary64) %400 %667)
%775 = (fma.f64 #s(literal -1/2 binary64) %400 %669)
%776 = (fma.f64 #s(literal -1/2 binary64) %400 %671)
%777 = (fma.f64 %9 %316 %667)
%778 = (fma.f64 %9 %316 %669)
%779 = (fma.f64 %9 %316 %671)
%780 = (fma.f64 %9 %358 %667)
%781 = (fma.f64 %9 %358 %669)
%782 = (fma.f64 %9 %358 %671)
%783 = (fma.f64 %9 %231 %667)
%784 = (fma.f64 %9 %231 %669)
%785 = (fma.f64 %9 %231 %671)
%786 = (fma.f64 %360 %232 %667)
%787 = (fma.f64 %360 %232 %669)
%788 = (fma.f64 %360 %232 %671)
%789 = (fma.f64 %360 %53 %667)
%790 = (fma.f64 %360 %53 %669)
%791 = (fma.f64 %360 %53 %671)
%792 = (fma.f64 %360 %6 %667)
%793 = (fma.f64 %360 %6 %669)
%794 = (fma.f64 %360 %6 %671)
%795 = (fma.f64 %7 %394 %667)
%796 = (fma.f64 %7 %394 %669)
%797 = (fma.f64 %7 %394 %671)
%798 = (fma.f64 %394 %7 %667)
%799 = (fma.f64 %394 %7 %669)
%800 = (fma.f64 %394 %7 %671)
%801 = (fma.f64 %31 %410 %667)
%802 = (fma.f64 %31 %410 %669)
%803 = (fma.f64 %31 %410 %671)
%804 = (fma.f64 %31 %258 %667)
%805 = (fma.f64 %31 %258 %669)
%806 = (fma.f64 %31 %258 %671)
%807 = (fma.f64 %320 %375 %667)
%808 = (fma.f64 %320 %375 %669)
%809 = (fma.f64 %320 %375 %671)
%810 = (fma.f64 %320 %235 %434)
%811 = (fma.f64 %262 %414 %667)
%812 = (fma.f64 %262 %414 %669)
%813 = (fma.f64 %262 %414 %671)
%814 = (fma.f64 %414 %262 %667)
%815 = (fma.f64 %414 %262 %669)
%816 = (fma.f64 %414 %262 %671)
%817 = (fma.f64 %250 %13 %667)
%818 = (fma.f64 %250 %13 %669)
%819 = (fma.f64 %250 %13 %671)
%820 = (fma.f64 %13 %418 %667)
%821 = (fma.f64 %13 %418 %669)
%822 = (fma.f64 %13 %418 %671)
%823 = (fma.f64 %13 %250 %667)
%824 = (fma.f64 %13 %250 %669)
%825 = (fma.f64 %13 %250 %671)
%826 = (fma.f64 %247 %24 %667)
%827 = (fma.f64 %247 %24 %669)
%828 = (fma.f64 %247 %24 %671)
%829 = (fma.f64 %17 %422 %667)
%830 = (fma.f64 %17 %422 %669)
%831 = (fma.f64 %17 %422 %671)
%832 = (fma.f64 %425 %22 %667)
%833 = (fma.f64 %425 %22 %669)
%834 = (fma.f64 %425 %22 %671)
%835 = (fma.f64 %427 %40 %667)
%836 = (fma.f64 %427 %40 %669)
%837 = (fma.f64 %427 %40 %671)
%838 = (fma.f64 #s(literal 1/2 binary64) %430 %667)
%839 = (fma.f64 #s(literal 1/2 binary64) %430 %669)
%840 = (fma.f64 #s(literal 1/2 binary64) %430 %671)
%841 = (fma.f64 #s(literal 1/2 binary64) %432 %667)
%842 = (fma.f64 #s(literal 1/2 binary64) %432 %669)
%843 = (fma.f64 #s(literal 1/2 binary64) %432 %671)
%844 = (fma.f64 #s(literal 1/2 binary64) %469 %434)
%845 = (fma.f64 #s(literal 2 binary64) %434 %667)
%846 = (fma.f64 #s(literal 2 binary64) %434 %669)
%847 = (fma.f64 #s(literal 2 binary64) %434 %671)
%848 = (fma.f64 %41 %242 %667)
%849 = (fma.f64 %41 %242 %669)
%850 = (fma.f64 %41 %242 %671)
%851 = (fma.f64 %26 %229 %667)
%852 = (fma.f64 %26 %229 %669)
%853 = (fma.f64 %26 %229 %671)
%854 = (fma.f64 %26 %367 %667)
%855 = (fma.f64 %26 %367 %669)
%856 = (fma.f64 %26 %367 %671)
%857 = (fma.f64 %231 %9 %667)
%858 = (fma.f64 %231 %9 %669)
%859 = (fma.f64 %231 %9 %671)
%860 = (fma.f64 %258 %31 %667)
%861 = (fma.f64 %258 %31 %669)
%862 = (fma.f64 %258 %31 %671)
%863 = (fma.f64 %16 %441 %667)
%864 = (fma.f64 %16 %441 %669)
%865 = (fma.f64 %16 %441 %671)
%866 = (fma.f64 %315 %29 %667)
%867 = (fma.f64 %315 %29 %669)
%868 = (fma.f64 %315 %29 %671)
%869 = (fma.f64 %239 %19 %667)
%870 = (fma.f64 %239 %19 %669)
%871 = (fma.f64 %239 %19 %671)
%872 = (fma.f64 %6 %445 %667)
%873 = (fma.f64 %6 %445 %669)
%874 = (fma.f64 %6 %445 %671)
%875 = (fma.f64 %6 %447 %667)
%876 = (fma.f64 %6 %447 %669)
%877 = (fma.f64 %6 %447 %671)
%878 = (fma.f64 %6 %449 %667)
%879 = (fma.f64 %6 %449 %669)
%880 = (fma.f64 %6 %449 %671)
%881 = (fma.f64 %6 %360 %667)
%882 = (fma.f64 %6 %360 %669)
%883 = (fma.f64 %6 %360 %671)
%884 = (fma.f64 #s(literal -1 binary64) %452 %667)
%885 = (fma.f64 #s(literal -1 binary64) %452 %669)
%886 = (fma.f64 #s(literal -1 binary64) %452 %671)
%887 = (fma.f64 %454 t %667)
%888 = (fma.f64 %454 t %669)
%889 = (fma.f64 %454 t %671)
%890 = (fma.f64 %242 %41 %667)
%891 = (fma.f64 %242 %41 %669)
%892 = (fma.f64 %242 %41 %671)
%893 = (fma.f64 %424 %14 %667)
%894 = (fma.f64 %424 %14 %669)
%895 = (fma.f64 %424 %14 %671)
%896 = (fma.f64 %238 %36 %667)
%897 = (fma.f64 %238 %36 %669)
%898 = (fma.f64 %238 %36 %671)
%899 = (fma.f64 %392 %459 %667)
%900 = (fma.f64 %392 %459 %669)
%901 = (fma.f64 %392 %459 %671)
%902 = (fma.f64 %392 y %667)
%903 = (fma.f64 %392 y %669)
%904 = (fma.f64 %392 y %671)
%905 = (fma.f64 %34 %462 %667)
%906 = (fma.f64 %34 %462 %669)
%907 = (fma.f64 %34 %462 %671)
%908 = (fma.f64 %34 %235 %667)
%909 = (fma.f64 %34 %235 %669)
%910 = (fma.f64 %34 %235 %671)
%911 = (fma.f64 %36 %238 %667)
%912 = (fma.f64 %36 %238 %669)
%913 = (fma.f64 %36 %238 %671)
%914 = (fma.f64 %14 %424 %667)
%915 = (fma.f64 %14 %424 %669)
%916 = (fma.f64 %14 %424 %671)
%917 = (fma.f64 #s(literal 1 binary64) %467 %667)
%918 = (fma.f64 #s(literal 1 binary64) %467 %669)
%919 = (fma.f64 #s(literal 1 binary64) %467 %671)
%920 = (fma.f64 #s(literal 1 binary64) %469 %667)
%921 = (fma.f64 #s(literal 1 binary64) %469 %669)
%922 = (fma.f64 #s(literal 1 binary64) %469 %671)
%923 = (fma.f64 %40 %427 %667)
%924 = (fma.f64 %40 %427 %669)
%925 = (fma.f64 %40 %427 %671)
%926 = (fma.f64 %24 %472 %667)
%927 = (fma.f64 %24 %472 %669)
%928 = (fma.f64 %24 %472 %671)
%929 = (fma.f64 %24 %247 %667)
%930 = (fma.f64 %24 %247 %669)
%931 = (fma.f64 %24 %247 %671)
%932 = (*.f64 %469 #s(literal 1/2 binary64))
%933 = (fma.f64 %469 #s(literal 1/2 binary64) %932)
%934 = (fma.f64 %469 #s(literal 1 binary64) %667)
%935 = (fma.f64 %469 #s(literal 1 binary64) %669)
%936 = (fma.f64 %469 #s(literal 1 binary64) %671)
%937 = (fma.f64 %235 %34 %667)
%938 = (fma.f64 %235 %34 %669)
%939 = (fma.f64 %235 %34 %671)
%940 = (fma.f64 t %477 %667)
%941 = (fma.f64 t %477 %669)
%942 = (fma.f64 t %477 %671)
%943 = (fma.f64 t %454 %667)
%944 = (fma.f64 t %454 %669)
%945 = (fma.f64 t %454 %671)
%946 = (fma.f64 %23 x %667)
%947 = (fma.f64 %23 x %669)
%948 = (fma.f64 %23 x %671)
%949 = (fma.f64 y %480 %667)
%950 = (fma.f64 y %480 %669)
%951 = (fma.f64 y %480 %671)
%952 = (fma.f64 y %483 %667)
%953 = (fma.f64 y %483 %669)
%954 = (fma.f64 y %483 %671)
%955 = (fma.f64 y %485 %667)
%956 = (fma.f64 y %485 %669)
%957 = (fma.f64 y %485 %671)
%958 = (fma.f64 y %392 %667)
%959 = (fma.f64 y %392 %669)
%960 = (fma.f64 y %392 %671)
%961 = (fma.f64 x %23 %667)
%962 = (fma.f64 x %23 %669)
%963 = (fma.f64 x %23 %671)
%964 = (+.f64 %932 %932)
%965 = (+.f64 %434 %434)
%966 = (+.f64 %469 %667)
%967 = (+.f64 %469 %669)
%968 = (+.f64 %469 %671)
%971 = (approx (/ (* y x) z) %469)
%981 = (*.f64 #s(literal 1/2 binary64) %40)
%983 = (*.f64 #s(literal 0 binary64) %40)
%985 = (*.f64 %40 #s(literal 1/2 binary64))
%987 = (*.f64 %40 #s(literal 0 binary64))
%997 = (/.f64 %22 t)
%999 = (/.f64 %14 t)
%1030 = (/.f64 %41 t)
%1037 = (/.f64 %36 t)
%1128 = (*.f64 %34 #s(literal 0 binary64))
%1130 = (*.f64 #s(literal 0 binary64) %34)
%1132 = (/.f64 #s(literal 0 binary64) z)
%1144 = (*.f64 %34 #s(literal 1/2 binary64))
%1160 = (*.f64 %31 %231)
%1161 = (/.f64 #s(literal 2 binary64) %264)
%1162 = (*.f64 %320 %1161)
%1163 = (*.f64 %414 %265)
%1164 = (/.f64 %22 %264)
%1165 = (*.f64 %13 %1164)
%1166 = (*.f64 #s(literal 1/2 binary64) %363)
%1167 = (*.f64 #s(literal 1/2 binary64) x)
%1168 = (/.f64 %1167 z)
%1169 = (*.f64 #s(literal 2 binary64) %1168)
%1170 = (*.f64 #s(literal 2 binary64) %388)
%1171 = (*.f64 %231 %31)
%1172 = (*.f64 #s(literal -1 binary64) %360)
%1173 = (/.f64 #s(literal 1 binary64) %264)
%1174 = (*.f64 %34 %1173)
%1175 = (*.f64 %34 x)
%1176 = (*.f64 #s(literal 1 binary64) %392)
%1177 = (/.f64 %22 %312)
%1178 = (*.f64 t %1177)
%1179 = (*.f64 x %34)
%1180 = (pow.f64 %312 #s(literal -1 binary64))
%1181 = (pow.f64 %392 #s(literal 1 binary64))
%1183 = (/.f64 (*.f64 #s(literal 2 binary64) %231) %72)
%1185 = (/.f64 (*.f64 #s(literal 2 binary64) x) %135)
%1186 = (/.f64 #s(literal 2 binary64) %583)
%1187 = (/.f64 %231 %4)
%1188 = (/.f64 %16 %616)
%1189 = (/.f64 %315 %58)
%1190 = (/.f64 #s(literal -1 binary64) %628)
%1191 = (/.f64 %238 %18)
%1192 = (/.f64 %34 %264)
%1194 = (/.f64 #s(literal 1 binary64) (pow.f64 %392 #s(literal -1 binary64)))
%1195 = (/.f64 #s(literal 1 binary64) %312)
%1196 = (/.f64 t %649)
%1198 = (neg.f64 (*.f64 %31 x))
%1200 = (neg.f64 (*.f64 #s(literal -1 binary64) %392))
%1201 = (neg.f64 %313)
%1202 = (neg.f64 %360)
%1203 = (/.f64 #s(literal 0 binary64) %312)
%1204 = (fma.f64 %31 %231 %1203)
%1205 = (fma.f64 %320 %1161 %1203)
%1206 = (fma.f64 %414 %265 %1203)
%1207 = (fma.f64 %13 %1164 %1203)
%1208 = (fma.f64 #s(literal 1/2 binary64) %363 %1203)
%1209 = (fma.f64 #s(literal 2 binary64) %1168 %1203)
%1210 = (fma.f64 #s(literal 2 binary64) %388 %1203)
%1211 = (fma.f64 %231 %31 %1203)
%1212 = (fma.f64 #s(literal -1 binary64) %360 %1203)
%1213 = (fma.f64 %34 %1173 %1203)
%1214 = (fma.f64 %34 x %1203)
%1215 = (fma.f64 #s(literal 1 binary64) %392 %1203)
%1216 = (fma.f64 t %1177 %1203)
%1217 = (fma.f64 x %34 %1203)
%1218 = (+.f64 %388 %388)
%1219 = (+.f64 %392 %1203)
%1228 = (*.f64 #s(literal 1/2 binary64) %238)
%1230 = (*.f64 %238 #s(literal 0 binary64))
%1233 = (*.f64 %238 #s(literal 1/2 binary64))
%1236 = (*.f64 #s(literal 0 binary64) %238)
%1284 = (*.f64 %242 #s(literal 0 binary64))
%1287 = (*.f64 #s(literal 1/2 binary64) %242)
%1293 = (*.f64 %242 #s(literal 1/2 binary64))
%1297 = (*.f64 #s(literal 0 binary64) %242)
%1313 = (*.f64 %14 x)
%1336 = (/.f64 %452 t)
x
y
z
(*.f64 %5 %7)
(*.f64 %9 #s(literal -1 binary64))
(*.f64 %7 %5)
(*.f64 %13 %14)
(*.f64 %17 %19)
(*.f64 %22 %24)
(*.f64 %26 %27)
(*.f64 %16 %29)
(*.f64 %6 %31)
(*.f64 #s(literal -1 binary64) %9)
(*.f64 %34 y)
(*.f64 %36 t)
(*.f64 %14 %13)
(*.f64 #s(literal 1 binary64) %23)
(*.f64 %40 %41)
(*.f64 %24 %22)
(*.f64 t %36)
(*.f64 %23 #s(literal 1 binary64))
(*.f64 y %47)
(*.f64 y %49)
(*.f64 y %34)
(pow.f64 %23 #s(literal 1 binary64))
(/.f64 %53 %4)
(/.f64 (*.f64 #s(literal -1 binary64) %17) %18)
(/.f64 (*.f64 #s(literal -1 binary64) %40) %58)
(/.f64 (*.f64 #s(literal 1 binary64) %17) %58)
(/.f64 %62 %18)
(/.f64 (*.f64 #s(literal 2 binary64) %17) %66)
(/.f64 (*.f64 #s(literal 2 binary64) %26) %69)
(/.f64 (*.f64 #s(literal 2 binary64) %6) %72)
(/.f64 (*.f64 #s(literal 2 binary64) %40) %75)
(/.f64 (*.f64 #s(literal 2 binary64) %24) %78)
(/.f64 (*.f64 %16 %17) %81)
(/.f64 (*.f64 %16 %26) %84)
(/.f64 (*.f64 %16 %6) %18)
(/.f64 (*.f64 %16 %40) %89)
(/.f64 (*.f64 %16 %24) %92)
(/.f64 (*.f64 t %17) %95)
(/.f64 (*.f64 t %26) %98)
(/.f64 (*.f64 t %40) %101)
(/.f64 (*.f64 t %24) %104)
(/.f64 %106 %18)
(/.f64 %108 %58)
(/.f64 %110 %58)
(/.f64 (*.f64 %26 #s(literal 2 binary64)) %113)
(/.f64 (*.f64 %26 %16) %84)
(/.f64 (*.f64 %26 t) %92)
(/.f64 (*.f64 %6 #s(literal 2 binary64)) %120)
(/.f64 (*.f64 %6 %16) %18)
(/.f64 (*.f64 %24 #s(literal 2 binary64)) %125)
(/.f64 (*.f64 %24 %16) %98)
(/.f64 (*.f64 %24 t) %104)
(/.f64 %131 %132)
(/.f64 %134 %135)
(/.f64 (*.f64 %17 #s(literal 2 binary64)) %138)
(/.f64 (*.f64 %17 %16) %141)
(/.f64 (*.f64 %17 t) %144)
(/.f64 (*.f64 %40 #s(literal 2 binary64)) %147)
(/.f64 (*.f64 %40 %16) %150)
(/.f64 (*.f64 %40 t) %153)
(/.f64 %155 %18)
(/.f64 %17 %58)
(/.f64 %26 %16)
(/.f64 %6 %4)
(/.f64 #s(literal 1 binary64) (/.f64 %18 %40))
(/.f64 #s(literal 1 binary64) (/.f64 %58 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %23 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %166)
(/.f64 #s(literal 1 binary64) (/.f64 %16 %26))
(/.f64 #s(literal 1 binary64) (/.f64 t %24))
(/.f64 %40 %18)
(/.f64 %24 t)
%23
(neg.f64 %9)
(fma.f64 %5 %7 %176)
(fma.f64 %5 %7 %178)
(fma.f64 %9 #s(literal -1 binary64) %176)
(fma.f64 %9 #s(literal -1 binary64) %178)
(fma.f64 %7 %5 %176)
(fma.f64 %7 %5 %178)
(fma.f64 %13 %14 %176)
(fma.f64 %13 %14 %178)
(fma.f64 %17 %19 %176)
(fma.f64 %17 %19 %178)
(fma.f64 #s(literal 1/2 binary64) %23 %189)
(fma.f64 %22 %24 %176)
(fma.f64 %22 %24 %178)
(fma.f64 %26 %27 %176)
(fma.f64 %26 %27 %178)
(fma.f64 %16 %29 %176)
(fma.f64 %16 %29 %178)
(fma.f64 %6 %31 %176)
(fma.f64 %6 %31 %178)
(fma.f64 #s(literal -1 binary64) %9 %176)
(fma.f64 #s(literal -1 binary64) %9 %178)
(fma.f64 %34 y %176)
(fma.f64 %34 y %178)
(fma.f64 %36 t %176)
(fma.f64 %36 t %178)
(fma.f64 %14 %13 %176)
(fma.f64 %14 %13 %178)
(fma.f64 #s(literal 1 binary64) %23 %176)
(fma.f64 #s(literal 1 binary64) %23 %178)
(fma.f64 %40 %41 %176)
(fma.f64 %40 %41 %178)
(fma.f64 %24 %22 %176)
(fma.f64 %24 %22 %178)
(fma.f64 t %36 %176)
(fma.f64 t %36 %178)
(fma.f64 %23 #s(literal 1/2 binary64) %215)
(fma.f64 %23 #s(literal 1 binary64) %176)
(fma.f64 %23 #s(literal 1 binary64) %178)
(fma.f64 y %47 %176)
(fma.f64 y %47 %178)
(fma.f64 y %49 %176)
(fma.f64 y %49 %178)
(fma.f64 y %34 %176)
(fma.f64 y %34 %178)
(+.f64 %215 %215)
(+.f64 %189 %189)
(+.f64 %23 %176)
(+.f64 %23 %178)
t
(*.f64 %17 %229)
(*.f64 %231 %232)
(*.f64 %231 %6)
(*.f64 %16 %236)
(*.f64 %239 %27)
(*.f64 %6 %231)
(*.f64 %242 %22)
(*.f64 %238 %14)
(*.f64 %14 %238)
(*.f64 #s(literal 1 binary64) %235)
(*.f64 %40 %247)
(*.f64 %235 #s(literal 1 binary64))
(*.f64 t %250)
%235
(*.f64 x y)
(pow.f64 %235 #s(literal 1 binary64))
(/.f64 %239 %16)
(/.f64 %242 t)
(/.f64 #s(literal 1 binary64) %256)
(neg.f64 %258)
(fma.f64 %261 x %262)
(fma.f64 %265 y %262)
(fma.f64 #s(literal -1/2 binary64) %258 %262)
(fma.f64 %17 %229 %269)
(fma.f64 %17 %229 %271)
(fma.f64 #s(literal 1/2 binary64) %235 %262)
(fma.f64 %231 %232 %269)
(fma.f64 %231 %232 %271)
(fma.f64 %231 %6 %269)
(fma.f64 %231 %6 %271)
(fma.f64 %16 %236 %269)
(fma.f64 %16 %236 %271)
(fma.f64 %239 %27 %269)
(fma.f64 %239 %27 %271)
(fma.f64 %6 %231 %269)
(fma.f64 %6 %231 %271)
(fma.f64 %242 %22 %269)
(fma.f64 %242 %22 %271)
(fma.f64 %238 %14 %269)
(fma.f64 %238 %14 %271)
(fma.f64 %14 %238 %269)
(fma.f64 %14 %238 %271)
(fma.f64 #s(literal 1 binary64) %235 %269)
(fma.f64 #s(literal 1 binary64) %235 %271)
(fma.f64 %40 %247 %269)
(fma.f64 %40 %247 %271)
(fma.f64 %235 #s(literal 1/2 binary64) %294)
(fma.f64 %235 #s(literal 1 binary64) %269)
(fma.f64 %235 #s(literal 1 binary64) %271)
(fma.f64 t %250 %269)
(fma.f64 t %250 %271)
(fma.f64 y x %269)
(fma.f64 y x %271)
(fma.f64 x y %269)
(fma.f64 x y %271)
(+.f64 %294 %294)
(+.f64 %262 %262)
(+.f64 %235 %269)
(+.f64 %235 %271)
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
(pow.f64 %971 #s(literal 1 binary64))
%971
(/.f64 #s(literal 1 binary64) (pow.f64 %971 #s(literal -1 binary64)))
(*.f64 %40 #s(literal 1 binary64))
%40
(*.f64 y t)
(pow.f64 %40 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64)))
(neg.f64 %110)
(fma.f64 #s(literal 1/2 binary64) %40 %981)
(fma.f64 #s(literal 1 binary64) %40 %983)
(fma.f64 %40 #s(literal 1/2 binary64) %985)
(fma.f64 %40 #s(literal 1 binary64) %987)
(fma.f64 t y %987)
(fma.f64 y t %987)
(+.f64 %985 %985)
(+.f64 %981 %981)
(+.f64 %62 %983)
(+.f64 %40 %987)
#s(literal 1 binary64)
(*.f64 %22 y)
(*.f64 %6 %27)
(*.f64 %40 %997)
(*.f64 t %999)
(*.f64 y %22)
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 %17 %92)
(/.f64 %6 %16)
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %16 %6))
(/.f64 #s(literal 1 binary64) (/.f64 t y))
(/.f64 %40 %104)
%14
(neg.f64 %7)
(*.f64 %16 %4)
(*.f64 %4 %16)
%18
(*.f64 z t)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %41)
(neg.f64 %58)
(*.f64 %7 %31)
(*.f64 %13 %999)
(*.f64 %22 %23)
(*.f64 %41 y)
(*.f64 %26 (/.f64 %27 t))
(*.f64 %6 %19)
(*.f64 %34 %14)
(*.f64 %36 #s(literal 1 binary64))
(*.f64 %14 %34)
(*.f64 #s(literal 1 binary64) %36)
(*.f64 %40 %1030)
(*.f64 %40 (/.f64 %22 %18))
(*.f64 %24 %997)
(*.f64 t (/.f64 %14 %18))
(*.f64 t %1037)
(*.f64 %23 %22)
(*.f64 y %41)
(pow.f64 %36 #s(literal 1 binary64))
(/.f64 (*.f64 %26 #s(literal -1 binary64)) %84)
(/.f64 (*.f64 %26 #s(literal 1 binary64)) %92)
(/.f64 (*.f64 %6 #s(literal -1 binary64)) %18)
(/.f64 (*.f64 %24 #s(literal -1 binary64)) %98)
(/.f64 %106 %141)
(/.f64 %108 %144)
(/.f64 %110 %150)
(/.f64 (*.f64 #s(literal -1 binary64) %6) %18)
(/.f64 (*.f64 #s(literal -1 binary64) y) %58)
(/.f64 (*.f64 #s(literal 1 binary64) %6) %58)
(/.f64 %9 %16)
(/.f64 %7 %4)
(/.f64 %17 %144)
(/.f64 %17 %89)
(/.f64 %26 %92)
(/.f64 %6 %58)
(/.f64 %14 z)
(/.f64 #s(literal 1 binary64) (/.f64 %4 %7))
(/.f64 #s(literal 1 binary64) (/.f64 t %23))
(/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %58 %6))
(/.f64 #s(literal 1 binary64) (/.f64 z %14))
(/.f64 #s(literal 1 binary64) (/.f64 %18 y))
(/.f64 %40 %153)
(/.f64 %40 %101)
(/.f64 %24 %104)
(/.f64 %23 t)
%36
(neg.f64 (*.f64 %7 %34))
(neg.f64 (*.f64 %9 %22))
(neg.f64 (*.f64 %31 %14))
(neg.f64 (*.f64 %14 %31))
(neg.f64 (*.f64 %34 %7))
(neg.f64 %29)
(*.f64 #s(literal -2 binary64) %385)
(*.f64 #s(literal 1/2 binary64) %414)
(*.f64 #s(literal 2 binary64) %320)
(*.f64 #s(literal -1 binary64) %31)
(*.f64 %34 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %34)
(*.f64 t %41)
(pow.f64 %34 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 %569 %18)
(/.f64 %572 %58)
(/.f64 %575 %58)
(/.f64 %578 %18)
(/.f64 %592 %18)
(/.f64 %595 %58)
(/.f64 %598 %58)
(/.f64 %601 %18)
(/.f64 #s(literal -2 binary64) %72)
(/.f64 #s(literal -2 binary64) %120)
(/.f64 #s(literal 2 binary64) %132)
(/.f64 #s(literal 2 binary64) %135)
(/.f64 %16 %58)
(/.f64 #s(literal -1 binary64) %4)
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %4 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%34
(/.f64 t %18)
(neg.f64 (*.f64 %31 #s(literal 1 binary64)))
(neg.f64 (*.f64 %34 #s(literal -1 binary64)))
(neg.f64 %31)
(fma.f64 #s(literal -2 binary64) %385 %1128)
(fma.f64 #s(literal -2 binary64) %385 %1130)
(fma.f64 #s(literal -2 binary64) %385 %1132)
(fma.f64 #s(literal 1/2 binary64) %414 %1128)
(fma.f64 #s(literal 1/2 binary64) %414 %1130)
(fma.f64 #s(literal 1/2 binary64) %414 %1132)
(fma.f64 #s(literal 1/2 binary64) %34 %320)
(fma.f64 #s(literal 2 binary64) %320 %1128)
(fma.f64 #s(literal 2 binary64) %320 %1130)
(fma.f64 #s(literal 2 binary64) %320 %1132)
(fma.f64 #s(literal -1 binary64) %31 %1128)
(fma.f64 #s(literal -1 binary64) %31 %1130)
(fma.f64 #s(literal -1 binary64) %31 %1132)
(fma.f64 %34 #s(literal 1/2 binary64) %1144)
(fma.f64 %34 #s(literal 1 binary64) %1128)
(fma.f64 %34 #s(literal 1 binary64) %1130)
(fma.f64 %34 #s(literal 1 binary64) %1132)
(fma.f64 #s(literal 1 binary64) %34 %1128)
(fma.f64 #s(literal 1 binary64) %34 %1130)
(fma.f64 #s(literal 1 binary64) %34 %1132)
(fma.f64 t %41 %1128)
(fma.f64 t %41 %1130)
(fma.f64 t %41 %1132)
(+.f64 %1144 %1144)
(+.f64 %320 %320)
(+.f64 %34 %1128)
(+.f64 %34 %1130)
(+.f64 %34 %1132)
%1160
%1162
%1163
%1165
%1166
%1169
%1170
%1171
%1172
%1174
%1175
%1176
%1178
%1179
%1180
%1181
%1183
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1194
%1195
%1196
%392
%1198
%1200
%1201
%1202
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1217
%1218
%1219
(*.f64 %231 %16)
(*.f64 %16 %231)
(*.f64 %238 #s(literal 1 binary64))
%238
(*.f64 x t)
(pow.f64 %238 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %238 #s(literal -1 binary64)))
(neg.f64 %315)
(fma.f64 #s(literal 1/2 binary64) %238 %1228)
(fma.f64 %231 %16 %1230)
(fma.f64 %16 %231 %1230)
(fma.f64 %238 #s(literal 1/2 binary64) %1233)
(fma.f64 %238 #s(literal 1 binary64) %1230)
(fma.f64 #s(literal 1 binary64) %238 %1236)
(fma.f64 t x %1230)
(fma.f64 x t %1230)
(+.f64 %1233 %1233)
(+.f64 %1228 %1228)
(+.f64 %482 %1236)
(+.f64 %238 %1230)
(*.f64 %13 x)
(*.f64 %231 %5)
(*.f64 %16 %360)
(*.f64 %315 %31)
(*.f64 %238 %34)
%424
(*.f64 %34 %238)
(*.f64 t %392)
(*.f64 x %13)
(pow.f64 %424 #s(literal 1 binary64))
(/.f64 %315 %4)
(/.f64 %238 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %424 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %4 %315))
(/.f64 #s(literal 1 binary64) (/.f64 z %238))
(neg.f64 (*.f64 %360 t))
(neg.f64 (*.f64 %31 %238))
(neg.f64 %394)
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
(*.f64 %155 x)
(*.f64 %17 %231)
(*.f64 %231 %17)
(*.f64 %16 %258)
(*.f64 %315 %6)
(*.f64 %6 %315)
(*.f64 %242 #s(literal 1 binary64))
%242
(*.f64 %40 x)
(*.f64 %235 t)
(*.f64 t %235)
(*.f64 y %238)
(*.f64 x %155)
(*.f64 x %40)
(pow.f64 %242 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %242 #s(literal -1 binary64)))
(neg.f64 %507)
(neg.f64 %239)
(fma.f64 %155 x %1284)
(fma.f64 %17 %231 %1284)
(fma.f64 #s(literal 1/2 binary64) %242 %1287)
(fma.f64 %231 %17 %1284)
(fma.f64 %16 %258 %1284)
(fma.f64 %315 %6 %1284)
(fma.f64 %6 %315 %1284)
(fma.f64 %242 #s(literal 1/2 binary64) %1293)
(fma.f64 %242 #s(literal 1 binary64) %1284)
(fma.f64 %238 y %1284)
(fma.f64 #s(literal 1 binary64) %242 %1297)
(fma.f64 %40 x %1284)
(fma.f64 %235 t %1284)
(fma.f64 t %235 %1284)
(fma.f64 y %238 %1284)
(fma.f64 x %155 %1284)
(fma.f64 x %40 %1284)
(+.f64 %1293 %1293)
(+.f64 %1287 %1287)
(+.f64 (*.f64 #s(literal 1 binary64) %242) %1297)
(+.f64 %242 %1284)
(*.f64 %229 %9)
(*.f64 %367 %9)
(*.f64 %391 %427)
(*.f64 %1313 %34)
(*.f64 %9 %229)
(*.f64 %9 %367)
(*.f64 %360 %7)
(*.f64 %7 %360)
(*.f64 %31 %383)
(*.f64 %414 (/.f64 %262 t))
(*.f64 %250 %34)
(*.f64 %13 (/.f64 %250 t))
(*.f64 %247 %23)
(*.f64 %425 %997)
(*.f64 %427 y)
(*.f64 #s(literal 2 binary64) (/.f64 %434 t))
(*.f64 %41 %235)
(*.f64 %231 %29)
(*.f64 %258 %19)
(*.f64 %239 (/.f64 %19 t))
(*.f64 %6 %422)
(*.f64 #s(literal -1 binary64) %1336)
(*.f64 %454 #s(literal 1 binary64))
(*.f64 %242 %1030)
(*.f64 %424 %999)
(*.f64 %238 %1037)
(*.f64 %392 %14)
(*.f64 %34 %250)
%454
(*.f64 %14 %480)
(*.f64 %14 %392)
(*.f64 #s(literal 1 binary64) %454)
(*.f64 %40 (/.f64 %427 t))
(*.f64 %24 (/.f64 %472 t))
(*.f64 %24 (/.f64 %247 t))
(*.f64 %469 %22)
(*.f64 %235 %41)
(*.f64 t (/.f64 %454 t))
(*.f64 %23 %247)
(*.f64 y (/.f64 %483 t))
(*.f64 y (/.f64 %485 t))
(*.f64 y (*.f64 %41 x))
(*.f64 y %427)
(*.f64 x %36)
(pow.f64 %454 #s(literal 1 binary64))
(/.f64 %383 %4)
(/.f64 (neg.f64 %1313) %4)
(/.f64 (neg.f64 %250) %4)
(/.f64 %395 %92)
(/.f64 %395 %98)
(/.f64 %1313 z)
(/.f64 %452 %16)
(/.f64 %250 z)
(/.f64 %425 %104)
(/.f64 %258 %58)
(/.f64 %239 %144)
(/.f64 %239 %95)
(/.f64 #s(literal -1 binary64) %573)
(/.f64 %242 %153)
(/.f64 %242 %101)
(/.f64 %34 %604)
(/.f64 #s(literal 1 binary64) (/.f64 z %1313))
(/.f64 #s(literal 1 binary64) (/.f64 z %250))
(/.f64 #s(literal 1 binary64) (/.f64 %58 %258))
(/.f64 #s(literal 1 binary64) (/.f64 t %469))
(/.f64 #s(literal 1 binary64) %579)
(/.f64 #s(literal 1 binary64) (pow.f64 %454 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %18 %235))
(/.f64 %469 t)
(/.f64 %235 %18)
(/.f64 y %651)
(neg.f64 (/.f64 %258 %18))
(neg.f64 (*.f64 %360 %14))
(neg.f64 (*.f64 %29 x))
(neg.f64 (*.f64 %7 %392))
(neg.f64 (*.f64 %9 %247))
(neg.f64 (*.f64 %247 %9))
(neg.f64 (*.f64 %392 %7))
(neg.f64 (*.f64 %14 %360))
(neg.f64 (*.f64 x %29))
(neg.f64 %441)
(neg.f64 %1336)
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%1160
%1162
%1163
%1165
%1166
%1169
%1170
%1171
%1172
%1174
%1175
%1176
%1178
%1179
%1180
%1181
%1183
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1194
%1195
%1196
%392
%1198
%1200
%1201
%1202
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1217
%1218
%1219
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
(*.f64 %166 %264)
(*.f64 %628 (/.f64 #s(literal 1 binary64) %6))
(*.f64 %312 %260)
(*.f64 %256 z)
(*.f64 %4 %372)
(*.f64 z %256)
(pow.f64 %429 #s(literal 1 binary64))
(/.f64 (/.f64 %166 #s(literal 2 binary64)) %1167)
(/.f64 (/.f64 %166 #s(literal 1 binary64)) x)
(/.f64 (/.f64 %4 y) %231)
(/.f64 (*.f64 %4 #s(literal 1 binary64)) %258)
(/.f64 (neg.f64 %166) %231)
(/.f64 %166 x)
(/.f64 %628 %6)
(/.f64 %312 y)
(/.f64 %4 %258)
(/.f64 %429 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %469)
%429
(neg.f64 %397)
%309
%311
%314
%317
%323
%328
%331
%334
%337
%340
%344
%346
%349
%352
%355
%357
%359
%361
%362
%364
%366
%368
%369
%374
%376
%378
%380
%382
%384
%387
%390
%393
%396
%399
%401
%402
%403
%404
%405
%406
%407
%408
%409
%411
%412
%413
%415
%416
%417
%419
%420
%421
%423
%426
%428
%431
%433
%435
%436
%437
%438
%439
%440
%442
%443
%444
%446
%448
%450
%451
%453
%455
%456
%457
%458
%460
%461
%463
%464
%465
%466
%468
%470
%471
%473
%474
%475
%476
%478
%479
%469
%481
%484
%486
%487
%488
%489
%490
%491
%492
%493
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%540
%542
%544
%546
%548
%550
%552
%554
%556
%558
%560
%563
%566
%568
%571
%574
%577
%580
%582
%584
%586
%588
%591
%594
%597
%600
%603
%605
%606
%608
%610
%611
%613
%615
%617
%619
%620
%622
%624
%625
%626
%627
%629
%630
%631
%632
%633
%635
%637
%639
%641
%643
%645
%647
%648
%650
%652
%653
%654
%655
%656
%657
%659
%661
%662
%664
%666
%668
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%903
%904
%905
%906
%907
%908
%909
%910
%911
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%924
%925
%926
%927
%928
%929
%930
%931
%933
%934
%935
%936
%937
%938
%939
%940
%941
%942
%943
%944
%945
%946
%947
%948
%949
%950
%951
%952
%953
%954
%955
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
reconstruct360.0ms (17.2%)
Counts
4 545 → 1 386
Compiler
Compiled 4 545 to 1 447 computations (68.2% saved)
eval32.0ms (1.5%)
Compiler
Compiled 500 to 760 computations (-52.0% saved)
prune8.0ms (0.4%)
Pruning
8 alts after pruning (2 fresh and 6 done)
PrunedKeptTotal
New4982500
Fresh000
Picked268
Done000
Total5008508
Accuracy
100.0%
Counts
508 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓75.4%
(/.f64 (*.f64 (*.f64 t y) x) (*.f64 t z))
▶90.7%
(/.f64 y (/.f64 z x))
▶95.9%
(/.f64 x (/.f64 z y))
✓91.0%
(/.f64 #s(literal 1 binary64) (/.f64 z (*.f64 x y)))
✓91.4%
(*.f64 y (/.f64 x z))
✓95.8%
(*.f64 x (/.f64 y z))
✓74.9%
(*.f64 t (*.f64 (/.f64 y (*.f64 t z)) x))
✓91.8%
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Compiler
Compiled 8 to 24 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series14.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01637
Stop Event
1×iter-limit
Counts
7 → 7
Calls
Call 1
Inputs
%3 = (/.f64 z y)
%4 = (/.f64 z x)
x
y
z
%3
%4
(/.f64 y %4)
(/.f64 x %3)
Outputs
%5 = (/ z x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (/.f64 z x))
(approx (/ y %5) (/.f64 (*.f64 x y) z))
(approx y y)
(approx (/ z y) (/.f64 z y))
(approx z z)
Calls
12 calls:
TimeVariablePoint
4.0ms
x
inf
3.0ms
z
-inf
2.0ms
z
0
2.0ms
z
inf
1.0ms
x
-inf
rewrite86.0ms (4.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0719
01119
14919
218219
366119
4279319
0426419
0469119
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 465
Calls
Call 1
Inputs
%3 = (/.f64 z y)
%4 = (/.f64 z x)
x
y
z
%3
%4
(/.f64 y %4)
(/.f64 x %3)
Outputs
%4 = (/.f64 #s(literal 1 binary64) y)
%5 = (+.f64 z z)
%9 = (neg.f64 z)
%11 = (*.f64 %9 #s(literal 2 binary64))
%13 = (/.f64 #s(literal -1/2 binary64) y)
%15 = (/.f64 #s(literal 1/2 binary64) y)
%17 = (/.f64 z y)
%18 = (*.f64 #s(literal 2 binary64) %17)
%27 = (/.f64 #s(literal -1 binary64) y)
%29 = (/.f64 %9 y)
%37 = (+.f64 y y)
%38 = (/.f64 z %37)
%41 = (neg.f64 %18)
%44 = (*.f64 #s(literal 2 binary64) %9)
%45 = (neg.f64 %44)
%46 = (neg.f64 y)
%47 = (*.f64 #s(literal 2 binary64) %46)
%48 = (neg.f64 %47)
%51 = (neg.f64 %5)
%52 = (neg.f64 %37)
%57 = (*.f64 %46 #s(literal 2 binary64))
%63 = (/.f64 y z)
%66 = (*.f64 %46 #s(literal -1 binary64))
%69 = (/.f64 #s(literal 1 binary64) x)
%72 = (/.f64 #s(literal -1/2 binary64) x)
%74 = (/.f64 #s(literal 1/2 binary64) x)
%76 = (/.f64 z x)
%77 = (*.f64 #s(literal 2 binary64) %76)
%85 = (/.f64 #s(literal -1 binary64) x)
%87 = (neg.f64 %76)
%95 = (+.f64 x x)
%96 = (/.f64 z %95)
%99 = (neg.f64 %77)
%101 = (neg.f64 x)
%102 = (*.f64 #s(literal 2 binary64) %101)
%103 = (neg.f64 %102)
%106 = (neg.f64 %95)
%110 = (*.f64 %101 #s(literal 2 binary64))
%117 = (/.f64 x z)
%120 = (*.f64 %101 #s(literal -1 binary64))
%123 = (*.f64 y x)
%124 = (*.f64 %123 #s(literal 2 binary64))
%125 = (/.f64 #s(literal 1/2 binary64) z)
%126 = (*.f64 %124 %125)
%127 = (*.f64 %63 %95)
%128 = (*.f64 %127 #s(literal 1/2 binary64))
%129 = (*.f64 %117 %37)
%130 = (*.f64 %129 #s(literal 1/2 binary64))
%131 = (/.f64 #s(literal -2 binary64) z)
%132 = (*.f64 %101 %131)
%133 = (*.f64 #s(literal 1/2 binary64) y)
%134 = (*.f64 %132 %133)
%135 = (/.f64 #s(literal 2 binary64) z)
%136 = (*.f64 %101 %135)
%137 = (*.f64 #s(literal -1/2 binary64) y)
%138 = (*.f64 %136 %137)
%139 = (*.f64 %46 %131)
%140 = (*.f64 #s(literal 1/2 binary64) x)
%141 = (*.f64 %139 %140)
%142 = (*.f64 %46 %135)
%143 = (*.f64 #s(literal -1/2 binary64) x)
%144 = (*.f64 %142 %143)
%145 = (*.f64 y %95)
%146 = (*.f64 %145 %125)
%147 = (*.f64 y %131)
%148 = (*.f64 %147 %143)
%149 = (*.f64 y %135)
%150 = (*.f64 %149 %140)
%151 = (*.f64 x %37)
%152 = (*.f64 %151 %125)
%153 = (*.f64 x %131)
%154 = (*.f64 %153 %137)
%155 = (*.f64 x %135)
%156 = (*.f64 %155 %133)
%157 = (/.f64 #s(literal -1/2 binary64) z)
%158 = (*.f64 %157 y)
%159 = (*.f64 %110 %158)
%160 = (*.f64 %157 x)
%161 = (*.f64 %57 %160)
%162 = (*.f64 %125 y)
%163 = (*.f64 %95 %162)
%164 = (*.f64 %125 x)
%165 = (*.f64 %37 %164)
%166 = (*.f64 %101 y)
%167 = (/.f64 #s(literal -1 binary64) z)
%168 = (*.f64 %166 %167)
%169 = (/.f64 z %123)
%170 = (/.f64 #s(literal -1/2 binary64) %169)
%171 = (*.f64 #s(literal -2 binary64) %170)
%172 = (*.f64 %140 %46)
%173 = (*.f64 %131 %172)
%174 = (*.f64 %133 %101)
%175 = (*.f64 %131 %174)
%176 = (*.f64 %137 x)
%177 = (*.f64 %131 %176)
%178 = (*.f64 %143 y)
%179 = (*.f64 %131 %178)
%180 = (/.f64 %140 %27)
%181 = (*.f64 %131 %180)
%182 = (/.f64 %133 %85)
%183 = (*.f64 %131 %182)
%184 = (*.f64 %143 %46)
%185 = (*.f64 %135 %184)
%186 = (*.f64 %137 %101)
%187 = (*.f64 %135 %186)
%188 = (*.f64 %133 x)
%189 = (*.f64 %135 %188)
%190 = (*.f64 %140 y)
%191 = (*.f64 %135 %190)
%192 = (/.f64 %140 %4)
%193 = (*.f64 %135 %192)
%194 = (/.f64 %133 %69)
%195 = (*.f64 %135 %194)
%196 = (/.f64 #s(literal 1 binary64) z)
%197 = (*.f64 %123 %196)
%198 = (/.f64 %101 z)
%199 = (*.f64 %198 %46)
%200 = (*.f64 %167 %166)
%201 = (/.f64 %46 z)
%202 = (*.f64 %201 %101)
%203 = (*.f64 %63 x)
%204 = (*.f64 #s(literal 2 binary64) %203)
%205 = (*.f64 #s(literal 1/2 binary64) %204)
%206 = (/.f64 #s(literal 2 binary64) %169)
%207 = (*.f64 #s(literal 1/2 binary64) %206)
%208 = (*.f64 %160 %46)
%209 = (*.f64 #s(literal 2 binary64) %208)
%210 = (*.f64 %157 %166)
%211 = (*.f64 #s(literal 2 binary64) %210)
%212 = (*.f64 %158 %101)
%213 = (*.f64 #s(literal 2 binary64) %212)
%214 = (*.f64 %125 %123)
%215 = (*.f64 #s(literal 2 binary64) %214)
%216 = (*.f64 %162 x)
%217 = (*.f64 #s(literal 2 binary64) %216)
%218 = (*.f64 %164 y)
%219 = (*.f64 #s(literal 2 binary64) %218)
%220 = (*.f64 #s(literal 1/2 binary64) %203)
%221 = (*.f64 #s(literal 2 binary64) %220)
%222 = (/.f64 %160 %27)
%223 = (*.f64 #s(literal 2 binary64) %222)
%224 = (/.f64 #s(literal 1 binary64) %123)
%225 = (/.f64 %125 %224)
%226 = (*.f64 #s(literal 2 binary64) %225)
%227 = (/.f64 %162 %69)
%228 = (*.f64 #s(literal 2 binary64) %227)
%229 = (/.f64 #s(literal 1/2 binary64) %169)
%230 = (*.f64 #s(literal 2 binary64) %229)
%231 = (*.f64 %196 %123)
%232 = (*.f64 %63 %101)
%233 = (*.f64 #s(literal -1 binary64) %232)
%234 = (*.f64 %117 y)
%235 = (*.f64 %101 %201)
%236 = (*.f64 %46 %198)
%237 = (*.f64 #s(literal 1 binary64) %203)
%238 = (*.f64 %203 #s(literal 1 binary64))
%239 = (*.f64 y %117)
%240 = (*.f64 x %63)
%241 = (*.f64 %87 %27)
%242 = (pow.f64 %241 #s(literal -1 binary64))
%243 = (*.f64 %29 %85)
%244 = (pow.f64 %243 #s(literal -1 binary64))
%245 = (pow.f64 %169 #s(literal -1 binary64))
%246 = (pow.f64 %203 #s(literal 1 binary64))
%247 = (*.f64 %123 #s(literal -1 binary64))
%249 = (/.f64 (neg.f64 %247) z)
%250 = (*.f64 #s(literal -1 binary64) %166)
%252 = (/.f64 (neg.f64 %250) %9)
%253 = (*.f64 #s(literal -1 binary64) %123)
%255 = (/.f64 (neg.f64 %253) z)
%257 = (/.f64 (neg.f64 %204) #s(literal -2 binary64))
%258 = (/.f64 %123 %5)
%260 = (/.f64 (neg.f64 %258) #s(literal -1/2 binary64))
%261 = (*.f64 #s(literal 2 binary64) %166)
%263 = (/.f64 (neg.f64 %261) %45)
%264 = (*.f64 #s(literal 2 binary64) %123)
%266 = (/.f64 (neg.f64 %264) %51)
%267 = (*.f64 #s(literal 2 binary64) %63)
%269 = (*.f64 #s(literal 2 binary64) %69)
%271 = (/.f64 (neg.f64 %267) (neg.f64 %269))
%272 = (*.f64 #s(literal 2 binary64) %198)
%274 = (*.f64 #s(literal 2 binary64) %27)
%276 = (/.f64 (neg.f64 %272) (neg.f64 %274))
%277 = (*.f64 #s(literal 2 binary64) %117)
%279 = (*.f64 #s(literal 2 binary64) %4)
%281 = (/.f64 (neg.f64 %277) (neg.f64 %279))
%282 = (/.f64 %117 #s(literal -2 binary64))
%284 = (/.f64 (neg.f64 %282) %15)
%285 = (/.f64 %117 #s(literal 2 binary64))
%287 = (/.f64 (neg.f64 %285) %13)
%288 = (/.f64 %63 #s(literal -2 binary64))
%290 = (/.f64 (neg.f64 %288) %74)
%291 = (/.f64 %63 #s(literal 2 binary64))
%293 = (/.f64 (neg.f64 %291) %72)
%294 = (*.f64 #s(literal 2 binary64) %201)
%296 = (*.f64 #s(literal 2 binary64) %85)
%298 = (/.f64 (neg.f64 %294) (neg.f64 %296))
%299 = (*.f64 #s(literal 2 binary64) %29)
%301 = (/.f64 %103 (neg.f64 %299))
%302 = (*.f64 #s(literal 2 binary64) %87)
%304 = (/.f64 %48 (neg.f64 %302))
%305 = (/.f64 %247 %9)
%306 = (/.f64 %250 z)
%307 = (/.f64 %253 %9)
%308 = (/.f64 %204 #s(literal 2 binary64))
%309 = (/.f64 %258 #s(literal 1/2 binary64))
%310 = (/.f64 %282 %13)
%311 = (/.f64 %288 %72)
%312 = (/.f64 %291 %74)
%313 = (/.f64 %285 %15)
%314 = (/.f64 %106 %41)
%315 = (/.f64 %52 %99)
%316 = (/.f64 %66 %76)
%317 = (/.f64 %120 %17)
%318 = (/.f64 %261 %44)
%319 = (/.f64 %264 %5)
%320 = (/.f64 %272 %274)
%321 = (/.f64 %294 %296)
%322 = (/.f64 %267 %269)
%323 = (/.f64 %277 %279)
%324 = (/.f64 %95 %18)
%325 = (/.f64 %102 %299)
%326 = (/.f64 %47 %302)
%327 = (/.f64 %37 %77)
%328 = (/.f64 %166 %9)
%329 = (*.f64 #s(literal 2 binary64) %169)
%331 = (/.f64 #s(literal -2 binary64) (neg.f64 %329))
%332 = (/.f64 %9 %123)
%333 = (*.f64 #s(literal 2 binary64) %332)
%334 = (/.f64 #s(literal -2 binary64) %333)
%335 = (*.f64 #s(literal 2 binary64) %224)
%337 = (/.f64 %131 (neg.f64 %335))
%338 = (/.f64 %135 %335)
%339 = (/.f64 %123 z)
%340 = (/.f64 %198 %27)
%342 = (/.f64 %167 (*.f64 %27 %69))
%343 = (neg.f64 %224)
%344 = (/.f64 %167 %343)
%345 = (/.f64 %201 %85)
%347 = (/.f64 #s(literal 2 binary64) (neg.f64 %333))
%348 = (/.f64 #s(literal 2 binary64) %329)
%349 = (/.f64 %232 #s(literal -1 binary64))
%351 = (/.f64 %196 (neg.f64 %343))
%352 = (/.f64 %196 %224)
%354 = (/.f64 #s(literal -1 binary64) (*.f64 %76 %27))
%356 = (/.f64 #s(literal -1 binary64) (*.f64 %17 %85))
%357 = (/.f64 #s(literal -1 binary64) %332)
%358 = (/.f64 %63 %69)
%359 = (/.f64 %117 %4)
%360 = (/.f64 %101 %29)
%361 = (/.f64 %46 %87)
%363 = (/.f64 #s(literal 1 binary64) (/.f64 %27 %198))
%365 = (/.f64 #s(literal 1 binary64) (/.f64 %85 %201))
%367 = (/.f64 #s(literal 1 binary64) (/.f64 %224 %196))
%369 = (/.f64 #s(literal 1 binary64) (/.f64 %332 #s(literal -1 binary64)))
%371 = (/.f64 #s(literal 1 binary64) (/.f64 %169 #s(literal 1 binary64)))
%372 = (/.f64 #s(literal 1 binary64) %241)
%373 = (/.f64 #s(literal 1 binary64) %243)
%375 = (/.f64 #s(literal 1 binary64) (pow.f64 %203 #s(literal -1 binary64)))
%376 = (/.f64 #s(literal 1 binary64) %169)
%378 = (/.f64 #s(literal 1 binary64) (/.f64 %69 %63))
%380 = (/.f64 #s(literal 1 binary64) (/.f64 %4 %117))
%381 = (/.f64 %203 #s(literal 1 binary64))
%382 = (/.f64 y %76)
%383 = (/.f64 x %17)
%384 = (neg.f64 %232)
%386 = (/.f64 #s(literal 0 binary64) %169)
%387 = (fma.f64 %124 %125 %386)
%388 = (fma.f64 %127 #s(literal 1/2 binary64) %386)
%389 = (fma.f64 %129 #s(literal 1/2 binary64) %386)
%390 = (fma.f64 %132 %133 %386)
%391 = (fma.f64 %136 %137 %386)
%392 = (fma.f64 %139 %140 %386)
%393 = (fma.f64 %142 %143 %386)
%394 = (fma.f64 %145 %125 %386)
%395 = (fma.f64 %147 %143 %386)
%396 = (fma.f64 %149 %140 %386)
%397 = (fma.f64 %151 %125 %386)
%398 = (fma.f64 %153 %137 %386)
%399 = (fma.f64 %155 %133 %386)
%400 = (fma.f64 %110 %158 %386)
%401 = (fma.f64 %57 %160 %386)
%402 = (fma.f64 %95 %162 %386)
%403 = (fma.f64 %37 %164 %386)
%404 = (fma.f64 %166 %167 %386)
%405 = (fma.f64 #s(literal -2 binary64) %170 %386)
%406 = (fma.f64 %131 %172 %386)
%407 = (fma.f64 %131 %174 %386)
%408 = (fma.f64 %131 %176 %386)
%409 = (fma.f64 %131 %178 %386)
%410 = (fma.f64 %131 %180 %386)
%411 = (fma.f64 %131 %182 %386)
%412 = (fma.f64 %135 %184 %386)
%413 = (fma.f64 %135 %186 %386)
%414 = (fma.f64 %135 %188 %386)
%415 = (fma.f64 %135 %190 %386)
%416 = (fma.f64 %135 %192 %386)
%417 = (fma.f64 %135 %194 %386)
%418 = (fma.f64 %123 %196 %386)
%419 = (fma.f64 %198 %46 %386)
%420 = (fma.f64 %167 %166 %386)
%421 = (fma.f64 %201 %101 %386)
%422 = (fma.f64 #s(literal 1/2 binary64) %204 %386)
%423 = (fma.f64 #s(literal 1/2 binary64) %206 %386)
%424 = (fma.f64 #s(literal 2 binary64) %208 %386)
%425 = (fma.f64 #s(literal 2 binary64) %210 %386)
%426 = (fma.f64 #s(literal 2 binary64) %212 %386)
%427 = (fma.f64 #s(literal 2 binary64) %214 %386)
%428 = (fma.f64 #s(literal 2 binary64) %216 %386)
%429 = (fma.f64 #s(literal 2 binary64) %218 %386)
%430 = (fma.f64 #s(literal 2 binary64) %220 %386)
%431 = (fma.f64 #s(literal 2 binary64) %222 %386)
%432 = (fma.f64 #s(literal 2 binary64) %225 %386)
%433 = (fma.f64 #s(literal 2 binary64) %227 %386)
%434 = (fma.f64 #s(literal 2 binary64) %229 %386)
%435 = (fma.f64 %196 %123 %386)
%436 = (fma.f64 #s(literal -1 binary64) %232 %386)
%437 = (fma.f64 %63 x %386)
%438 = (fma.f64 %117 y %386)
%439 = (fma.f64 %101 %201 %386)
%440 = (fma.f64 %46 %198 %386)
%441 = (fma.f64 #s(literal 1 binary64) %203 %386)
%442 = (fma.f64 %203 #s(literal 1 binary64) %386)
%443 = (fma.f64 y %117 %386)
%444 = (fma.f64 x %63 %386)
%445 = (+.f64 %229 %229)
%446 = (+.f64 %203 %386)
x
y
z
(*.f64 (*.f64 %4 %5) #s(literal 1/2 binary64))
(*.f64 %11 %13)
(*.f64 %5 %15)
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 #s(literal 2 binary64) (*.f64 %13 %9))
(*.f64 #s(literal 2 binary64) (*.f64 %15 z))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %17))
(*.f64 %27 %9)
(*.f64 #s(literal -1 binary64) %29)
(*.f64 %4 z)
(*.f64 %9 %27)
(*.f64 #s(literal 1 binary64) %17)
(*.f64 %17 #s(literal 1 binary64))
(*.f64 z %4)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 (neg.f64 %38) #s(literal -1/2 binary64))
(/.f64 %41 #s(literal -2 binary64))
(/.f64 %45 %48)
(/.f64 %38 #s(literal 1/2 binary64))
(/.f64 %51 %52)
(/.f64 %18 #s(literal 2 binary64))
(/.f64 %11 (/.f64 #s(literal -2 binary64) %4))
(/.f64 %11 %57)
(/.f64 %44 %47)
(/.f64 %5 %37)
(/.f64 %29 #s(literal -1 binary64))
(/.f64 %9 %46)
(/.f64 #s(literal 1 binary64) %63)
(/.f64 %17 #s(literal 1 binary64))
(/.f64 z %66)
%17
(neg.f64 %29)
(*.f64 (*.f64 %69 %5) #s(literal 1/2 binary64))
(*.f64 %11 %72)
(*.f64 %5 %74)
(*.f64 #s(literal 1/2 binary64) %77)
(*.f64 #s(literal 2 binary64) (*.f64 %72 %9))
(*.f64 #s(literal 2 binary64) (*.f64 %74 z))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %76))
(*.f64 %85 %9)
(*.f64 #s(literal -1 binary64) %87)
(*.f64 %69 z)
(*.f64 %9 %85)
(*.f64 #s(literal 1 binary64) %76)
(*.f64 %76 #s(literal 1 binary64))
(*.f64 z %69)
(pow.f64 %76 #s(literal 1 binary64))
(/.f64 (neg.f64 %96) #s(literal -1/2 binary64))
(/.f64 %99 #s(literal -2 binary64))
(/.f64 %45 %103)
(/.f64 %96 #s(literal 1/2 binary64))
(/.f64 %51 %106)
(/.f64 %11 (/.f64 #s(literal -2 binary64) %69))
(/.f64 %11 %110)
(/.f64 %77 #s(literal 2 binary64))
(/.f64 %44 %102)
(/.f64 %5 %95)
(/.f64 %9 %101)
(/.f64 %87 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) %117)
(/.f64 %76 #s(literal 1 binary64))
(/.f64 z %120)
%76
(neg.f64 %87)
%126
%128
%130
%134
%138
%141
%144
%146
%148
%150
%152
%154
%156
%159
%161
%163
%165
%168
%171
%173
%175
%177
%179
%181
%183
%185
%187
%189
%191
%193
%195
%197
%199
%200
%202
%205
%207
%209
%211
%213
%215
%217
%219
%221
%223
%226
%228
%230
%231
%233
%203
%234
%235
%236
%237
%238
%239
%240
%242
%244
%245
%246
%249
%252
%255
%257
%260
%263
%266
%271
%276
%281
%284
%287
%290
%293
%298
%301
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%331
%334
%337
%338
%339
%340
%342
%344
%345
%347
%348
%349
%351
%352
%354
%356
%357
%358
%359
%360
%361
%363
%365
%367
%369
%371
%372
%373
%375
%376
%378
%380
%381
%382
%383
%384
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
%126
%128
%130
%134
%138
%141
%144
%146
%148
%150
%152
%154
%156
%159
%161
%163
%165
%168
%171
%173
%175
%177
%179
%181
%183
%185
%187
%189
%191
%193
%195
%197
%199
%200
%202
%205
%207
%209
%211
%213
%215
%217
%219
%221
%223
%226
%228
%230
%231
%233
%203
%234
%235
%236
%237
%238
%239
%240
%242
%244
%245
%246
%249
%252
%255
%257
%260
%263
%266
%271
%276
%281
%284
%287
%290
%293
%298
%301
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%331
%334
%337
%338
%339
%340
%342
%344
%345
%347
%348
%349
%351
%352
%354
%356
%357
%358
%359
%360
%361
%363
%365
%367
%369
%371
%372
%373
%375
%376
%378
%380
%381
%382
%383
%384
%387
%388
%389
%390
%391
%392
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%416
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%433
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%445
%446
reconstruct38.0ms (1.8%)
Counts
472 → 129
Compiler
Compiled 472 to 449 computations (4.9% saved)
eval10.0ms (0.5%)
Compiler
Compiled 72 to 160 computations (-122.2% saved)
prune4.0ms (0.2%)
Pruning
8 alts after pruning (1 fresh and 7 done)
PrunedKeptTotal
New71172
Fresh000
Picked022
Done156
Total72880
Accuracy
100.0%
Counts
80 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓90.7%
(/.f64 y (/.f64 z x))
▶90.5%
(/.f64 y (*.f64 z (/.f64 #s(literal 1 binary64) x)))
✓95.9%
(/.f64 x (/.f64 z y))
✓91.0%
(/.f64 #s(literal 1 binary64) (/.f64 z (*.f64 x y)))
✓91.4%
(*.f64 y (/.f64 x z))
✓95.8%
(*.f64 x (/.f64 y z))
✓74.9%
(*.f64 t (*.f64 (/.f64 y (*.f64 t z)) x))
✓91.8%
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Compiler
Compiled 8 to 24 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series17.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01841
Stop Event
1×iter-limit
Counts
7 → 7
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal 1 binary64) x)
%5 = (*.f64 z %4)
x
y
z
#s(literal 1 binary64)
%4
%5
(/.f64 y %5)
Outputs
%5 = (/ 1 x)
%10 = (* z %5)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (/.f64 #s(literal 1 binary64) x))
(approx %10 (/.f64 z x))
(approx (/ y %10) (/.f64 (*.f64 x y) z))
(approx y y)
(approx z z)
Calls
12 calls:
TimeVariablePoint
3.0ms
x
inf
3.0ms
x
0
2.0ms
z
0
2.0ms
z
inf
2.0ms
z
-inf
rewrite181.0ms (8.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0719
01015
14415
216815
390215
0438715
0479915
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 548
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal 1 binary64) x)
%5 = (*.f64 z %4)
x
y
z
#s(literal 1 binary64)
%4
%5
(/.f64 y %5)
Outputs
%5 = (/.f64 #s(literal 2 binary64) x)
%8 = (/.f64 #s(literal 1/2 binary64) x)
%12 = (/.f64 #s(literal -1/2 binary64) x)
%14 = (/.f64 #s(literal -2 binary64) x)
%17 = (/.f64 #s(literal -1 binary64) x)
%22 = (/.f64 #s(literal 1 binary64) x)
%27 = (neg.f64 x)
%35 = (*.f64 #s(literal -2 binary64) x)
%38 = (*.f64 %35 x)
%40 = (+.f64 x x)
%43 = (*.f64 %40 x)
%47 = (*.f64 %27 x)
%57 = (*.f64 %27 %27)
%61 = (*.f64 x %27)
%65 = (*.f64 x x)
%92 = (*.f64 #s(literal 1/2 binary64) %8)
%94 = (*.f64 %12 #s(literal -1 binary64))
%96 = (/.f64 #s(literal 0 binary64) x)
%97 = (*.f64 %96 #s(literal -1 binary64))
%99 = (*.f64 %96 #s(literal 1 binary64))
%101 = (*.f64 #s(literal 0 binary64) %8)
%103 = (*.f64 #s(literal 0 binary64) %5)
%105 = (/.f64 #s(literal 0 binary64) %40)
%140 = (*.f64 #s(literal 3/2 binary64) %8)
%180 = (/.f64 #s(literal -1 binary64) %35)
%182 = (/.f64 #s(literal 3/2 binary64) %40)
%183 = (/.f64 #s(literal 1/2 binary64) %40)
%195 = (+.f64 z z)
%196 = (*.f64 %22 %195)
%198 = (*.f64 %17 %195)
%200 = (*.f64 #s(literal -2 binary64) z)
%202 = (/.f64 z x)
%203 = (*.f64 #s(literal 2 binary64) %202)
%206 = (neg.f64 z)
%207 = (*.f64 %8 %206)
%212 = (*.f64 %8 z)
%214 = (*.f64 #s(literal 1/2 binary64) %202)
%216 = (/.f64 z %27)
%232 = (/.f64 x z)
%235 = (*.f64 z #s(literal 0 binary64))
%236 = (*.f64 %235 %22)
%238 = (*.f64 #s(literal 0 binary64) z)
%239 = (*.f64 %238 %22)
%241 = (*.f64 %96 %206)
%243 = (*.f64 %96 z)
%245 = (*.f64 #s(literal 0 binary64) %202)
%247 = (/.f64 %235 x)
%249 = (/.f64 %238 x)
%258 = (*.f64 z #s(literal 1/2 binary64))
%259 = (*.f64 %258 %22)
%261 = (*.f64 #s(literal 1/2 binary64) z)
%262 = (*.f64 %261 %22)
%271 = (*.f64 %12 %206)
%309 = (*.f64 #s(literal 0 binary64) %196)
%382 = (/.f64 z %40)
%384 = (/.f64 %258 x)
%386 = (/.f64 %261 x)
%397 = (*.f64 y %40)
%398 = (/.f64 #s(literal 1/2 binary64) z)
%400 = (/.f64 #s(literal 2 binary64) z)
%401 = (*.f64 y %400)
%402 = (*.f64 #s(literal 1/2 binary64) x)
%404 = (+.f64 y y)
%405 = (*.f64 %398 x)
%407 = (*.f64 x y)
%408 = (/.f64 #s(literal 1 binary64) z)
%410 = (*.f64 y x)
%411 = (/.f64 %410 %195)
%413 = (/.f64 y z)
%414 = (*.f64 %413 #s(literal 1/2 binary64))
%416 = (*.f64 y #s(literal 1/2 binary64))
%417 = (*.f64 #s(literal 2 binary64) %232)
%419 = (neg.f64 y)
%420 = (*.f64 %419 x)
%421 = (/.f64 #s(literal -1 binary64) z)
%424 = (/.f64 %27 z)
%425 = (*.f64 %424 y)
%429 = (*.f64 %398 y)
%431 = (*.f64 %402 y)
%433 = (/.f64 %419 z)
%435 = (*.f64 %413 x)
%436 = (*.f64 %405 y)
%489 = (*.f64 (-.f64 x x) %413)
%491 = (*.f64 y #s(literal 0 binary64))
%492 = (*.f64 %491 %232)
%494 = (*.f64 #s(literal 0 binary64) y)
%495 = (*.f64 %494 %232)
%497 = (*.f64 #s(literal 0 binary64) %232)
%498 = (*.f64 %497 %419)
%500 = (*.f64 %497 y)
%502 = (/.f64 %491 %202)
%504 = (/.f64 %494 %202)
%548 = (*.f64 %416 %232)
%550 = (*.f64 #s(literal 1/2 binary64) y)
%551 = (*.f64 %550 %232)
%560 = (/.f64 #s(literal -1/2 binary64) %202)
%561 = (*.f64 %560 %419)
%593 = (*.f64 (/.f64 #s(literal 0 binary64) z) %410)
%595 = (*.f64 %398 %410)
%604 = (*.f64 %402 %413)
%690 = (/.f64 %416 %202)
%692 = (/.f64 %550 %202)
x
y
z
#s(literal 1 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %12)
(*.f64 #s(literal -1/2 binary64) %14)
(*.f64 %17 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %5)
(*.f64 #s(literal 2 binary64) %8)
(*.f64 #s(literal -1 binary64) %17)
(*.f64 %22 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %22)
(pow.f64 %22 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 (fma.f64 %8 %27 #s(literal -1/2 binary64)) %27)
(/.f64 (fma.f64 %8 x #s(literal 1/2 binary64)) x)
(/.f64 (fma.f64 %22 x #s(literal 0 binary64)) x)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 0 binary64) %35)) %38)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 0 binary64) %40)) %43)
(/.f64 (+.f64 %27 (*.f64 #s(literal 0 binary64) %27)) %47)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 %27 #s(literal 1/2 binary64))) %47)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %35 #s(literal 0 binary64))) %38)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %27 #s(literal -1/2 binary64))) %57)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 x #s(literal -1/2 binary64))) %61)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 x #s(literal 1/2 binary64))) %65)
(/.f64 (fma.f64 %5 x #s(literal 0 binary64)) %40)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %40 #s(literal 0 binary64))) %43)
(/.f64 (+.f64 %27 (*.f64 %27 #s(literal 0 binary64))) %47)
(/.f64 (+.f64 x (*.f64 x #s(literal 0 binary64))) %65)
(/.f64 %14 #s(literal -2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %8 #s(literal 1/2 binary64))
(/.f64 #s(literal -2 binary64) %35)
(/.f64 %17 #s(literal -1 binary64))
(/.f64 #s(literal 2 binary64) %40)
(/.f64 %27 %61)
(/.f64 %27 %47)
(/.f64 #s(literal -1 binary64) %27)
(/.f64 %22 #s(literal 1 binary64))
%22
(/.f64 x %57)
(/.f64 x %65)
(neg.f64 %17)
(fma.f64 #s(literal 3/2 binary64) %8 %92)
(fma.f64 %12 #s(literal -1 binary64) %94)
(fma.f64 %5 #s(literal 1/2 binary64) %97)
(fma.f64 %5 #s(literal 1/2 binary64) %99)
(fma.f64 %5 #s(literal 1/2 binary64) %101)
(fma.f64 %5 #s(literal 1/2 binary64) %103)
(fma.f64 %5 #s(literal 1/2 binary64) %105)
(fma.f64 %5 #s(literal 1/2 binary64) %96)
(fma.f64 %8 #s(literal 2 binary64) %97)
(fma.f64 %8 #s(literal 2 binary64) %99)
(fma.f64 %8 #s(literal 2 binary64) %101)
(fma.f64 %8 #s(literal 2 binary64) %103)
(fma.f64 %8 #s(literal 2 binary64) %105)
(fma.f64 %8 #s(literal 2 binary64) %96)
(fma.f64 %8 #s(literal 1 binary64) %8)
(fma.f64 #s(literal -2 binary64) %12 %97)
(fma.f64 #s(literal -2 binary64) %12 %99)
(fma.f64 #s(literal -2 binary64) %12 %101)
(fma.f64 #s(literal -2 binary64) %12 %103)
(fma.f64 #s(literal -2 binary64) %12 %105)
(fma.f64 #s(literal -2 binary64) %12 %96)
(fma.f64 #s(literal -1/2 binary64) %14 %97)
(fma.f64 #s(literal -1/2 binary64) %14 %99)
(fma.f64 #s(literal -1/2 binary64) %14 %101)
(fma.f64 #s(literal -1/2 binary64) %14 %103)
(fma.f64 #s(literal -1/2 binary64) %14 %105)
(fma.f64 #s(literal -1/2 binary64) %14 %96)
(fma.f64 #s(literal -1/2 binary64) %17 %8)
(fma.f64 %17 #s(literal -1 binary64) %97)
(fma.f64 %17 #s(literal -1 binary64) %99)
(fma.f64 %17 #s(literal -1 binary64) %101)
(fma.f64 %17 #s(literal -1 binary64) %103)
(fma.f64 %17 #s(literal -1 binary64) %105)
(fma.f64 %17 #s(literal -1 binary64) %96)
(fma.f64 #s(literal 1/2 binary64) %5 %97)
(fma.f64 #s(literal 1/2 binary64) %5 %99)
(fma.f64 #s(literal 1/2 binary64) %5 %101)
(fma.f64 #s(literal 1/2 binary64) %5 %103)
(fma.f64 #s(literal 1/2 binary64) %5 %105)
(fma.f64 #s(literal 1/2 binary64) %5 %96)
(fma.f64 #s(literal 1/2 binary64) %8 %140)
(fma.f64 #s(literal 1/2 binary64) %22 %8)
(fma.f64 #s(literal 2 binary64) %8 %97)
(fma.f64 #s(literal 2 binary64) %8 %99)
(fma.f64 #s(literal 2 binary64) %8 %101)
(fma.f64 #s(literal 2 binary64) %8 %103)
(fma.f64 #s(literal 2 binary64) %8 %105)
(fma.f64 #s(literal 2 binary64) %8 %96)
(fma.f64 #s(literal -1 binary64) %17 %97)
(fma.f64 #s(literal -1 binary64) %17 %99)
(fma.f64 #s(literal -1 binary64) %17 %101)
(fma.f64 #s(literal -1 binary64) %17 %103)
(fma.f64 #s(literal -1 binary64) %17 %105)
(fma.f64 #s(literal -1 binary64) %17 %96)
(fma.f64 #s(literal 0 binary64) %17 %22)
(fma.f64 #s(literal 0 binary64) %22 %22)
(fma.f64 %22 #s(literal 1/2 binary64) %8)
(fma.f64 %22 #s(literal 0 binary64) %22)
(fma.f64 %22 #s(literal 1 binary64) %97)
(fma.f64 %22 #s(literal 1 binary64) %99)
(fma.f64 %22 #s(literal 1 binary64) %101)
(fma.f64 %22 #s(literal 1 binary64) %103)
(fma.f64 %22 #s(literal 1 binary64) %105)
(fma.f64 %22 #s(literal 1 binary64) %96)
(fma.f64 #s(literal 1 binary64) %8 %8)
(fma.f64 #s(literal 1 binary64) %22 %97)
(fma.f64 #s(literal 1 binary64) %22 %99)
(fma.f64 #s(literal 1 binary64) %22 %101)
(fma.f64 #s(literal 1 binary64) %22 %103)
(fma.f64 #s(literal 1 binary64) %22 %105)
(fma.f64 #s(literal 1 binary64) %22 %96)
(-.f64 %8 (/.f64 #s(literal -1 binary64) %40))
(-.f64 %8 %12)
(-.f64 %22 (*.f64 %17 #s(literal 0 binary64)))
(-.f64 %22 %96)
(+.f64 %140 %92)
(+.f64 %94 %94)
(+.f64 %180 %180)
(+.f64 %182 %183)
(+.f64 %183 %182)
(+.f64 %92 %140)
(+.f64 %96 %22)
(+.f64 %8 %8)
(+.f64 %22 %97)
(+.f64 %22 %99)
(+.f64 %22 %101)
(+.f64 %22 %103)
(+.f64 %22 %105)
(+.f64 %22 %96)
(*.f64 %196 #s(literal 1/2 binary64))
(*.f64 %198 #s(literal -1/2 binary64))
(*.f64 %200 %12)
(*.f64 %203 #s(literal 1/2 binary64))
(*.f64 %195 %8)
(*.f64 #s(literal -2 binary64) %207)
(*.f64 %17 %206)
(*.f64 %206 %17)
(*.f64 #s(literal 1/2 binary64) %203)
(*.f64 #s(literal 2 binary64) %212)
(*.f64 #s(literal 2 binary64) %214)
(*.f64 %216 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %216)
(*.f64 %202 #s(literal 1 binary64))
(*.f64 %22 z)
(*.f64 #s(literal 1 binary64) %202)
(*.f64 z %22)
(pow.f64 %202 #s(literal 1 binary64))
(/.f64 %196 #s(literal 2 binary64))
(/.f64 %200 %35)
(/.f64 (*.f64 #s(literal 2 binary64) %216) #s(literal -2 binary64))
(/.f64 %203 #s(literal 2 binary64))
(/.f64 %195 %40)
(/.f64 %206 %27)
(/.f64 %202 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %232)
%202
(neg.f64 %216)
(fma.f64 %196 #s(literal 1/2 binary64) %236)
(fma.f64 %196 #s(literal 1/2 binary64) %239)
(fma.f64 %196 #s(literal 1/2 binary64) %241)
(fma.f64 %196 #s(literal 1/2 binary64) %243)
(fma.f64 %196 #s(literal 1/2 binary64) %245)
(fma.f64 %196 #s(literal 1/2 binary64) %247)
(fma.f64 %196 #s(literal 1/2 binary64) %249)
(fma.f64 %198 #s(literal -1/2 binary64) %236)
(fma.f64 %198 #s(literal -1/2 binary64) %239)
(fma.f64 %198 #s(literal -1/2 binary64) %241)
(fma.f64 %198 #s(literal -1/2 binary64) %243)
(fma.f64 %198 #s(literal -1/2 binary64) %245)
(fma.f64 %198 #s(literal -1/2 binary64) %247)
(fma.f64 %198 #s(literal -1/2 binary64) %249)
(fma.f64 %258 %22 %259)
(fma.f64 %261 %22 %262)
(fma.f64 %200 %12 %236)
(fma.f64 %200 %12 %239)
(fma.f64 %200 %12 %241)
(fma.f64 %200 %12 %243)
(fma.f64 %200 %12 %245)
(fma.f64 %200 %12 %247)
(fma.f64 %200 %12 %249)
(fma.f64 %12 %206 %271)
(fma.f64 %203 #s(literal 1/2 binary64) %236)
(fma.f64 %203 #s(literal 1/2 binary64) %239)
(fma.f64 %203 #s(literal 1/2 binary64) %241)
(fma.f64 %203 #s(literal 1/2 binary64) %243)
(fma.f64 %203 #s(literal 1/2 binary64) %245)
(fma.f64 %203 #s(literal 1/2 binary64) %247)
(fma.f64 %203 #s(literal 1/2 binary64) %249)
(fma.f64 %195 %8 %236)
(fma.f64 %195 %8 %239)
(fma.f64 %195 %8 %241)
(fma.f64 %195 %8 %243)
(fma.f64 %195 %8 %245)
(fma.f64 %195 %8 %247)
(fma.f64 %195 %8 %249)
(fma.f64 %8 z %212)
(fma.f64 #s(literal -2 binary64) %207 %236)
(fma.f64 #s(literal -2 binary64) %207 %239)
(fma.f64 #s(literal -2 binary64) %207 %241)
(fma.f64 #s(literal -2 binary64) %207 %243)
(fma.f64 #s(literal -2 binary64) %207 %245)
(fma.f64 #s(literal -2 binary64) %207 %247)
(fma.f64 #s(literal -2 binary64) %207 %249)
(fma.f64 %17 %206 %236)
(fma.f64 %17 %206 %239)
(fma.f64 %17 %206 %241)
(fma.f64 %17 %206 %243)
(fma.f64 %17 %206 %245)
(fma.f64 %17 %206 %247)
(fma.f64 %17 %206 %249)
(fma.f64 %206 %17 %236)
(fma.f64 %206 %17 %239)
(fma.f64 %206 %17 %241)
(fma.f64 %206 %17 %243)
(fma.f64 %206 %17 %245)
(fma.f64 %206 %17 %247)
(fma.f64 %206 %17 %249)
(fma.f64 #s(literal 1/2 binary64) %196 %309)
(fma.f64 #s(literal 1/2 binary64) %203 %236)
(fma.f64 #s(literal 1/2 binary64) %203 %239)
(fma.f64 #s(literal 1/2 binary64) %203 %241)
(fma.f64 #s(literal 1/2 binary64) %203 %243)
(fma.f64 #s(literal 1/2 binary64) %203 %245)
(fma.f64 #s(literal 1/2 binary64) %203 %247)
(fma.f64 #s(literal 1/2 binary64) %203 %249)
(fma.f64 #s(literal 1/2 binary64) %202 %214)
(fma.f64 #s(literal 2 binary64) %212 %236)
(fma.f64 #s(literal 2 binary64) %212 %239)
(fma.f64 #s(literal 2 binary64) %212 %241)
(fma.f64 #s(literal 2 binary64) %212 %243)
(fma.f64 #s(literal 2 binary64) %212 %245)
(fma.f64 #s(literal 2 binary64) %212 %247)
(fma.f64 #s(literal 2 binary64) %212 %249)
(fma.f64 #s(literal 2 binary64) %214 %236)
(fma.f64 #s(literal 2 binary64) %214 %239)
(fma.f64 #s(literal 2 binary64) %214 %241)
(fma.f64 #s(literal 2 binary64) %214 %243)
(fma.f64 #s(literal 2 binary64) %214 %245)
(fma.f64 #s(literal 2 binary64) %214 %247)
(fma.f64 #s(literal 2 binary64) %214 %249)
(fma.f64 %216 #s(literal -1 binary64) %236)
(fma.f64 %216 #s(literal -1 binary64) %239)
(fma.f64 %216 #s(literal -1 binary64) %241)
(fma.f64 %216 #s(literal -1 binary64) %243)
(fma.f64 %216 #s(literal -1 binary64) %245)
(fma.f64 %216 #s(literal -1 binary64) %247)
(fma.f64 %216 #s(literal -1 binary64) %249)
(fma.f64 #s(literal -1 binary64) %216 %236)
(fma.f64 #s(literal -1 binary64) %216 %239)
(fma.f64 #s(literal -1 binary64) %216 %241)
(fma.f64 #s(literal -1 binary64) %216 %243)
(fma.f64 #s(literal -1 binary64) %216 %245)
(fma.f64 #s(literal -1 binary64) %216 %247)
(fma.f64 #s(literal -1 binary64) %216 %249)
(fma.f64 #s(literal 0 binary64) %202 %202)
(fma.f64 %202 #s(literal 1 binary64) %236)
(fma.f64 %202 #s(literal 1 binary64) %239)
(fma.f64 %202 #s(literal 1 binary64) %241)
(fma.f64 %202 #s(literal 1 binary64) %243)
(fma.f64 %202 #s(literal 1 binary64) %245)
(fma.f64 %202 #s(literal 1 binary64) %247)
(fma.f64 %202 #s(literal 1 binary64) %249)
(fma.f64 %22 z %236)
(fma.f64 %22 z %239)
(fma.f64 %22 z %241)
(fma.f64 %22 z %243)
(fma.f64 %22 z %245)
(fma.f64 %22 z %247)
(fma.f64 %22 z %249)
(fma.f64 #s(literal 1 binary64) %202 %236)
(fma.f64 #s(literal 1 binary64) %202 %239)
(fma.f64 #s(literal 1 binary64) %202 %241)
(fma.f64 #s(literal 1 binary64) %202 %243)
(fma.f64 #s(literal 1 binary64) %202 %245)
(fma.f64 #s(literal 1 binary64) %202 %247)
(fma.f64 #s(literal 1 binary64) %202 %249)
(fma.f64 z %22 %236)
(fma.f64 z %22 %239)
(fma.f64 z %22 %241)
(fma.f64 z %22 %243)
(fma.f64 z %22 %245)
(fma.f64 z %22 %247)
(fma.f64 z %22 %249)
(+.f64 (*.f64 #s(literal 1/2 binary64) %196) %309)
(+.f64 %259 %259)
(+.f64 %262 %262)
(+.f64 %271 %271)
(+.f64 %245 %202)
(+.f64 %382 %382)
(+.f64 %384 %384)
(+.f64 %386 %386)
(+.f64 %212 %212)
(+.f64 %214 %214)
(+.f64 %202 %236)
(+.f64 %202 %239)
(+.f64 %202 %241)
(+.f64 %202 %243)
(+.f64 %202 %245)
(+.f64 %202 %247)
(+.f64 %202 %249)
(*.f64 %397 %398)
(*.f64 %401 %402)
(*.f64 %404 %405)
(*.f64 %407 %408)
(*.f64 %411 #s(literal 2 binary64))
(*.f64 %414 %40)
(*.f64 %416 %417)
(*.f64 %420 %421)
(*.f64 %410 %408)
(*.f64 %425 #s(literal -1 binary64))
(*.f64 %424 %419)
(*.f64 %408 %407)
(*.f64 %40 %429)
(*.f64 %400 %431)
(*.f64 %433 %27)
%435
(*.f64 #s(literal 2 binary64) %436)
(*.f64 %232 y)
(*.f64 %419 %424)
(*.f64 %27 %433)
(*.f64 %435 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %435)
(*.f64 y %232)
(*.f64 x %413)
(pow.f64 %435 #s(literal 1 binary64))
(/.f64 (neg.f64 %407) %206)
(/.f64 (neg.f64 %411) #s(literal -1/2 binary64))
(/.f64 %407 z)
(/.f64 (*.f64 %413 #s(literal -1/2 binary64)) %12)
(/.f64 %411 #s(literal 1/2 binary64))
(/.f64 %414 %8)
(/.f64 %420 %206)
(/.f64 %410 z)
(/.f64 %425 #s(literal -1 binary64))
(/.f64 %433 %17)
(/.f64 %413 %22)
(/.f64 %419 %216)
(/.f64 %435 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 z %407))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %411))
(/.f64 #s(literal 1 binary64) (/.f64 %206 %420))
(/.f64 #s(literal 1 binary64) (/.f64 %8 %414))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %425))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %435))
(/.f64 #s(literal 1 binary64) (/.f64 z %410))
(/.f64 #s(literal 1 binary64) (/.f64 %17 %433))
(/.f64 #s(literal 1 binary64) (pow.f64 %435 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %22 %413))
(/.f64 #s(literal 1 binary64) (/.f64 %216 %419))
(/.f64 #s(literal 1 binary64) (/.f64 %202 y))
(/.f64 y %202)
(neg.f64 %425)
(fma.f64 %397 %398 %489)
(fma.f64 %397 %398 %492)
(fma.f64 %397 %398 %495)
(fma.f64 %397 %398 %498)
(fma.f64 %397 %398 %500)
(fma.f64 %397 %398 %502)
(fma.f64 %397 %398 %504)
(fma.f64 %401 %402 %489)
(fma.f64 %401 %402 %492)
(fma.f64 %401 %402 %495)
(fma.f64 %401 %402 %498)
(fma.f64 %401 %402 %500)
(fma.f64 %401 %402 %502)
(fma.f64 %401 %402 %504)
(fma.f64 %404 %405 %489)
(fma.f64 %404 %405 %492)
(fma.f64 %404 %405 %495)
(fma.f64 %404 %405 %498)
(fma.f64 %404 %405 %500)
(fma.f64 %404 %405 %502)
(fma.f64 %404 %405 %504)
(fma.f64 %407 %408 %489)
(fma.f64 %407 %408 %492)
(fma.f64 %407 %408 %495)
(fma.f64 %407 %408 %498)
(fma.f64 %407 %408 %500)
(fma.f64 %407 %408 %502)
(fma.f64 %407 %408 %504)
(fma.f64 %411 #s(literal 2 binary64) %489)
(fma.f64 %411 #s(literal 2 binary64) %492)
(fma.f64 %411 #s(literal 2 binary64) %495)
(fma.f64 %411 #s(literal 2 binary64) %498)
(fma.f64 %411 #s(literal 2 binary64) %500)
(fma.f64 %411 #s(literal 2 binary64) %502)
(fma.f64 %411 #s(literal 2 binary64) %504)
(fma.f64 %414 %40 %489)
(fma.f64 %414 %40 %492)
(fma.f64 %414 %40 %495)
(fma.f64 %414 %40 %498)
(fma.f64 %414 %40 %500)
(fma.f64 %414 %40 %502)
(fma.f64 %414 %40 %504)
(fma.f64 %416 %417 %489)
(fma.f64 %416 %417 %492)
(fma.f64 %416 %417 %495)
(fma.f64 %416 %417 %498)
(fma.f64 %416 %417 %500)
(fma.f64 %416 %417 %502)
(fma.f64 %416 %417 %504)
(fma.f64 %416 %232 %548)
(fma.f64 %550 %232 %551)
(fma.f64 %420 %421 %489)
(fma.f64 %420 %421 %492)
(fma.f64 %420 %421 %495)
(fma.f64 %420 %421 %498)
(fma.f64 %420 %421 %500)
(fma.f64 %420 %421 %502)
(fma.f64 %420 %421 %504)
(fma.f64 %560 %419 %561)
(fma.f64 %410 %408 %489)
(fma.f64 %410 %408 %492)
(fma.f64 %410 %408 %495)
(fma.f64 %410 %408 %498)
(fma.f64 %410 %408 %500)
(fma.f64 %410 %408 %502)
(fma.f64 %410 %408 %504)
(fma.f64 %405 y %436)
(fma.f64 %425 #s(literal -1 binary64) %489)
(fma.f64 %425 #s(literal -1 binary64) %492)
(fma.f64 %425 #s(literal -1 binary64) %495)
(fma.f64 %425 #s(literal -1 binary64) %498)
(fma.f64 %425 #s(literal -1 binary64) %500)
(fma.f64 %425 #s(literal -1 binary64) %502)
(fma.f64 %425 #s(literal -1 binary64) %504)
(fma.f64 %424 %419 %489)
(fma.f64 %424 %419 %492)
(fma.f64 %424 %419 %495)
(fma.f64 %424 %419 %498)
(fma.f64 %424 %419 %500)
(fma.f64 %424 %419 %502)
(fma.f64 %424 %419 %504)
(fma.f64 %408 %407 %489)
(fma.f64 %408 %407 %492)
(fma.f64 %408 %407 %495)
(fma.f64 %408 %407 %498)
(fma.f64 %408 %407 %500)
(fma.f64 %408 %407 %502)
(fma.f64 %408 %407 %504)
(fma.f64 %408 %410 %593)
(fma.f64 %398 %410 %595)
(fma.f64 %40 %429 %489)
(fma.f64 %40 %429 %492)
(fma.f64 %40 %429 %495)
(fma.f64 %40 %429 %498)
(fma.f64 %40 %429 %500)
(fma.f64 %40 %429 %502)
(fma.f64 %40 %429 %504)
(fma.f64 %402 %413 %604)
(fma.f64 %400 %431 %489)
(fma.f64 %400 %431 %492)
(fma.f64 %400 %431 %495)
(fma.f64 %400 %431 %498)
(fma.f64 %400 %431 %500)
(fma.f64 %400 %431 %502)
(fma.f64 %400 %431 %504)
(fma.f64 %433 %27 %489)
(fma.f64 %433 %27 %492)
(fma.f64 %433 %27 %495)
(fma.f64 %433 %27 %498)
(fma.f64 %433 %27 %500)
(fma.f64 %433 %27 %502)
(fma.f64 %433 %27 %504)
(fma.f64 %413 x %489)
(fma.f64 %413 x %492)
(fma.f64 %413 x %495)
(fma.f64 %413 x %498)
(fma.f64 %413 x %500)
(fma.f64 %413 x %502)
(fma.f64 %413 x %504)
(fma.f64 #s(literal 2 binary64) %436 %489)
(fma.f64 #s(literal 2 binary64) %436 %492)
(fma.f64 #s(literal 2 binary64) %436 %495)
(fma.f64 #s(literal 2 binary64) %436 %498)
(fma.f64 #s(literal 2 binary64) %436 %500)
(fma.f64 #s(literal 2 binary64) %436 %502)
(fma.f64 #s(literal 2 binary64) %436 %504)
(fma.f64 %232 y %489)
(fma.f64 %232 y %492)
(fma.f64 %232 y %495)
(fma.f64 %232 y %498)
(fma.f64 %232 y %500)
(fma.f64 %232 y %502)
(fma.f64 %232 y %504)
(fma.f64 %419 %424 %489)
(fma.f64 %419 %424 %492)
(fma.f64 %419 %424 %495)
(fma.f64 %419 %424 %498)
(fma.f64 %419 %424 %500)
(fma.f64 %419 %424 %502)
(fma.f64 %419 %424 %504)
(fma.f64 %27 %433 %489)
(fma.f64 %27 %433 %492)
(fma.f64 %27 %433 %495)
(fma.f64 %27 %433 %498)
(fma.f64 %27 %433 %500)
(fma.f64 %27 %433 %502)
(fma.f64 %27 %433 %504)
(fma.f64 %435 #s(literal 1 binary64) %489)
(fma.f64 %435 #s(literal 1 binary64) %492)
(fma.f64 %435 #s(literal 1 binary64) %495)
(fma.f64 %435 #s(literal 1 binary64) %498)
(fma.f64 %435 #s(literal 1 binary64) %500)
(fma.f64 %435 #s(literal 1 binary64) %502)
(fma.f64 %435 #s(literal 1 binary64) %504)
(fma.f64 #s(literal 1 binary64) %435 %489)
(fma.f64 #s(literal 1 binary64) %435 %492)
(fma.f64 #s(literal 1 binary64) %435 %495)
(fma.f64 #s(literal 1 binary64) %435 %498)
(fma.f64 #s(literal 1 binary64) %435 %500)
(fma.f64 #s(literal 1 binary64) %435 %502)
(fma.f64 #s(literal 1 binary64) %435 %504)
(fma.f64 y %232 %489)
(fma.f64 y %232 %492)
(fma.f64 y %232 %495)
(fma.f64 y %232 %498)
(fma.f64 y %232 %500)
(fma.f64 y %232 %502)
(fma.f64 y %232 %504)
(fma.f64 x %413 %489)
(fma.f64 x %413 %492)
(fma.f64 x %413 %495)
(fma.f64 x %413 %498)
(fma.f64 x %413 %500)
(fma.f64 x %413 %502)
(fma.f64 x %413 %504)
(+.f64 (*.f64 %408 %410) %593)
(+.f64 %595 %595)
(+.f64 %604 %604)
(+.f64 %548 %548)
(+.f64 %551 %551)
(+.f64 %561 %561)
(+.f64 %690 %690)
(+.f64 %692 %692)
(+.f64 %436 %436)
(+.f64 %435 %489)
(+.f64 %435 %492)
(+.f64 %435 %495)
(+.f64 %435 %498)
(+.f64 %435 %500)
(+.f64 %435 %502)
(+.f64 %435 %504)
reconstruct44.0ms (2.1%)
Counts
555 → 61
Compiler
Compiled 555 to 702 computations (-26.5% saved)
eval4.0ms (0.2%)
Compiler
Compiled 57 to 139 computations (-143.9% saved)
prune2.0ms (0.1%)
Pruning
8 alts after pruning (0 fresh and 8 done)
PrunedKeptTotal
New57057
Fresh000
Picked011
Done077
Total57865
Accuracy
100.0%
Counts
65 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓90.7%
(/.f64 y (/.f64 z x))
✓90.5%
(/.f64 y (*.f64 z (/.f64 #s(literal 1 binary64) x)))
✓95.9%
(/.f64 x (/.f64 z y))
✓91.0%
(/.f64 #s(literal 1 binary64) (/.f64 z (*.f64 x y)))
✓91.4%
(*.f64 y (/.f64 x z))
✓95.8%
(*.f64 x (/.f64 y z))
✓74.9%
(*.f64 t (*.f64 (/.f64 y (*.f64 t z)) x))
✓91.8%
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Compiler
Compiled 8 to 24 computations (-200.0% saved)
regimes44.0ms (2.1%)
Accuracy
Total 0.2b remaining (3.5%)
Threshold costs 0.2b (3.5%)
0.1b95.3%
0.1b97.3%
-0.0b-0.0%
Counts
1 → 1
2 → 2
5 → 2
Calls
Call 1
Inputs
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Outputs
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Call 2
Inputs
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
(*.f64 x (/.f64 y z))
Outputs
(*.f64 x (/.f64 y z))
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
Call 3
Inputs
(approx (* x (/ (* (/ y z) t) t)) (/.f64 (*.f64 x y) z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(/.f64 x (/.f64 z y))
(/.f64 y (/.f64 z x))
Outputs
(*.f64 x (/.f64 y z))
(/.f64 y (/.f64 z x))
Calls
7 calls:
7.0ms
(/.f64 (*.f64 (/.f64 y z) t) t)
7.0ms
y
6.0ms
z
6.0ms
t
6.0ms
x
Results
AccuracySegmentsBranch
91.8%1
t
91.8%1
z
91.8%1
y
91.8%1
x
91.8%1
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
91.8%1
(/.f64 (*.f64 (/.f64 y z) t) t)
91.8%1
(/.f64 y z)
Compiler
Compiled 19 to 45 computations (-136.8% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.961122727955186e+265
1.1242029652497353e+270
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.961122727955186e+265
1.1242029652497353e+270
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations43.0ms (2.1%)
Stop Event
1×done
Compiler
Compiled 3 to 13 computations (-333.3% saved)
preprocess50.0ms (2.4%)
Compiler
Compiled 50 to 448 computations (-796.0% saved)
end0.0ms (0.0%)
gc471ms (22.5%)
Allocations
AllocatedPercentPhase
650.8 MiB25.0%sample
618.0 MiB23.7%reconstruct
447.3 MiB17.2%rewrite
255.3 MiB9.8%preprocess
195.4 MiB7.5%series
138.5 MiB5.3%analyze
105.3 MiB4.0%eval
82.3 MiB3.2%regimes
67.9 MiB2.6%derivations
45.1 MiB1.7%prune
1.4 MiB0.1%bsearch
0.1 MiB0.0%start
0.0 MiB0.0%end
2 607.3 MiB100.0%total
Profiling
Loading profile data...