Linear.Quaternion:$c/ from linear-1.19.1.3, B

Time bar (total: 763.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample365.0ms (47.8%)

Samples
175.0ms5 728×0valid
67.0ms2 452×1valid
2.0ms76×2valid
Precisions
Click to see histograms. Total time spent on operations: 19.0ms
Mul: 8.0ms (42.1% of total, 0.0 MiB)
Sub: 5.0ms (26.3% of total, 0.0 MiB)
Add: 3.0ms (15.8% of total, 0.0 MiB)
adjust: 2.0ms (10.5% of total, 0.0 MiB)
Bogosity

preprocess22.0ms (2.9%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
043156
126474
2111752
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶60.6%
%6 = (*.f64 y y)
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) %6) %6)
Symmetry

(negabs y)

Compiler

Compiled 2 to 18 computations (-800.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series37.0ms (4.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0101479
Stop Event
1×iter-limit
Counts
9 → 28
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%4 = (*.f64 y z)
%5 = (-.f64 %2 %4)
%6 = (*.f64 y y)
%7 = (-.f64 %5 %6)
x
y
%2
z
%4
%5
%6
%7
(+.f64 %7 %6)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%9 = (* y z)
%10 = (- %5 %9)
%12 = (*.f64 y z)
%17 = (* y y)
%18 = (- %10 %17)
%20 = (pow.f64 y #s(literal 2 binary64))
%21 = (fma.f64 y z %20)
%26 = (/.f64 %12 x)
%52 = (*.f64 #s(literal -1 binary64) y)
%68 = (-.f64 (*.f64 #s(literal -1 binary64) x) (*.f64 #s(literal -1 binary64) z))
%78 = (fma.f64 #s(literal -1 binary64) %12 %6)
%80 = (-.f64 %6 %20)
%84 = (/.f64 %6 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %10 (*.f64 #s(literal -1 binary64) %12))
(approx %10 (-.f64 %6 %12))
(approx %18 (*.f64 #s(literal -1 binary64) %21))
(approx %18 (-.f64 %6 %21))
(approx %10 (*.f64 x (+.f64 y (*.f64 #s(literal -1 binary64) %26))))
(approx %18 (*.f64 x (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 %21 x)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %26))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (+.f64 %26 (/.f64 %20 x))))))
(approx y y)
(approx %9 %12)
(approx %10 (*.f64 y (-.f64 x z)))
(approx %17 %20)
(approx %18 (*.f64 y (-.f64 (+.f64 x %52) z)))
(approx %18 (*.f64 #s(literal -1 binary64) %20))
(approx %18 (*.f64 %20 (-.f64 (/.f64 x y) (+.f64 #s(literal 1 binary64) (/.f64 z y)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y %68)))
(approx %18 (*.f64 %20 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %68 y)) #s(literal 1 binary64))))
(approx z z)
(approx %10 %78)
(approx %18 %80)
(approx %18 (-.f64 %78 %20))
(approx %10 (*.f64 z (-.f64 %84 y)))
(approx %18 (*.f64 z (-.f64 %84 (+.f64 y (/.f64 %20 z)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %84) %52))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %80 z)) %52))))
Calls
9 calls:
TimeVariablePoint
27.0ms
x
inf
2.0ms
y
inf
1.0ms
z
inf
1.0ms
y
-inf
1.0ms
x
-inf
rewrite63.0ms (8.2%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
0945
01537
15231
221529
388129
0412129
0412529
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 448
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%4 = (*.f64 y z)
%5 = (-.f64 %2 %4)
%6 = (*.f64 y y)
%7 = (-.f64 %5 %6)
x
y
%2
z
%4
%5
%6
%7
(+.f64 %7 %6)
Outputs
%2 = (neg.f64 x)
%3 = (neg.f64 y)
%6 = (+.f64 y x)
%7 = (-.f64 %6 y)
%9 = (-.f64 y x)
%10 = (-.f64 y %9)
%13 = (+.f64 x #s(literal 0 binary64))
%15 = (-.f64 x #s(literal 0 binary64))
%17 = (*.f64 y x)
%27 = (*.f64 y %9)
%28 = (*.f64 y y)
%31 = (*.f64 %3 x)
%33 = (fabs.f64 y)
%34 = (sqrt.f64 %33)
%35 = (*.f64 %33 %34)
%36 = (-.f64 x y)
%37 = (*.f64 y %36)
%39 = (*.f64 %34 %33)
%42 = (neg.f64 %33)
%45 = (-.f64 %3 x)
%46 = (*.f64 %3 y)
%53 = (+.f64 x %3)
%56 = (+.f64 %3 x)
%58 = (+.f64 x y)
%61 = (neg.f64 %9)
%68 = (*.f64 y %58)
%84 = (neg.f64 z)
%86 = (+.f64 #s(literal 0 binary64) %84)
%88 = (-.f64 #s(literal 0 binary64) z)
%91 = (*.f64 z y)
%92 = (+.f64 #s(literal 0 binary64) z)
%94 = (+.f64 z y)
%95 = (+.f64 %3 %94)
%97 = (-.f64 #s(literal 0 binary64) %84)
%106 = (*.f64 %3 z)
%108 = (-.f64 z y)
%109 = (*.f64 y %108)
%111 = (*.f64 %42 %34)
%112 = (*.f64 %94 y)
%115 = (*.f64 %34 %42)
%129 = (neg.f64 %94)
%146 = (fma.f64 y y #s(literal 0 binary64))
%149 = (*.f64 %94 %3)
%159 = (+.f64 y %84)
%160 = (*.f64 y %159)
%179 = (-.f64 z x)
%180 = (*.f64 %179 %3)
%181 = (-.f64 x z)
%182 = (*.f64 %181 y)
%183 = (-.f64 %179 #s(literal 0 binary64))
%184 = (*.f64 %3 %183)
%185 = (+.f64 %179 #s(literal 0 binary64))
%186 = (*.f64 %3 %185)
%187 = (*.f64 %3 %179)
%188 = (-.f64 y %179)
%189 = (+.f64 %188 %3)
%190 = (*.f64 y %189)
%191 = (+.f64 %6 %129)
%192 = (*.f64 y %191)
%193 = (+.f64 %3 %188)
%194 = (*.f64 y %193)
%195 = (-.f64 %181 y)
%196 = (+.f64 y %195)
%197 = (*.f64 y %196)
%198 = (-.f64 %188 y)
%199 = (*.f64 y %198)
%200 = (-.f64 %6 %94)
%201 = (*.f64 y %200)
%202 = (-.f64 %195 %3)
%203 = (*.f64 y %202)
%204 = (-.f64 %94 x)
%205 = (-.f64 y %204)
%206 = (*.f64 y %205)
%207 = (+.f64 #s(literal 0 binary64) %181)
%208 = (*.f64 y %207)
%209 = (-.f64 #s(literal 0 binary64) %179)
%210 = (*.f64 y %209)
%211 = (*.f64 y %181)
%212 = (pow.f64 %182 #s(literal 1 binary64))
%214 = (/.f64 (fma.f64 %182 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
%217 = (/.f64 (-.f64 (*.f64 %182 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
%218 = (*.f64 %179 y)
%219 = (neg.f64 %218)
%220 = (*.f64 y %195)
%221 = (fma.f64 %35 %34 %220)
%222 = (-.f64 %6 z)
%223 = (*.f64 y %222)
%224 = (fma.f64 %111 %34 %223)
%225 = (fma.f64 %34 %39 %220)
%226 = (fma.f64 %34 %115 %223)
%227 = (fma.f64 %179 %3 #s(literal 0 binary64))
%228 = (fma.f64 %181 y #s(literal 0 binary64))
%229 = (fma.f64 %2 %3 %106)
%230 = (fma.f64 %84 y %17)
%231 = (fma.f64 %42 %42 %220)
%232 = (fma.f64 %42 %33 %223)
%233 = (fma.f64 %33 %42 %223)
%234 = (fma.f64 %33 %33 %220)
%236 = (fma.f64 %3 (+.f64 %179 %3) %46)
%237 = (fma.f64 %3 %183 #s(literal 0 binary64))
%239 = (fma.f64 %3 (-.f64 %179 y) %46)
%241 = (fma.f64 %3 (+.f64 %3 z) %37)
%243 = (fma.f64 %3 (-.f64 %3 %181) %46)
%244 = (fma.f64 %3 %45 %149)
%245 = (fma.f64 %3 %185 #s(literal 0 binary64))
%247 = (fma.f64 %3 (+.f64 %3 %179) %46)
%248 = (fma.f64 %3 %204 %28)
%249 = (fma.f64 %3 %179 #s(literal 0 binary64))
%250 = (fma.f64 %3 %2 %106)
%251 = (fma.f64 %3 %3 %220)
%252 = (fma.f64 %3 z %17)
%253 = (fma.f64 %3 y %223)
%254 = (fma.f64 z %3 %17)
%255 = (fma.f64 y %189 #s(literal 0 binary64))
%256 = (fma.f64 y %191 #s(literal 0 binary64))
%257 = (fma.f64 y %193 #s(literal 0 binary64))
%258 = (fma.f64 y %196 #s(literal 0 binary64))
%259 = (+.f64 %129 x)
%260 = (fma.f64 y %259 %28)
%262 = (fma.f64 y (+.f64 %6 %84) %46)
%263 = (fma.f64 y %7 %106)
%264 = (fma.f64 y %198 #s(literal 0 binary64))
%265 = (fma.f64 y %200 #s(literal 0 binary64))
%266 = (fma.f64 y %202 #s(literal 0 binary64))
%267 = (fma.f64 y %205 #s(literal 0 binary64))
%268 = (-.f64 %129 %3)
%269 = (fma.f64 y %268 %17)
%270 = (fma.f64 y %10 %106)
%271 = (-.f64 %84 %9)
%272 = (fma.f64 y %271 %28)
%273 = (fma.f64 y %222 %46)
%274 = (fma.f64 y %207 #s(literal 0 binary64))
%275 = (fma.f64 y %159 %37)
%276 = (fma.f64 y %13 %106)
%277 = (fma.f64 y %58 %149)
%279 = (fma.f64 y (+.f64 %181 y) %46)
%280 = (fma.f64 y %209 #s(literal 0 binary64))
%281 = (fma.f64 y %15 %106)
%283 = (fma.f64 y (-.f64 %181 %3) %46)
%284 = (-.f64 y %94)
%285 = (fma.f64 y %284 %17)
%286 = (fma.f64 y %188 %46)
%287 = (fma.f64 y %195 %28)
%288 = (fma.f64 y %6 %149)
%289 = (fma.f64 y %181 #s(literal 0 binary64))
%290 = (fma.f64 y %84 %17)
%291 = (fma.f64 y %3 %223)
%292 = (fma.f64 y y %220)
%293 = (fma.f64 y x %106)
%294 = (fma.f64 x y %106)
%295 = (-.f64 %37 %109)
%296 = (-.f64 %223 %146)
%297 = (-.f64 %223 %28)
%298 = (-.f64 %68 %112)
%299 = (*.f64 y %45)
%300 = (-.f64 %149 %299)
%301 = (-.f64 #s(literal 0 binary64) %218)
%303 = (-.f64 %46 (*.f64 %3 %188))
%305 = (-.f64 %106 (fma.f64 y %9 %46))
%307 = (-.f64 %106 (fma.f64 %2 y #s(literal 0 binary64)))
%308 = (-.f64 %106 %31)
%310 = (-.f64 %33 (+.f64 %33 %218))
%312 = (-.f64 %3 (+.f64 %3 %218))
%314 = (-.f64 %220 (fma.f64 %3 y #s(literal 0 binary64)))
%315 = (-.f64 %220 %46)
%316 = (+.f64 z %9)
%317 = (*.f64 y %316)
%318 = (-.f64 %28 %317)
%319 = (-.f64 %182 #s(literal 0 binary64))
%320 = (-.f64 %17 %91)
%322 = (-.f64 y (+.f64 y %218))
%324 = (+.f64 (-.f64 #s(literal 0 binary64) %299) %149)
%326 = (+.f64 (-.f64 #s(literal 0 binary64) %31) %106)
%328 = (+.f64 (-.f64 %182 %33) %33)
%330 = (+.f64 (-.f64 %182 %3) %3)
%332 = (+.f64 (-.f64 %182 y) y)
%334 = (+.f64 (-.f64 #s(literal 0 binary64) %46) %220)
%336 = (+.f64 (-.f64 #s(literal 0 binary64) %28) %223)
%338 = (+.f64 (neg.f64 %299) %149)
%339 = (+.f64 %160 %37)
%340 = (+.f64 %223 %46)
%341 = (+.f64 %68 %149)
%342 = (+.f64 #s(literal 0 binary64) %182)
%343 = (+.f64 %46 %223)
%344 = (+.f64 %106 %17)
%345 = (+.f64 %220 %28)
%346 = (+.f64 %28 %220)
%347 = (+.f64 %182 #s(literal 0 binary64))
%348 = (+.f64 %17 %106)
%354 = (*.f64 %28 %28)
x
y
(*.f64 %2 %3)
(*.f64 %3 %2)
(*.f64 y %7)
(*.f64 y %10)
(*.f64 y %13)
(*.f64 y %15)
%17
(*.f64 x y)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 (fma.f64 %17 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %17 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(neg.f64 (-.f64 %27 %28))
(neg.f64 %31)
(fma.f64 %35 %34 %37)
(fma.f64 %34 %39 %37)
(fma.f64 %2 %3 #s(literal 0 binary64))
(fma.f64 %42 %42 %37)
(fma.f64 %33 %33 %37)
(fma.f64 %3 %45 %46)
(fma.f64 %3 %9 %28)
(fma.f64 %3 %2 #s(literal 0 binary64))
(fma.f64 %3 %3 %37)
(fma.f64 y %7 #s(literal 0 binary64))
(fma.f64 y %10 #s(literal 0 binary64))
(fma.f64 y %53 %28)
(fma.f64 y %13 #s(literal 0 binary64))
(fma.f64 y %56 %28)
(fma.f64 y %58 %46)
(fma.f64 y %15 #s(literal 0 binary64))
(fma.f64 y %61 %28)
(fma.f64 y %36 %28)
(fma.f64 y %6 %46)
(fma.f64 y y %37)
(fma.f64 y x #s(literal 0 binary64))
(fma.f64 x y #s(literal 0 binary64))
(-.f64 %68 %28)
(-.f64 %28 %27)
(-.f64 %17 #s(literal 0 binary64))
(+.f64 (-.f64 %17 %33) %33)
(+.f64 (-.f64 %17 %3) %3)
(+.f64 (-.f64 %17 y) y)
(+.f64 %37 %28)
(+.f64 %68 %46)
(+.f64 #s(literal 0 binary64) %17)
(+.f64 %28 %37)
(+.f64 %17 #s(literal 0 binary64))
z
(*.f64 %84 %3)
(*.f64 %3 %86)
(*.f64 %3 %88)
(*.f64 %3 %84)
%91
(*.f64 y %92)
(*.f64 y %95)
(*.f64 y %97)
(*.f64 y z)
(pow.f64 %91 #s(literal 1 binary64))
(/.f64 (fma.f64 %91 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %91 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(neg.f64 %106)
(fma.f64 %35 %34 %109)
(fma.f64 %111 %34 %112)
(fma.f64 %34 %39 %109)
(fma.f64 %34 %115 %112)
(fma.f64 %94 y %46)
(fma.f64 %84 %3 #s(literal 0 binary64))
(fma.f64 %42 %42 %109)
(fma.f64 %42 %33 %112)
(fma.f64 %33 %42 %112)
(fma.f64 %33 %33 %109)
(fma.f64 %3 (+.f64 %84 y) %28)
(fma.f64 %3 %86 #s(literal 0 binary64))
(fma.f64 %3 (-.f64 %84 %3) %28)
(fma.f64 %3 %88 #s(literal 0 binary64))
(fma.f64 %3 %129 %46)
(fma.f64 %3 %84 #s(literal 0 binary64))
(fma.f64 %3 %3 %109)
(fma.f64 %3 y %112)
(fma.f64 z y #s(literal 0 binary64))
(fma.f64 y (+.f64 z %3) %28)
(fma.f64 y %92 #s(literal 0 binary64))
(fma.f64 y %95 #s(literal 0 binary64))
(fma.f64 y %108 %28)
(fma.f64 y %97 #s(literal 0 binary64))
(fma.f64 y %94 %46)
(fma.f64 y %3 %112)
(fma.f64 y z #s(literal 0 binary64))
(fma.f64 y y %109)
(-.f64 #s(literal 0 binary64) %106)
(-.f64 %112 %146)
(-.f64 %112 %28)
(-.f64 %46 %149)
(-.f64 %33 (+.f64 %33 %106))
(-.f64 %3 (+.f64 %3 %106))
(-.f64 %28 (fma.f64 %84 y %28))
(-.f64 %28 (neg.f64 %109))
(-.f64 %28 %160)
(-.f64 %91 #s(literal 0 binary64))
(-.f64 y (+.f64 y %106))
(+.f64 (-.f64 #s(literal 0 binary64) %149) %46)
(+.f64 (-.f64 %91 %33) %33)
(+.f64 (-.f64 %91 %3) %3)
(+.f64 (-.f64 %91 y) y)
(+.f64 %109 %28)
(+.f64 #s(literal 0 binary64) %91)
(+.f64 %112 %46)
(+.f64 %46 %112)
(+.f64 %28 %109)
(+.f64 %91 #s(literal 0 binary64))
%180
%182
%184
%186
%187
%190
%192
%194
%197
%199
%201
%203
%206
%208
%210
%211
%212
%214
%217
%219
%221
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%236
%237
%239
%241
%243
%244
%245
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%260
%262
%263
%264
%265
%266
%267
%269
%270
%272
%273
%274
%275
%276
%277
%279
%280
%281
%283
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%300
%301
%303
%305
%307
%308
%310
%312
%314
%315
%318
%319
%320
%322
%324
%326
%328
%330
%332
%334
%336
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
(*.f64 %35 %34)
(*.f64 %34 %39)
(*.f64 %42 %42)
(*.f64 %33 %33)
(*.f64 %3 %3)
%28
(pow.f64 %354 #s(literal 1/2 binary64))
(pow.f64 %42 #s(literal 2 binary64))
(pow.f64 %33 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %28 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(neg.f64 %46)
(sqrt.f64 %354)
(fabs.f64 (*.f64 %3 %42))
(fabs.f64 (*.f64 y %42))
(fabs.f64 (*.f64 %3 %33))
(fabs.f64 (*.f64 y %33))
(fabs.f64 (*.f64 %42 %3))
(fabs.f64 (*.f64 %33 %3))
(fabs.f64 (*.f64 %42 y))
(fabs.f64 (*.f64 %33 y))
(fabs.f64 %46)
(fabs.f64 %28)
(*.f64 %3 %204)
(*.f64 y %259)
(*.f64 y %271)
%220
(pow.f64 %220 #s(literal 1 binary64))
(neg.f64 %317)
(fma.f64 %111 %34 %182)
(fma.f64 %129 y %17)
(fma.f64 %34 %115 %182)
(fma.f64 %94 %3 %17)
(fma.f64 %179 %3 %46)
(fma.f64 %181 y %46)
(fma.f64 %2 %3 %149)
(fma.f64 %84 y %37)
(fma.f64 %42 %33 %182)
(fma.f64 %33 %42 %182)
(fma.f64 %3 %183 %46)
(fma.f64 %3 %185 %46)
(fma.f64 %3 %204 #s(literal 0 binary64))
(fma.f64 %3 %9 %106)
(fma.f64 %3 %94 %17)
(fma.f64 %3 %179 %46)
(fma.f64 %3 %2 %149)
(fma.f64 %3 z %37)
(fma.f64 %3 y %182)
(fma.f64 z %3 %37)
(fma.f64 y %189 %46)
(fma.f64 y %191 %46)
(fma.f64 y %193 %46)
(fma.f64 y %196 %46)
(fma.f64 y %259 #s(literal 0 binary64))
(fma.f64 y %7 %149)
(fma.f64 y %198 %46)
(fma.f64 y %200 %46)
(fma.f64 y %202 %46)
(fma.f64 y %205 %46)
(fma.f64 y %268 %37)
(fma.f64 y %10 %149)
(fma.f64 y %271 #s(literal 0 binary64))
(fma.f64 y %53 %106)
(fma.f64 y %207 %46)
(fma.f64 y %13 %149)
(fma.f64 y %56 %106)
(fma.f64 y %209 %46)
(fma.f64 y %15 %149)
(fma.f64 y %61 %106)
(fma.f64 y %36 %106)
(fma.f64 y %284 %37)
(fma.f64 y %195 #s(literal 0 binary64))
(fma.f64 y %129 %17)
(fma.f64 y %181 %46)
(fma.f64 y %84 %37)
(fma.f64 y %3 %182)
(fma.f64 y x %149)
(fma.f64 x y %149)
(-.f64 %37 %91)
(-.f64 %223 (fma.f64 y y %28))
(-.f64 %68 (fma.f64 %94 y %28))
(-.f64 %149 (fma.f64 %3 y %27))
(-.f64 %149 %31)
(-.f64 #s(literal 0 binary64) %317)
(-.f64 %46 %218)
(-.f64 %106 (+.f64 #s(literal 0 binary64) %27))
(-.f64 %106 %27)
(-.f64 %220 #s(literal 0 binary64))
(-.f64 %28 (fma.f64 y %316 %28))
(-.f64 %182 (+.f64 #s(literal 0 binary64) %28))
(-.f64 %182 %28)
(-.f64 %17 %112)
(+.f64 (-.f64 %37 %112) %28)
(+.f64 (-.f64 %46 %299) %149)
(+.f64 (-.f64 %46 #s(literal 0 binary64)) %182)
(+.f64 (-.f64 %46 %28) %223)
(+.f64 %37 %106)
(+.f64 %149 %17)
(+.f64 #s(literal 0 binary64) %220)
(+.f64 %46 %182)
(+.f64 %106 %37)
(+.f64 %220 #s(literal 0 binary64))
(+.f64 %182 %46)
(+.f64 %17 %149)
%180
%182
%184
%186
%187
%190
%192
%194
%197
%199
%201
%203
%206
%208
%210
%211
%212
%214
%217
%219
%221
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%236
%237
%239
%241
%243
%244
%245
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%260
%262
%263
%264
%265
%266
%267
%269
%270
%272
%273
%274
%275
%276
%277
%279
%280
%281
%283
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%300
%301
%303
%305
%307
%308
%310
%312
%314
%315
%318
%319
%320
%322
%324
%326
%328
%330
%332
%334
%336
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
reconstruct38.0ms (4.9%)
Counts
476 → 120
Compiler
Compiled 476 to 532 computations (-11.8% saved)
eval9.0ms (1.2%)
Compiler
Compiled 117 to 367 computations (-213.7% saved)
prune2.0ms (0.2%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New1143117
Fresh000
Picked101
Done000
Total1153118
Accuracy
100.0%
Counts
118 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.8%
(fma.f64 x y (*.f64 (neg.f64 y) z))
▶97.2%
(-.f64 (*.f64 y x) (*.f64 z y))
▶100.0%
(*.f64 y (-.f64 x z))
Compiler
Compiled 3 to 11 computations (-266.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series14.0ms (1.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
090319
Stop Event
1×iter-limit
Counts
11 → 27
Calls
Call 1
Inputs
%3 = (-.f64 x z)
%5 = (neg.f64 y)
%6 = (*.f64 y x)
%7 = (*.f64 z y)
%8 = (*.f64 %5 z)
x
y
z
%3
(*.f64 y %3)
%5
%6
%7
%8
(fma.f64 x y %8)
(-.f64 %6 %7)
Outputs
%5 = (- x z)
%7 = (*.f64 #s(literal -1 binary64) z)
%9 = (-.f64 x z)
%12 = (* y %5)
%13 = (*.f64 y z)
%16 = (*.f64 x y)
%19 = (* y x)
%21 = (* z y)
%22 = (- %19 %21)
%26 = (/.f64 z x)
%31 = (/.f64 %13 x)
%47 = (neg y)
%48 = (*.f64 #s(literal -1 binary64) y)
%53 = (+ (* x y) (* %47 z))
%54 = (+.f64 x %7)
%57 = (*.f64 #s(literal -1 binary64) x)
%68 = (/.f64 x z)
%72 = (/.f64 %16 z)
%84 = (*.f64 #s(literal -1 binary64) %72)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 %9)
(approx %12 (*.f64 #s(literal -1 binary64) %13))
(approx %12 (fma.f64 #s(literal -1 binary64) %13 %16))
(approx %19 %16)
(approx %22 (-.f64 %16 %13))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %26))))
(approx %12 (*.f64 x (+.f64 y (*.f64 #s(literal -1 binary64) %31))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %26 #s(literal 1 binary64)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %31))))
(approx y y)
(approx %12 (*.f64 y %9))
(approx %47 %48)
(approx %21 %13)
(approx %53 (*.f64 y %54))
(approx %53 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 z %57))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %57 %7))))
(approx z z)
(approx %5 %54)
(approx %5 (*.f64 z (-.f64 %68 #s(literal 1 binary64))))
(approx %12 (*.f64 z (fma.f64 #s(literal -1 binary64) y %72)))
(approx %22 (*.f64 z (-.f64 %72 y)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %68)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 y %84))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %84 %48))))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
z
inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
z
-inf
rewrite85.0ms (11.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01137
02033
15733
211133
318433
426733
563133
0403333
0416433
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 137
Calls
Call 1
Inputs
%3 = (-.f64 x z)
%5 = (neg.f64 y)
%6 = (*.f64 y x)
%7 = (*.f64 z y)
%8 = (*.f64 %5 z)
x
y
z
%3
(*.f64 y %3)
%5
%6
%7
%8
(fma.f64 x y %8)
(-.f64 %6 %7)
Outputs
%4 = (-.f64 z x)
%7 = (-.f64 x z)
%14 = (neg.f64 z)
%15 = (*.f64 x #s(literal 1 binary64))
%18 = (*.f64 %14 #s(literal 1 binary64))
%20 = (neg.f64 x)
%26 = (*.f64 %4 y)
%27 = (*.f64 #s(literal -1 binary64) %26)
%28 = (neg.f64 y)
%29 = (*.f64 %4 %28)
%30 = (*.f64 %7 y)
%31 = (*.f64 #s(literal 1 binary64) %30)
%32 = (*.f64 %28 %4)
%33 = (*.f64 y %7)
%34 = (pow.f64 %30 #s(literal 1 binary64))
%36 = (/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
%37 = (neg.f64 %26)
%38 = (*.f64 %28 x)
%39 = (*.f64 %28 z)
%40 = (fma.f64 #s(literal -1 binary64) %38 %39)
%41 = (*.f64 z y)
%42 = (*.f64 y x)
%43 = (fma.f64 #s(literal -1 binary64) %41 %42)
%44 = (fma.f64 %20 %28 %39)
%45 = (fma.f64 %14 y %42)
%46 = (fma.f64 #s(literal 1 binary64) %39 %42)
%47 = (fma.f64 #s(literal 1 binary64) %42 %39)
%48 = (*.f64 %42 #s(literal 1 binary64))
%49 = (fma.f64 %39 #s(literal 1 binary64) %48)
%50 = (*.f64 %39 #s(literal 1 binary64))
%51 = (fma.f64 %42 #s(literal 1 binary64) %50)
%52 = (fma.f64 %28 %20 %39)
%53 = (fma.f64 %28 z %42)
%54 = (fma.f64 z %28 %42)
%55 = (fma.f64 y %14 %42)
%56 = (fma.f64 y x %39)
%57 = (fma.f64 x y %39)
%58 = (-.f64 %39 %38)
%59 = (-.f64 %42 %41)
%60 = (+.f64 %50 %48)
%61 = (+.f64 %48 %50)
%62 = (+.f64 %39 %42)
%63 = (+.f64 %42 %39)
x
y
z
(*.f64 #s(literal -1 binary64) %4)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %4)
(fma.f64 #s(literal -1 binary64) z x)
(fma.f64 %14 #s(literal 1 binary64) %15)
(fma.f64 #s(literal 1 binary64) %14 x)
(fma.f64 x #s(literal 1 binary64) %18)
(-.f64 %14 %20)
%7
(+.f64 %18 %15)
(+.f64 %15 %18)
(+.f64 %14 x)
(+.f64 x %14)
%27
%29
%31
%32
%30
%33
%34
%36
%37
%40
%43
%44
%45
%46
%47
%49
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
(*.f64 #s(literal -1 binary64) y)
(*.f64 #s(literal 1 binary64) %28)
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
%28
(*.f64 #s(literal -1 binary64) %38)
(*.f64 %20 %28)
(*.f64 #s(literal 1 binary64) %42)
(*.f64 %28 %20)
%42
(*.f64 x y)
(pow.f64 %42 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
(neg.f64 %38)
(*.f64 #s(literal -1 binary64) %39)
(*.f64 %14 %28)
(*.f64 #s(literal 1 binary64) %41)
(*.f64 %28 %14)
%41
(*.f64 y z)
(pow.f64 %41 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %41 #s(literal -1 binary64)))
(neg.f64 %39)
(*.f64 #s(literal -1 binary64) %41)
(*.f64 %14 y)
(*.f64 #s(literal 1 binary64) %39)
%39
(*.f64 z %28)
(*.f64 y %14)
(pow.f64 %39 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %39 #s(literal -1 binary64)))
(neg.f64 %41)
%27
%29
%31
%32
%30
%33
%34
%36
%37
%40
%43
%44
%45
%46
%47
%49
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
%27
%29
%31
%32
%30
%33
%34
%36
%37
%40
%43
%44
%45
%46
%47
%49
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
reconstruct12.0ms (1.6%)
Counts
164 → 36
Compiler
Compiled 164 to 143 computations (12.8% saved)
eval2.0ms (0.3%)
Compiler
Compiled 26 to 69 computations (-165.4% saved)
prune1.0ms (0.2%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New26026
Fresh000
Picked033
Done000
Total26329
Accuracy
100.0%
Counts
29 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.8%
(fma.f64 x y (*.f64 (neg.f64 y) z))
✓97.2%
(-.f64 (*.f64 y x) (*.f64 z y))
✓100.0%
(*.f64 y (-.f64 x z))
Compiler
Compiled 3 to 11 computations (-266.7% saved)
regimes16.0ms (2.1%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 y (-.f64 x z))
Outputs
(*.f64 y (-.f64 x z))
Calls
4 calls:
10.0ms
z
3.0ms
x
3.0ms
y
2.0ms
%6 = (*.f64 y y)
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) %6) %6)
Results
AccuracySegmentsBranch
100.0%1
z
100.0%1
y
100.0%1
x
100.0%1
%14 = (*.f64 y y)
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) %14) %14)
Compiler
Compiled 8 to 26 computations (-225.0% saved)
bsearch0.0ms (0.0%)
derivations15.0ms (2.0%)
Stop Event
1×done
Compiler
Compiled 1 to 5 computations (-400.0% saved)
preprocess6.0ms (0.8%)
Compiler
Compiled 4 to 24 computations (-500.0% saved)
end0.0ms (0.0%)
gc76ms (10.0%)
Allocations
AllocatedPercentPhase
225.5 MiB60.7%sample
45.8 MiB12.3%rewrite
32.2 MiB8.7%reconstruct
29.3 MiB7.9%series
12.5 MiB3.4%regimes
11.9 MiB3.2%preprocess
9.2 MiB2.5%eval
4.6 MiB1.2%prune
0.5 MiB0.1%derivations
0.1 MiB0.0%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
371.6 MiB100.0%total
Profiling
Loading profile data...