Diagrams.Backend.Cairo.Internal:setTexture from diagrams-cairo-1.3.0.3

Time bar (total: 1.3s)

start0.0ms (0.0%)

analyze17.0ms (1.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
50.0%49.9%49.9%0.1%0.0%0.0%0.0%3
50.0%49.9%49.9%0.1%0.0%0.0%0.0%4
50.0%49.9%49.9%0.1%0.0%0.0%0.0%5
75.0%74.9%25.0%0.1%0.0%0.0%0.0%6
75.0%74.9%25.0%0.1%0.0%0.0%0.0%7
75.0%74.9%25.0%0.1%0.0%0.0%0.0%8
87.5%87.4%12.5%0.1%0.0%0.0%0.0%9
87.5%87.4%12.5%0.1%0.0%0.0%0.0%10
87.5%87.4%12.5%0.1%0.0%0.0%0.0%11
93.8%93.6%6.2%0.1%0.0%0.0%0.0%12
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample264.0ms (19.9%)

Samples
183.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Div: 4.0ms (42.0% of total, 0.0 MiB)
Sub: 3.0ms (31.5% of total, 0.0 MiB)
Mul: 3.0ms (31.5% of total, 0.0 MiB)
Bogosity

preprocess26.0ms (2.0%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02981
114672
253672
3179872
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶86.7%
(/.f64 (*.f64 x (-.f64 y z)) y)
Symmetry

(negabs x)

Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series15.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
079305
Stop Event
1×iter-limit
Counts
6 → 25
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%4 = (*.f64 x %3)
x
y
z
%3
%4
(/.f64 %4 y)
Outputs
%6 = (- y z)
%7 = (* x %6)
%8 = (-.f64 y z)
%9 = (*.f64 x %8)
%11 = (/ %7 y)
%16 = (*.f64 #s(literal -1 binary64) z)
%19 = (*.f64 x z)
%22 = (*.f64 x y)
%23 = (fma.f64 #s(literal -1 binary64) %19 %22)
%25 = (/.f64 %19 y)
%26 = (*.f64 #s(literal -1 binary64) %25)
%31 = (/.f64 z y)
%37 = (+.f64 x %26)
%52 = (/.f64 y z)
%56 = (/.f64 %22 z)
%60 = (/.f64 x y)
%61 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %11 (/.f64 %9 y))
(approx y y)
(approx %6 %16)
(approx %6 %8)
(approx %7 (*.f64 #s(literal -1 binary64) %19))
(approx %7 %23)
(approx %11 %26)
(approx %11 (/.f64 %23 y))
(approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %31))))
(approx %7 %22)
(approx %7 (*.f64 y %37))
(approx %11 %37)
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %31 #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %25))))
(approx z z)
(approx %6 (+.f64 y %16))
(approx %6 (*.f64 z (-.f64 %52 #s(literal 1 binary64))))
(approx %7 (*.f64 z (fma.f64 #s(literal -1 binary64) x %56)))
(approx %11 (*.f64 z (fma.f64 #s(literal -1 binary64) %60 %61)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %52)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %56)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %61 %60))))
Calls
9 calls:
TimeVariablePoint
7.0ms
x
inf
1.0ms
z
-inf
1.0ms
z
inf
1.0ms
x
-inf
1.0ms
x
0
rewrite73.0ms (5.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
13118
210318
338618
4176118
0424718
0449218
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 244
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%4 = (*.f64 x %3)
x
y
z
%3
%4
(/.f64 %4 y)
Outputs
%3 = (-.f64 y z)
%5 = (*.f64 %3 #s(literal 2 binary64))
%8 = (*.f64 %3 y)
%10 = (/.f64 #s(literal 1 binary64) y)
%12 = (*.f64 %3 #s(literal 1/2 binary64))
%20 = (neg.f64 y)
%21 = (*.f64 %3 %20)
%32 = (-.f64 z y)
%33 = (*.f64 %32 #s(literal 1 binary64))
%37 = (*.f64 %3 #s(literal 0 binary64))
%39 = (*.f64 #s(literal 0 binary64) %3)
%45 = (*.f64 #s(literal 1/2 binary64) %3)
%47 = (neg.f64 z)
%61 = (*.f64 %3 x)
%62 = (*.f64 %61 y)
%64 = (*.f64 %61 #s(literal 1/2 binary64))
%66 = (*.f64 #s(literal 2 binary64) %61)
%69 = (*.f64 #s(literal 1/2 binary64) %61)
%71 = (neg.f64 x)
%74 = (*.f64 %71 #s(literal 1 binary64))
%77 = (*.f64 %32 x)
%81 = (/.f64 %61 y)
%85 = (*.f64 %61 %20)
%90 = (*.f64 %20 %61)
%91 = (neg.f64 %90)
%93 = (*.f64 y %61)
%94 = (neg.f64 %93)
%98 = (neg.f64 %66)
%100 = (*.f64 %77 #s(literal 2 binary64))
%108 = (*.f64 %61 #s(literal 0 binary64))
%110 = (*.f64 #s(literal 0 binary64) %61)
%121 = (*.f64 %71 z)
%122 = (*.f64 y x)
%123 = (*.f64 %122 #s(literal 1 binary64))
%125 = (*.f64 %121 #s(literal 1 binary64))
%132 = (*.f64 %20 %71)
%134 = (*.f64 %71 %20)
%170 = (*.f64 %71 y)
%172 = (*.f64 z x)
%191 = (/.f64 #s(literal -1/2 binary64) y)
%193 = (/.f64 #s(literal 1/2 binary64) y)
%195 = (/.f64 %71 y)
%197 = (/.f64 x y)
%199 = (*.f64 #s(literal 2 binary64) %81)
%207 = (/.f64 %32 y)
%210 = (/.f64 #s(literal -1 binary64) y)
%212 = (*.f64 %207 x)
%214 = (/.f64 %3 y)
%227 = (*.f64 #s(literal -1 binary64) %122)
%234 = (*.f64 %122 #s(literal -1 binary64))
%245 = (*.f64 #s(literal -1 binary64) %121)
%252 = (*.f64 %121 #s(literal -1 binary64))
%269 = (*.f64 y %3)
%270 = (*.f64 x %269)
%272 = (*.f64 y y)
%273 = (neg.f64 %272)
%275 = (*.f64 %269 x)
%280 = (*.f64 %20 %81)
%284 = (fma.f64 %122 y (*.f64 %121 y))
%288 = (fma.f64 %122 y (*.f64 y %121))
%291 = (*.f64 #s(literal 2 binary64) %77)
%293 = (*.f64 #s(literal 2 binary64) %20)
%296 = (*.f64 %20 %77)
%299 = (*.f64 y %77)
%308 = (*.f64 #s(literal 2 binary64) y)
%337 = (*.f64 %172 %210)
%339 = (*.f64 %170 %210)
%341 = (*.f64 %197 %47)
%347 = (/.f64 z y)
%348 = (*.f64 %71 #s(literal -1 binary64))
%350 = (*.f64 %210 %172)
%352 = (*.f64 %210 %170)
%354 = (*.f64 #s(literal -1 binary64) %71)
%356 = (/.f64 %47 y)
%358 = (*.f64 %210 %121)
x
y
z
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 %10)
(*.f64 %12 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 (neg.f64 %21) y)
(/.f64 (neg.f64 %8) %20)
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %21 %20)
(/.f64 %8 y)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %33)
(neg.f64 %32)
(fma.f64 %5 #s(literal 1/2 binary64) %37)
(fma.f64 %5 #s(literal 1/2 binary64) %39)
(fma.f64 %8 %10 %37)
(fma.f64 %8 %10 %39)
(fma.f64 %12 #s(literal 2 binary64) %37)
(fma.f64 %12 #s(literal 2 binary64) %39)
(fma.f64 #s(literal 1/2 binary64) %3 %45)
(fma.f64 #s(literal 1 binary64) %47 y)
(fma.f64 #s(literal 1 binary64) %3 %37)
(fma.f64 #s(literal 1 binary64) %3 %39)
(fma.f64 %3 #s(literal 1/2 binary64) %12)
(fma.f64 %3 #s(literal 1 binary64) %37)
(fma.f64 %3 #s(literal 1 binary64) %39)
(-.f64 %47 %20)
%3
(+.f64 %12 %12)
(+.f64 %45 %45)
(+.f64 %47 y)
(+.f64 %3 %37)
(+.f64 %3 %39)
(+.f64 y %47)
(*.f64 %62 %10)
(*.f64 %64 #s(literal 2 binary64))
(*.f64 %66 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %66)
(*.f64 #s(literal 2 binary64) %69)
(*.f64 %71 %33)
(*.f64 %71 %32)
(*.f64 %32 %74)
(*.f64 %32 %71)
(*.f64 %77 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %61)
(*.f64 %61 #s(literal 1 binary64))
%61
(*.f64 y %81)
(*.f64 x %3)
(pow.f64 %61 #s(literal 1 binary64))
(/.f64 (neg.f64 %85) y)
(/.f64 (neg.f64 %62) %20)
(/.f64 %91 y)
(/.f64 %94 %20)
(/.f64 %85 %20)
(/.f64 %62 y)
(/.f64 %98 #s(literal -2 binary64))
(/.f64 %100 #s(literal -2 binary64))
(/.f64 %90 %20)
(/.f64 %93 y)
(/.f64 %66 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %61 #s(literal -1 binary64)))
(neg.f64 %77)
(fma.f64 %62 %10 %108)
(fma.f64 %62 %10 %110)
(fma.f64 %64 #s(literal 2 binary64) %108)
(fma.f64 %64 #s(literal 2 binary64) %110)
(fma.f64 %66 #s(literal 1/2 binary64) %108)
(fma.f64 %66 #s(literal 1/2 binary64) %110)
(fma.f64 #s(literal 1/2 binary64) %66 %108)
(fma.f64 #s(literal 1/2 binary64) %66 %110)
(fma.f64 #s(literal 1/2 binary64) %61 %69)
(fma.f64 #s(literal 2 binary64) %69 %108)
(fma.f64 #s(literal 2 binary64) %69 %110)
(fma.f64 %121 #s(literal 1 binary64) %123)
(fma.f64 %122 #s(literal 1 binary64) %125)
(fma.f64 %71 %33 %108)
(fma.f64 %71 %33 %110)
(fma.f64 %71 %32 %108)
(fma.f64 %71 %32 %110)
(fma.f64 %71 %20 %121)
(fma.f64 %71 z %132)
(fma.f64 %71 z %134)
(fma.f64 %71 z %122)
(fma.f64 %47 x %132)
(fma.f64 %47 x %134)
(fma.f64 %47 x %122)
(fma.f64 %32 %74 %108)
(fma.f64 %32 %74 %110)
(fma.f64 %32 %71 %108)
(fma.f64 %32 %71 %110)
(fma.f64 %20 %71 %121)
(fma.f64 %77 #s(literal -1 binary64) %108)
(fma.f64 %77 #s(literal -1 binary64) %110)
(fma.f64 #s(literal 1 binary64) %121 %132)
(fma.f64 #s(literal 1 binary64) %121 %134)
(fma.f64 #s(literal 1 binary64) %121 %122)
(fma.f64 #s(literal 1 binary64) %122 %121)
(fma.f64 #s(literal 1 binary64) %61 %108)
(fma.f64 #s(literal 1 binary64) %61 %110)
(fma.f64 %61 #s(literal 1/2 binary64) %64)
(fma.f64 %61 #s(literal 1 binary64) %108)
(fma.f64 %61 #s(literal 1 binary64) %110)
(fma.f64 %3 x %108)
(fma.f64 %3 x %110)
(fma.f64 z %71 %132)
(fma.f64 z %71 %134)
(fma.f64 z %71 %122)
(fma.f64 y %81 %108)
(fma.f64 y %81 %110)
(fma.f64 y x %121)
(fma.f64 x %47 %132)
(fma.f64 x %47 %134)
(fma.f64 x %47 %122)
(fma.f64 x %3 %108)
(fma.f64 x %3 %110)
(fma.f64 x y %121)
(-.f64 %121 %170)
(-.f64 %122 %172)
(+.f64 %64 %64)
(+.f64 %125 %123)
(+.f64 %123 %125)
(+.f64 %69 %69)
(+.f64 %132 %121)
(+.f64 %134 %121)
(+.f64 %121 %132)
(+.f64 %121 %134)
(+.f64 %121 %122)
(+.f64 %122 %121)
(+.f64 %61 %108)
(+.f64 %61 %110)
(*.f64 (*.f64 %10 %66) #s(literal 1/2 binary64))
(*.f64 (*.f64 %10 %71) %32)
(*.f64 %100 %191)
(*.f64 %66 %193)
(*.f64 %195 %32)
(*.f64 %197 %3)
(*.f64 #s(literal 1/2 binary64) %199)
(*.f64 #s(literal 2 binary64) (*.f64 %191 %77))
(*.f64 #s(literal 2 binary64) (*.f64 %193 %61))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %81))
(*.f64 %71 %207)
(*.f64 %207 %71)
(*.f64 %210 %77)
(*.f64 #s(literal -1 binary64) %212)
(*.f64 %214 x)
(*.f64 %32 %195)
(*.f64 %10 %61)
(*.f64 %77 %210)
(*.f64 #s(literal 1 binary64) %81)
(*.f64 %81 #s(literal 1 binary64))
(*.f64 %61 %10)
(*.f64 %3 %197)
(*.f64 y (*.f64 %10 %81))
(*.f64 x %214)
(pow.f64 %81 #s(literal 1 binary64))
(/.f64 (fma.f64 %121 #s(literal -1 binary64) %227) %20)
(/.f64 (fma.f64 z x %227) %20)
(/.f64 (fma.f64 %71 z %123) y)
(/.f64 (fma.f64 #s(literal -1 binary64) %121 %234) %20)
(/.f64 (fma.f64 z x %234) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %121 %170) %20)
(/.f64 (fma.f64 %121 #s(literal -1 binary64) %170) %20)
(/.f64 (fma.f64 %121 #s(literal 1 binary64) %122) y)
(/.f64 (fma.f64 %122 #s(literal -1 binary64) %245) %20)
(/.f64 (fma.f64 %71 y %245) %20)
(/.f64 (fma.f64 y x %125) y)
(/.f64 (fma.f64 #s(literal -1 binary64) %122 %252) %20)
(/.f64 (fma.f64 %71 y %252) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %122 %172) %20)
(/.f64 (fma.f64 %122 #s(literal -1 binary64) %172) %20)
(/.f64 (fma.f64 %122 #s(literal 1 binary64) %121) y)
(/.f64 (-.f64 %123 %172) y)
(/.f64 (-.f64 %227 %121) %20)
(/.f64 (-.f64 %234 %121) %20)
(/.f64 (neg.f64 %270) %273)
(/.f64 (neg.f64 %275) %273)
(/.f64 (neg.f64 %199) #s(literal -2 binary64))
(/.f64 (neg.f64 %280) y)
(/.f64 (neg.f64 %284) %273)
(/.f64 (neg.f64 %288) %273)
(/.f64 (neg.f64 %291) (neg.f64 %293))
(/.f64 (neg.f64 %296) %273)
(/.f64 (neg.f64 %299) %272)
(/.f64 %91 %272)
(/.f64 %94 %273)
(/.f64 %270 %272)
(/.f64 %275 %272)
(/.f64 %199 #s(literal 2 binary64))
(/.f64 %280 %20)
(/.f64 %98 (neg.f64 %308))
(/.f64 (*.f64 #s(literal -1 binary64) %77) y)
(/.f64 %284 %272)
(/.f64 %288 %272)
(/.f64 %291 %293)
(/.f64 %296 %272)
(/.f64 %90 (*.f64 %20 y))
(/.f64 %299 (*.f64 y %20))
(/.f64 %93 %272)
(/.f64 %66 %308)
(/.f64 %77 (*.f64 #s(literal -1 binary64) y))
(/.f64 %77 %20)
(/.f64 #s(literal 1 binary64) (pow.f64 %81 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %77))
(/.f64 #s(literal 1 binary64) (/.f64 y %61))
%81
(neg.f64 %212)
(fma.f64 (*.f64 %121 #s(literal 2 binary64)) %193 x)
(fma.f64 %125 %10 x)
(fma.f64 %252 %210 x)
(fma.f64 %170 %210 %337)
(fma.f64 %172 %210 %339)
(fma.f64 %341 #s(literal 1 binary64) x)
(fma.f64 %197 %47 x)
(fma.f64 #s(literal 2 binary64) (*.f64 %193 %121) x)
(fma.f64 %121 %10 x)
(fma.f64 %71 %347 %348)
(fma.f64 %210 %170 %350)
(fma.f64 %210 %172 %352)
(fma.f64 %347 %71 %354)
(fma.f64 %356 x x)
(fma.f64 #s(literal -1 binary64) %358 x)
(fma.f64 %47 %197 x)
(fma.f64 %10 %121 x)
(fma.f64 #s(literal 1 binary64) %341 x)
(fma.f64 x %356 x)
(-.f64 x (*.f64 %347 x))
(-.f64 x %358)
(-.f64 x (*.f64 %71 %356))
(-.f64 x (*.f64 %172 %10))
(-.f64 x (*.f64 x %347))
(+.f64 (*.f64 %71 %347) %348)
(+.f64 %352 %350)
(+.f64 %350 %352)
(+.f64 (*.f64 %347 %71) %354)
(+.f64 %339 %337)
(+.f64 %337 %339)
(+.f64 %341 x)
(+.f64 x %341)
reconstruct19.0ms (1.4%)
Counts
269 → 55
Compiler
Compiled 269 to 424 computations (-57.6% saved)
eval5.0ms (0.4%)
Compiler
Compiled 53 to 147 computations (-177.4% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (6 fresh and 1 done)
PrunedKeptTotal
New47653
Fresh000
Picked011
Done000
Total47754
Accuracy
100.0%
Counts
54 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓86.7%
(/.f64 (*.f64 x (-.f64 y z)) y)
▶41.7%
(/.f64 (approx (* x (- y z)) (*.f64 x y)) y)
▶86.5%
(/.f64 #s(literal 1 binary64) (/.f64 y (*.f64 (-.f64 y z) x)))
▶95.5%
(-.f64 x (*.f64 x (/.f64 z y)))
▶83.9%
(*.f64 (-.f64 y z) (/.f64 x y))
▶86.6%
(*.f64 (*.f64 (-.f64 y z) x) (/.f64 #s(literal 1 binary64) y))
▶95.5%
(*.f64 x (/.f64 (-.f64 y z) y))
Compiler
Compiled 7 to 21 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series35.0ms (2.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02571074
Stop Event
1×iter-limit
Counts
20 → 59
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%4 = (*.f64 x y)
%6 = (/.f64 z y)
%9 = (approx (* x (- y z)) %4)
%10 = (/.f64 x y)
%11 = (/.f64 #s(literal 1 binary64) y)
%12 = (*.f64 %3 x)
%13 = (/.f64 %3 y)
%17 = (/.f64 y %12)
%19 = (*.f64 x %6)
x
y
z
%3
%4
#s(literal 1 binary64)
%6
%9
%10
%11
%12
%13
(*.f64 %12 %11)
(*.f64 %3 %10)
(*.f64 x %13)
%17
(/.f64 #s(literal 1 binary64) %17)
%19
(-.f64 x %19)
(/.f64 %9 y)
Outputs
%6 = (*.f64 x y)
%9 = (- y z)
%10 = (* x %9)
%11 = (-.f64 y z)
%12 = (*.f64 x %11)
%15 = (/.f64 x y)
%17 = (* %9 x)
%19 = (/ 1 y)
%20 = (* %17 %19)
%23 = (/ y %17)
%26 = (/ z y)
%27 = (* x %26)
%28 = (*.f64 x z)
%29 = (/.f64 %28 y)
%31 = (- x %27)
%33 = (/.f64 z y)
%38 = (*.f64 #s(literal -1 binary64) %33)
%39 = (+.f64 #s(literal 1 binary64) %38)
%43 = (*.f64 #s(literal -1 binary64) z)
%49 = (fma.f64 #s(literal -1 binary64) %28 %6)
%51 = (/.f64 #s(literal 1 binary64) y)
%53 = (/ %9 y)
%55 = (+.f64 y %43)
%58 = (*.f64 #s(literal -1 binary64) %29)
%66 = (pow.f64 z #s(literal 2 binary64))
%67 = (*.f64 x %66)
%70 = (/.f64 #s(literal 1 binary64) %28)
%75 = (pow.f64 z #s(literal 3 binary64))
%76 = (*.f64 x %75)
%79 = (/.f64 #s(literal 1 binary64) %67)
%103 = (+.f64 x %58)
%109 = (/.f64 #s(literal 1 binary64) x)
%111 = (/.f64 z %6)
%114 = (pow.f64 y #s(literal 2 binary64))
%115 = (*.f64 x %114)
%116 = (/.f64 %66 %115)
%121 = (pow.f64 y #s(literal 3 binary64))
%122 = (*.f64 x %121)
%139 = (/.f64 z x)
%156 = (/.f64 #s(literal 1 binary64) %6)
%167 = (/.f64 y z)
%171 = (/.f64 %6 z)
%175 = (/.f64 #s(literal 1 binary64) z)
%179 = (/.f64 x z)
%183 = (/.f64 y x)
%184 = (/.f64 %114 %28)
%189 = (/.f64 %121 %67)
%195 = (pow.f64 y #s(literal 4 binary64))
%230 = (/.f64 %114 x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x y) %6)
(approx %10 %12)
(approx (/ x y) %15)
(approx %20 (/.f64 %12 y))
(approx %23 (/.f64 y %12))
(approx %27 %29)
(approx %31 (*.f64 x (-.f64 #s(literal 1 binary64) %33)))
(approx %31 (*.f64 x %39))
(approx y y)
(approx %9 %43)
(approx %9 %11)
(approx %26 %33)
(approx %10 (*.f64 #s(literal -1 binary64) %28))
(approx %10 %49)
(approx %19 %51)
(approx %53 %38)
(approx %53 (/.f64 %55 y))
(approx %20 %58)
(approx %20 (/.f64 %49 y))
(approx %23 (*.f64 #s(literal -1 binary64) (/.f64 y %28)))
(approx %23 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y %67)) %70)))
(approx %23 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y %76)) %79)) %70)))
(approx %23 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y (*.f64 x (pow.f64 z #s(literal 4 binary64))))) (/.f64 #s(literal 1 binary64) %76))) %79)) %70)))
(approx %31 (/.f64 (-.f64 %6 %28) y))
(approx %9 (*.f64 y %39))
(approx %10 (*.f64 y %103))
(approx %53 #s(literal 1 binary64))
(approx %53 %39)
(approx %20 %103)
(approx %23 %109)
(approx %23 (+.f64 %109 %111))
(approx %23 (-.f64 (+.f64 %109 %116) (*.f64 #s(literal -1 binary64) %111)))
(approx %23 (-.f64 (+.f64 %109 (/.f64 %75 %122)) (fma.f64 #s(literal -1 binary64) %111 (*.f64 #s(literal -1 binary64) %116))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %33 #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %29))))
(approx %23 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %66 %6)) %139) y) %109))
(approx %23 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %75 %6) (*.f64 #s(literal -1 binary64) (/.f64 %66 x))) y)) %139) y) %109))
(approx z z)
(approx %9 %55)
(approx %23 (fma.f64 z (+.f64 %156 (/.f64 z %115)) %109))
(approx %23 (fma.f64 z (fma.f64 z (+.f64 (/.f64 #s(literal 1 binary64) %115) (/.f64 z %122)) %156) %109))
(approx %9 (*.f64 z (-.f64 %167 #s(literal 1 binary64))))
(approx %10 (*.f64 z (fma.f64 #s(literal -1 binary64) x %171)))
(approx %53 (*.f64 z (-.f64 %175 %51)))
(approx %20 (*.f64 z (fma.f64 #s(literal -1 binary64) %15 %179)))
(approx %23 (/.f64 (fma.f64 #s(literal -1 binary64) %183 (*.f64 #s(literal -1 binary64) %184)) z))
(approx %23 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) %183 (*.f64 #s(literal -1 binary64) %189)) %184) z))
(approx %23 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) %183 (*.f64 #s(literal -1 binary64) (/.f64 %195 %76))) (+.f64 %184 %189)) z))
(approx %31 (*.f64 z (-.f64 %179 %15)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %167)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %171)))))
(approx %53 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %51 %175))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %179 %15))))
(approx %23 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 %183 %184) z)))
(approx %23 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %121 %28)) %230) z) %183) z)))
(approx %23 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %195 %28) (*.f64 #s(literal -1 binary64) (/.f64 %121 x))) z)) %230) z) %183) z)))
(approx %31 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %179) (*.f64 #s(literal -1 binary64) %15)))))
Calls
9 calls:
TimeVariablePoint
18.0ms
y
-inf
5.0ms
y
0
4.0ms
x
inf
3.0ms
z
inf
3.0ms
x
0
rewrite90.0ms (6.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
022100
03796
112996
244996
3285096
0405296
0444296
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
20 → 2 289
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%4 = (*.f64 x y)
%6 = (/.f64 z y)
%9 = (approx (* x (- y z)) %4)
%10 = (/.f64 x y)
%11 = (/.f64 #s(literal 1 binary64) y)
%12 = (*.f64 %3 x)
%13 = (/.f64 %3 y)
%17 = (/.f64 y %12)
%19 = (*.f64 x %6)
x
y
z
%3
%4
#s(literal 1 binary64)
%6
%9
%10
%11
%12
%13
(*.f64 %12 %11)
(*.f64 %3 %10)
(*.f64 x %13)
%17
(/.f64 #s(literal 1 binary64) %17)
%19
(-.f64 x %19)
(/.f64 %9 y)
Outputs
%3 = (-.f64 y z)
%5 = (*.f64 %3 #s(literal 2 binary64))
%8 = (*.f64 %3 y)
%10 = (/.f64 #s(literal 1 binary64) y)
%12 = (*.f64 %3 #s(literal 1/2 binary64))
%14 = (*.f64 #s(literal 2 binary64) %3)
%16 = (*.f64 #s(literal 1/2 binary64) %3)
%20 = (/.f64 %3 y)
%23 = (-.f64 z y)
%24 = (/.f64 #s(literal -1 binary64) %23)
%28 = (neg.f64 y)
%33 = (*.f64 %28 %3)
%35 = (*.f64 y %3)
%38 = (*.f64 %23 #s(literal 1 binary64))
%45 = (*.f64 %3 #s(literal 0 binary64))
%47 = (*.f64 #s(literal 0 binary64) %3)
%53 = (*.f64 z #s(literal 2 binary64))
%61 = (neg.f64 z)
%75 = (*.f64 %61 #s(literal 1 binary64))
%83 = (*.f64 y x)
%89 = (/.f64 #s(literal 1/2 binary64) y)
%91 = (/.f64 #s(literal -1 binary64) y)
%96 = (/.f64 %61 y)
%99 = (/.f64 z y)
%115 = (approx (* (- y z) x) %83)
%116 = (*.f64 %115 #s(literal 2 binary64))
%118 = (*.f64 %115 y)
%120 = (*.f64 %115 #s(literal 1/2 binary64))
%131 = (neg.f64 %115)
%133 = (*.f64 %115 #s(literal 0 binary64))
%135 = (*.f64 #s(literal 0 binary64) %115)
%141 = (*.f64 #s(literal 1/2 binary64) %115)
%152 = (*.f64 x #s(literal 2 binary64))
%154 = (neg.f64 x)
%156 = (/.f64 x y)
%157 = (*.f64 #s(literal 2 binary64) %156)
%161 = (*.f64 #s(literal 1/2 binary64) %156)
%164 = (*.f64 %91 x)
%172 = (/.f64 y x)
%181 = (*.f64 #s(literal 2 binary64) %28)
%183 = (*.f64 #s(literal 2 binary64) x)
%184 = (*.f64 #s(literal 2 binary64) y)
%187 = (*.f64 y y)
%189 = (*.f64 %28 x)
%190 = (*.f64 %28 y)
%202 = (/.f64 %154 y)
%204 = (*.f64 %10 #s(literal 2 binary64))
%207 = (*.f64 #s(literal 1/2 binary64) %91)
%209 = (/.f64 #s(literal 1/2 binary64) %28)
%212 = (/.f64 #s(literal 2 binary64) y)
%218 = (/.f64 #s(literal 1 binary64) %187)
%223 = (*.f64 %10 %28)
%225 = (*.f64 #s(literal -1 binary64) %28)
%227 = (*.f64 #s(literal -1 binary64) y)
%229 = (*.f64 %28 #s(literal -1 binary64))
%231 = (*.f64 y #s(literal -1 binary64))
%233 = (*.f64 %28 #s(literal 2 binary64))
%237 = (*.f64 y #s(literal 2 binary64))
%251 = (*.f64 %10 #s(literal 0 binary64))
%253 = (*.f64 #s(literal 0 binary64) %10)
%255 = (/.f64 #s(literal 0 binary64) y)
%296 = (*.f64 %3 x)
%297 = (*.f64 %296 #s(literal 1/2 binary64))
%299 = (*.f64 %296 y)
%301 = (*.f64 #s(literal 2 binary64) %296)
%304 = (*.f64 #s(literal 1/2 binary64) %296)
%310 = (*.f64 %20 x)
%313 = (*.f64 %23 x)
%314 = (/.f64 #s(literal -1 binary64) %313)
%317 = (*.f64 %296 %28)
%320 = (*.f64 %28 %296)
%322 = (*.f64 y %296)
%326 = (*.f64 z x)
%330 = (*.f64 %296 #s(literal 0 binary64))
%332 = (*.f64 #s(literal 0 binary64) %296)
%334 = (/.f64 #s(literal 1/2 binary64) %24)
%336 = (/.f64 #s(literal 1 binary64) x)
%337 = (/.f64 #s(literal 1/2 binary64) %336)
%359 = (*.f64 %61 x)
%364 = (*.f64 %359 #s(literal 1 binary64))
%376 = (*.f64 %61 %154)
%388 = (/.f64 #s(literal 2 binary64) %24)
%392 = (*.f64 y %23)
%393 = (/.f64 #s(literal 1 binary64) %190)
%396 = (*.f64 #s(literal 2 binary64) %20)
%398 = (/.f64 y %3)
%399 = (/.f64 #s(literal 2 binary64) %398)
%401 = (*.f64 #s(literal 1/2 binary64) %20)
%403 = (*.f64 %89 %3)
%405 = (/.f64 #s(literal 1/2 binary64) %398)
%408 = (*.f64 %91 %3)
%414 = (*.f64 %10 %20)
%416 = (/.f64 %10 %398)
%426 = (*.f64 %61 #s(literal 2 binary64))
%432 = (*.f64 #s(literal 2 binary64) %61)
%477 = (*.f64 #s(literal 2 binary64) %398)
%479 = (*.f64 %28 %398)
%482 = (/.f64 y %23)
%494 = (*.f64 y %398)
%499 = (/.f64 #s(literal -1 binary64) %398)
%501 = (/.f64 %23 y)
%503 = (/.f64 #s(literal 0 binary64) %398)
%553 = (/.f64 #s(literal 2 binary64) x)
%554 = (/.f64 #s(literal 1 binary64) %553)
%555 = (/.f64 #s(literal 1/2 binary64) %3)
%556 = (/.f64 %10 %555)
%557 = (*.f64 %554 %556)
%558 = (/.f64 #s(literal 2 binary64) %3)
%559 = (/.f64 #s(literal 1 binary64) %558)
%560 = (/.f64 #s(literal 1/2 binary64) x)
%561 = (/.f64 %10 %560)
%562 = (*.f64 %559 %561)
%563 = (*.f64 %10 %301)
%564 = (*.f64 %563 #s(literal 1/2 binary64))
%565 = (*.f64 %310 #s(literal 2 binary64))
%566 = (*.f64 %565 #s(literal 1/2 binary64))
%567 = (*.f64 %310 y)
%568 = (*.f64 %567 %10)
%569 = (/.f64 %10 #s(literal -1 binary64))
%570 = (*.f64 %569 %313)
%571 = (*.f64 %164 %23)
%572 = (*.f64 %408 %154)
%573 = (*.f64 %499 %154)
%574 = (/.f64 #s(literal -2 binary64) y)
%575 = (/.f64 #s(literal -1 binary64) %296)
%576 = (/.f64 #s(literal 1/2 binary64) %575)
%577 = (*.f64 %574 %576)
%578 = (/.f64 #s(literal 2 binary64) %558)
%579 = (/.f64 %89 %560)
%580 = (*.f64 %578 %579)
%581 = (/.f64 #s(literal 2 binary64) %553)
%582 = (/.f64 %89 %555)
%583 = (*.f64 %581 %582)
%584 = (/.f64 #s(literal -1 binary64) %558)
%585 = (/.f64 %91 %560)
%586 = (*.f64 %584 %585)
%587 = (/.f64 #s(literal -1 binary64) %553)
%588 = (/.f64 %91 %555)
%589 = (*.f64 %587 %588)
%590 = (/.f64 %10 %558)
%591 = (/.f64 #s(literal 1 binary64) %560)
%592 = (*.f64 %590 %591)
%593 = (/.f64 %10 %553)
%594 = (/.f64 #s(literal 1 binary64) %555)
%595 = (*.f64 %593 %594)
%596 = (/.f64 %10 #s(literal 2 binary64))
%597 = (/.f64 #s(literal -1/2 binary64) %313)
%598 = (/.f64 #s(literal 1 binary64) %597)
%599 = (*.f64 %596 %598)
%600 = (*.f64 %399 %337)
%601 = (/.f64 %10 %336)
%602 = (*.f64 %601 %3)
%603 = (/.f64 y %398)
%604 = (*.f64 %603 %601)
%605 = (/.f64 y %314)
%606 = (*.f64 %605 %218)
%607 = (/.f64 #s(literal 2 binary64) %314)
%608 = (*.f64 %607 %89)
%609 = (/.f64 #s(literal 2 binary64) %28)
%610 = (/.f64 #s(literal -1/2 binary64) %314)
%611 = (*.f64 %609 %610)
%612 = (*.f64 %609 %576)
%613 = (/.f64 #s(literal 2 binary64) %336)
%614 = (*.f64 %405 %613)
%615 = (/.f64 #s(literal 2 binary64) %575)
%616 = (*.f64 %209 %615)
%617 = (*.f64 %301 %89)
%618 = (*.f64 %89 %296)
%619 = (*.f64 %618 #s(literal 2 binary64))
%620 = (*.f64 %89 %607)
%621 = (/.f64 %313 y)
%622 = (*.f64 #s(literal 1/2 binary64) %621)
%623 = (*.f64 #s(literal -2 binary64) %622)
%624 = (/.f64 y %313)
%625 = (/.f64 #s(literal 1/2 binary64) %624)
%626 = (*.f64 #s(literal -2 binary64) %625)
%627 = (/.f64 %91 %597)
%628 = (*.f64 #s(literal -1/2 binary64) %627)
%629 = (*.f64 %202 %23)
%630 = (*.f64 %501 %154)
%631 = (*.f64 %621 #s(literal -1 binary64))
%632 = (/.f64 #s(literal -1 binary64) %314)
%633 = (*.f64 %91 %632)
%634 = (*.f64 %91 %313)
%635 = (*.f64 %304 %212)
%636 = (*.f64 %304 #s(literal 1 binary64))
%637 = (*.f64 %212 %636)
%638 = (*.f64 %212 %304)
%639 = (*.f64 #s(literal 2 binary64) %310)
%640 = (*.f64 #s(literal 1/2 binary64) %639)
%641 = (/.f64 y %296)
%642 = (/.f64 #s(literal 2 binary64) %641)
%643 = (*.f64 #s(literal 1/2 binary64) %642)
%644 = (/.f64 %10 %597)
%645 = (*.f64 #s(literal 1/2 binary64) %644)
%646 = (*.f64 #s(literal 2 binary64) %618)
%647 = (*.f64 %313 %91)
%648 = (*.f64 %154 %408)
%649 = (*.f64 %154 %501)
%650 = (*.f64 %23 %164)
%651 = (*.f64 %23 %202)
%652 = (*.f64 %621 #s(literal 1 binary64))
%653 = (*.f64 #s(literal -1 binary64) %652)
%654 = (*.f64 #s(literal -1 binary64) %621)
%655 = (*.f64 %310 #s(literal 1 binary64))
%656 = (*.f64 %296 %10)
%657 = (/.f64 #s(literal -1 binary64) %575)
%658 = (*.f64 %10 %657)
%659 = (*.f64 %10 %296)
%660 = (*.f64 %156 %3)
%661 = (/.f64 %89 %597)
%662 = (*.f64 #s(literal 1 binary64) %661)
%663 = (*.f64 #s(literal 1 binary64) %310)
%664 = (*.f64 %3 %156)
%665 = (*.f64 %10 %310)
%666 = (*.f64 y %665)
%667 = (/.f64 %10 %641)
%668 = (*.f64 y %667)
%669 = (*.f64 x %20)
%670 = (pow.f64 %310 #s(literal 1 binary64))
%671 = (pow.f64 %641 #s(literal -1 binary64))
%673 = (/.f64 (*.f64 %212 #s(literal 1/2 binary64)) %314)
%674 = (/.f64 %565 #s(literal 2 binary64))
%676 = (/.f64 (*.f64 %310 %28) %28)
%677 = (/.f64 %567 y)
%679 = (/.f64 (*.f64 x %392) %190)
%681 = (/.f64 (*.f64 x %35) %187)
%683 = (/.f64 (*.f64 %392 x) %190)
%685 = (/.f64 (*.f64 %35 x) %187)
%686 = (/.f64 %639 #s(literal 2 binary64))
%688 = (/.f64 (*.f64 %28 %310) %28)
%690 = (/.f64 (fma.f64 x %28 %376) %28)
%691 = (*.f64 x %28)
%693 = (/.f64 (-.f64 %691 %359) %28)
%694 = (/.f64 %590 %560)
%695 = (/.f64 %593 %555)
%696 = (/.f64 %596 %597)
%698 = (/.f64 (*.f64 %313 #s(literal 2 binary64)) %233)
%700 = (/.f64 (*.f64 %313 %28) %187)
%702 = (/.f64 (*.f64 %313 y) %190)
%703 = (/.f64 %317 %190)
%704 = (/.f64 %299 %187)
%706 = (/.f64 %204 (*.f64 %314 #s(literal 2 binary64)))
%707 = (/.f64 %223 %624)
%709 = (/.f64 %152 (*.f64 %398 #s(literal 2 binary64)))
%711 = (/.f64 %691 (*.f64 %398 %28))
%713 = (/.f64 %225 (*.f64 %624 %28))
%715 = (/.f64 %227 (*.f64 %624 y))
%717 = (/.f64 (*.f64 #s(literal 2 binary64) %313) %181)
%719 = (/.f64 (*.f64 %28 %313) %187)
%721 = (/.f64 %229 (*.f64 %28 %624))
%722 = (/.f64 %320 %190)
%724 = (/.f64 (*.f64 y %313) %190)
%726 = (/.f64 %231 (*.f64 y %624))
%727 = (/.f64 %322 %187)
%728 = (/.f64 %183 %477)
%729 = (/.f64 %189 %479)
%730 = (/.f64 %301 %237)
%731 = (/.f64 %301 %184)
%733 = (/.f64 #s(literal -2 binary64) (*.f64 %624 #s(literal 2 binary64)))
%735 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %624))
%736 = (/.f64 %91 %575)
%738 = (/.f64 %212 (*.f64 #s(literal 2 binary64) %314))
%740 = (/.f64 #s(literal 2 binary64) (*.f64 %641 #s(literal 2 binary64)))
%742 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %641))
%743 = (/.f64 %313 %28)
%744 = (/.f64 %154 %482)
%746 = (/.f64 %28 (*.f64 %641 %28))
%748 = (/.f64 %28 (*.f64 %28 %641))
%749 = (/.f64 #s(literal -1 binary64) %624)
%750 = (/.f64 %20 %336)
%751 = (/.f64 %296 y)
%752 = (/.f64 %10 %314)
%753 = (/.f64 %156 %24)
%755 = (/.f64 #s(literal 1 binary64) (/.f64 %314 %10))
%757 = (/.f64 #s(literal 1 binary64) (pow.f64 %310 #s(literal -1 binary64)))
%759 = (/.f64 #s(literal 1 binary64) (/.f64 %624 #s(literal -1 binary64)))
%760 = (/.f64 #s(literal 1 binary64) %641)
%762 = (/.f64 %83 (*.f64 %398 y))
%763 = (/.f64 %83 %494)
%764 = (/.f64 %3 %172)
%766 = (/.f64 y (*.f64 %641 y))
%768 = (/.f64 y (*.f64 y %641))
%769 = (/.f64 x %398)
%770 = (neg.f64 %652)
%772 = (neg.f64 (*.f64 %202 %3))
%774 = (neg.f64 (*.f64 %310 #s(literal -1 binary64)))
%776 = (neg.f64 (*.f64 %3 %202))
%777 = (neg.f64 %621)
%778 = (*.f64 %310 #s(literal 0 binary64))
%779 = (fma.f64 %554 %556 %778)
%780 = (*.f64 #s(literal 0 binary64) %310)
%781 = (fma.f64 %554 %556 %780)
%782 = (/.f64 #s(literal 0 binary64) %641)
%783 = (fma.f64 %554 %556 %782)
%784 = (fma.f64 %559 %561 %778)
%785 = (fma.f64 %559 %561 %780)
%786 = (fma.f64 %559 %561 %782)
%787 = (fma.f64 %563 #s(literal 1/2 binary64) %778)
%788 = (fma.f64 %563 #s(literal 1/2 binary64) %780)
%789 = (fma.f64 %563 #s(literal 1/2 binary64) %782)
%791 = (fma.f64 (*.f64 %359 #s(literal 2 binary64)) %89 x)
%792 = (fma.f64 %401 x %618)
%793 = (fma.f64 %161 %3 %618)
%794 = (fma.f64 %565 #s(literal 1/2 binary64) %778)
%795 = (fma.f64 %565 #s(literal 1/2 binary64) %780)
%796 = (fma.f64 %565 #s(literal 1/2 binary64) %782)
%797 = (fma.f64 %567 %10 %778)
%798 = (fma.f64 %567 %10 %780)
%799 = (fma.f64 %567 %10 %782)
%800 = (fma.f64 %569 %313 %778)
%801 = (fma.f64 %569 %313 %780)
%802 = (fma.f64 %569 %313 %782)
%804 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %172) %3 %618)
%806 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %482) %154 %618)
%807 = (fma.f64 %16 %156 %618)
%809 = (fma.f64 (*.f64 %359 #s(literal -1 binary64)) %91 x)
%811 = (fma.f64 (*.f64 #s(literal 1/2 binary64) x) %20 %618)
%812 = (fma.f64 %364 %10 x)
%813 = (fma.f64 %164 %23 %778)
%814 = (fma.f64 %164 %23 %780)
%815 = (fma.f64 %164 %23 %782)
%816 = (fma.f64 %408 %154 %778)
%817 = (fma.f64 %408 %154 %780)
%818 = (fma.f64 %408 %154 %782)
%819 = (fma.f64 %207 %313 %618)
%820 = (fma.f64 %499 %154 %778)
%821 = (fma.f64 %499 %154 %780)
%822 = (fma.f64 %499 %154 %782)
%823 = (fma.f64 %574 %576 %778)
%824 = (fma.f64 %574 %576 %780)
%825 = (fma.f64 %574 %576 %782)
%826 = (fma.f64 %578 %579 %778)
%827 = (fma.f64 %578 %579 %780)
%828 = (fma.f64 %578 %579 %782)
%829 = (fma.f64 %581 %582 %778)
%830 = (fma.f64 %581 %582 %780)
%831 = (fma.f64 %581 %582 %782)
%832 = (fma.f64 %584 %585 %778)
%833 = (fma.f64 %584 %585 %780)
%834 = (fma.f64 %584 %585 %782)
%835 = (fma.f64 %587 %588 %778)
%836 = (fma.f64 %587 %588 %780)
%837 = (fma.f64 %587 %588 %782)
%838 = (fma.f64 %590 %591 %778)
%839 = (fma.f64 %590 %591 %780)
%840 = (fma.f64 %590 %591 %782)
%841 = (fma.f64 %593 %594 %778)
%842 = (fma.f64 %593 %594 %780)
%843 = (fma.f64 %593 %594 %782)
%844 = (fma.f64 %596 %598 %778)
%845 = (fma.f64 %596 %598 %780)
%846 = (fma.f64 %596 %598 %782)
%847 = (fma.f64 %399 %337 %778)
%848 = (fma.f64 %399 %337 %780)
%849 = (fma.f64 %399 %337 %782)
%850 = (fma.f64 %601 %3 %778)
%851 = (fma.f64 %601 %3 %780)
%852 = (fma.f64 %601 %3 %782)
%853 = (fma.f64 %603 %601 %778)
%854 = (fma.f64 %603 %601 %780)
%855 = (fma.f64 %603 %601 %782)
%856 = (fma.f64 %605 %218 %778)
%857 = (fma.f64 %605 %218 %780)
%858 = (fma.f64 %605 %218 %782)
%859 = (fma.f64 %607 %89 %778)
%860 = (fma.f64 %607 %89 %780)
%861 = (fma.f64 %607 %89 %782)
%862 = (fma.f64 %609 %610 %778)
%863 = (fma.f64 %609 %610 %780)
%864 = (fma.f64 %609 %610 %782)
%865 = (fma.f64 %609 %576 %778)
%866 = (fma.f64 %609 %576 %780)
%867 = (fma.f64 %609 %576 %782)
%868 = (fma.f64 %405 %613 %778)
%869 = (fma.f64 %405 %613 %780)
%870 = (fma.f64 %405 %613 %782)
%871 = (fma.f64 %405 x %618)
%872 = (fma.f64 %209 %615 %778)
%873 = (fma.f64 %209 %615 %780)
%874 = (fma.f64 %209 %615 %782)
%875 = (fma.f64 %209 %313 %618)
%876 = (fma.f64 %301 %89 %778)
%877 = (fma.f64 %301 %89 %780)
%878 = (fma.f64 %301 %89 %782)
%879 = (fma.f64 %376 %91 x)
%880 = (fma.f64 %618 #s(literal 2 binary64) %778)
%881 = (fma.f64 %618 #s(literal 2 binary64) %780)
%882 = (fma.f64 %618 #s(literal 2 binary64) %782)
%883 = (fma.f64 %618 #s(literal 1 binary64) %618)
%884 = (fma.f64 %89 %607 %778)
%885 = (fma.f64 %89 %607 %780)
%886 = (fma.f64 %89 %607 %782)
%887 = (fma.f64 %89 %296 %618)
%888 = (fma.f64 #s(literal -2 binary64) %622 %778)
%889 = (fma.f64 #s(literal -2 binary64) %622 %780)
%890 = (fma.f64 #s(literal -2 binary64) %622 %782)
%891 = (fma.f64 #s(literal -2 binary64) %625 %778)
%892 = (fma.f64 #s(literal -2 binary64) %625 %780)
%893 = (fma.f64 #s(literal -2 binary64) %625 %782)
%894 = (fma.f64 #s(literal -1/2 binary64) %627 %778)
%895 = (fma.f64 #s(literal -1/2 binary64) %627 %780)
%896 = (fma.f64 #s(literal -1/2 binary64) %627 %782)
%897 = (fma.f64 #s(literal -1/2 binary64) %621 %618)
%898 = (fma.f64 %202 %23 %778)
%899 = (fma.f64 %202 %23 %780)
%900 = (fma.f64 %202 %23 %782)
%901 = (fma.f64 %202 z x)
%902 = (fma.f64 %501 %154 %778)
%903 = (fma.f64 %501 %154 %780)
%904 = (fma.f64 %501 %154 %782)
%905 = (fma.f64 %621 #s(literal -1 binary64) %778)
%906 = (fma.f64 %621 #s(literal -1 binary64) %780)
%907 = (fma.f64 %621 #s(literal -1 binary64) %782)
%908 = (fma.f64 %91 %632 %778)
%909 = (fma.f64 %91 %632 %780)
%910 = (fma.f64 %91 %632 %782)
%911 = (fma.f64 %91 %313 %778)
%912 = (fma.f64 %91 %313 %780)
%913 = (fma.f64 %91 %313 %782)
%914 = (fma.f64 %304 %212 %778)
%915 = (fma.f64 %304 %212 %780)
%916 = (fma.f64 %304 %212 %782)
%917 = (fma.f64 %304 %10 %618)
%918 = (fma.f64 %212 %636 %778)
%919 = (fma.f64 %212 %636 %780)
%920 = (fma.f64 %212 %636 %782)
%921 = (fma.f64 %212 %304 %778)
%922 = (fma.f64 %212 %304 %780)
%923 = (fma.f64 %212 %304 %782)
%924 = (fma.f64 %96 x x)
%925 = (fma.f64 %359 %10 x)
%926 = (fma.f64 %326 %91 x)
%927 = (fma.f64 #s(literal 1/2 binary64) %639 %778)
%928 = (fma.f64 #s(literal 1/2 binary64) %639 %780)
%929 = (fma.f64 #s(literal 1/2 binary64) %639 %782)
%930 = (fma.f64 #s(literal 1/2 binary64) %642 %778)
%931 = (fma.f64 #s(literal 1/2 binary64) %642 %780)
%932 = (fma.f64 #s(literal 1/2 binary64) %642 %782)
%933 = (fma.f64 #s(literal 1/2 binary64) %644 %778)
%934 = (fma.f64 #s(literal 1/2 binary64) %644 %780)
%935 = (fma.f64 #s(literal 1/2 binary64) %644 %782)
%936 = (fma.f64 #s(literal 1/2 binary64) %310 %618)
%937 = (fma.f64 #s(literal 2 binary64) %618 %778)
%938 = (fma.f64 #s(literal 2 binary64) %618 %780)
%939 = (fma.f64 #s(literal 2 binary64) %618 %782)
%940 = (*.f64 %61 %156)
%941 = (fma.f64 %940 #s(literal 1 binary64) x)
%942 = (fma.f64 %61 %156 x)
%943 = (fma.f64 %313 %91 %778)
%944 = (fma.f64 %313 %91 %780)
%945 = (fma.f64 %313 %91 %782)
%946 = (fma.f64 %154 %408 %778)
%947 = (fma.f64 %154 %408 %780)
%948 = (fma.f64 %154 %408 %782)
%949 = (fma.f64 %154 %501 %778)
%950 = (fma.f64 %154 %501 %780)
%951 = (fma.f64 %154 %501 %782)
%952 = (fma.f64 %154 %99 x)
%953 = (fma.f64 %23 %164 %778)
%954 = (fma.f64 %23 %164 %780)
%955 = (fma.f64 %23 %164 %782)
%956 = (fma.f64 %23 %202 %778)
%957 = (fma.f64 %23 %202 %780)
%958 = (fma.f64 %23 %202 %782)
%959 = (fma.f64 #s(literal -1 binary64) %652 %778)
%960 = (fma.f64 #s(literal -1 binary64) %652 %780)
%961 = (fma.f64 #s(literal -1 binary64) %652 %782)
%962 = (fma.f64 #s(literal -1 binary64) %621 %778)
%963 = (fma.f64 #s(literal -1 binary64) %621 %780)
%964 = (fma.f64 #s(literal -1 binary64) %621 %782)
%965 = (fma.f64 %310 #s(literal 1/2 binary64) %618)
%966 = (fma.f64 %310 #s(literal 1 binary64) %778)
%967 = (fma.f64 %310 #s(literal 1 binary64) %780)
%968 = (fma.f64 %310 #s(literal 1 binary64) %782)
%969 = (fma.f64 %20 x %778)
%970 = (fma.f64 %20 x %780)
%971 = (fma.f64 %20 x %782)
%972 = (fma.f64 %296 %10 %778)
%973 = (fma.f64 %296 %10 %780)
%974 = (fma.f64 %296 %10 %782)
%975 = (fma.f64 %10 %657 %778)
%976 = (fma.f64 %10 %657 %780)
%977 = (fma.f64 %10 %657 %782)
%978 = (fma.f64 %10 %304 %618)
%979 = (fma.f64 %10 %359 x)
%980 = (fma.f64 %10 %296 %778)
%981 = (fma.f64 %10 %296 %780)
%982 = (fma.f64 %10 %296 %782)
%983 = (fma.f64 %156 %61 x)
%984 = (fma.f64 %156 %3 %778)
%985 = (fma.f64 %156 %3 %780)
%986 = (fma.f64 %156 %3 %782)
%987 = (fma.f64 %99 %154 x)
%988 = (fma.f64 #s(literal 1 binary64) %661 %778)
%989 = (fma.f64 #s(literal 1 binary64) %661 %780)
%990 = (fma.f64 #s(literal 1 binary64) %661 %782)
%991 = (fma.f64 #s(literal 1 binary64) %618 %618)
%992 = (fma.f64 #s(literal 1 binary64) %940 x)
%993 = (fma.f64 #s(literal 1 binary64) %310 %778)
%994 = (fma.f64 #s(literal 1 binary64) %310 %780)
%995 = (fma.f64 #s(literal 1 binary64) %310 %782)
%996 = (fma.f64 %3 %156 %778)
%997 = (fma.f64 %3 %156 %780)
%998 = (fma.f64 %3 %156 %782)
%1000 = (fma.f64 z (*.f64 %10 %154) x)
%1001 = (fma.f64 z %202 x)
%1002 = (fma.f64 y %665 %778)
%1003 = (fma.f64 y %665 %780)
%1004 = (fma.f64 y %665 %782)
%1005 = (fma.f64 y %667 %778)
%1006 = (fma.f64 y %667 %780)
%1007 = (fma.f64 y %667 %782)
%1008 = (fma.f64 x %96 x)
%1009 = (fma.f64 x %20 %778)
%1010 = (fma.f64 x %20 %780)
%1011 = (fma.f64 x %20 %782)
%1012 = (-.f64 %940 %154)
%1014 = (-.f64 x (*.f64 %202 %61))
%1015 = (*.f64 %156 z)
%1016 = (-.f64 x %1015)
%1017 = (+.f64 %618 %618)
%1018 = (+.f64 %940 x)
%1019 = (+.f64 %310 %778)
%1020 = (+.f64 %310 %780)
%1021 = (+.f64 %310 %782)
%1022 = (+.f64 x %940)
%1027 = (/.f64 y %301)
%1070 = (*.f64 %326 #s(literal -1 binary64))
%1072 = (*.f64 %326 #s(literal 1 binary64))
%1107 = (*.f64 %91 %115)
%1109 = (/.f64 %115 y)
x
y
z
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 %10)
(*.f64 %12 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %14)
(*.f64 #s(literal 2 binary64) %16)
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 y %20)
(pow.f64 %24 #s(literal -1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 (*.f64 %3 %28) %28)
(/.f64 %8 y)
(/.f64 %14 #s(literal 2 binary64))
(/.f64 %33 %28)
(/.f64 %35 y)
(/.f64 #s(literal 1 binary64) %24)
(neg.f64 %38)
(neg.f64 %23)
(fma.f64 (*.f64 z #s(literal -2 binary64)) #s(literal 1/2 binary64) y)
(fma.f64 %5 #s(literal 1/2 binary64) %45)
(fma.f64 %5 #s(literal 1/2 binary64) %47)
(fma.f64 %8 %10 %45)
(fma.f64 %8 %10 %47)
(fma.f64 %12 #s(literal 2 binary64) %45)
(fma.f64 %12 #s(literal 2 binary64) %47)
(fma.f64 %53 #s(literal -1/2 binary64) y)
(fma.f64 #s(literal 1/2 binary64) %14 %45)
(fma.f64 #s(literal 1/2 binary64) %14 %47)
(fma.f64 #s(literal 1/2 binary64) %3 %16)
(fma.f64 #s(literal 2 binary64) %16 %45)
(fma.f64 #s(literal 2 binary64) %16 %47)
(fma.f64 %61 #s(literal 1 binary64) y)
(fma.f64 #s(literal -1 binary64) z y)
(fma.f64 #s(literal 1 binary64) %61 y)
(fma.f64 #s(literal 1 binary64) %3 %45)
(fma.f64 #s(literal 1 binary64) %3 %47)
(fma.f64 %3 #s(literal 1/2 binary64) %12)
(fma.f64 %3 #s(literal 1 binary64) %45)
(fma.f64 %3 #s(literal 1 binary64) %47)
(fma.f64 z #s(literal -1 binary64) y)
(fma.f64 y %20 %45)
(fma.f64 y %20 %47)
(-.f64 %61 %28)
%3
(+.f64 %12 %12)
(+.f64 %75 y)
(+.f64 %16 %16)
(+.f64 %61 y)
(+.f64 %3 %45)
(+.f64 %3 %47)
(+.f64 y %75)
(+.f64 y %61)
(*.f64 #s(literal 1 binary64) %83)
%83
(*.f64 x y)
(pow.f64 %83 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %83 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 %53 %89)
(*.f64 %91 %61)
(*.f64 #s(literal 2 binary64) (*.f64 %89 z))
(*.f64 %61 %91)
(*.f64 #s(literal -1 binary64) %96)
(*.f64 %10 z)
(*.f64 %99 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %99)
(*.f64 z %10)
(pow.f64 %99 #s(literal 1 binary64))
(/.f64 %75 %28)
(/.f64 %61 %28)
(/.f64 #s(literal 1 binary64) (pow.f64 %99 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %28 %61))
(/.f64 #s(literal 1 binary64) (/.f64 y z))
%99
(neg.f64 %96)
(*.f64 %116 #s(literal 1/2 binary64))
(*.f64 %118 %10)
(*.f64 %120 #s(literal 2 binary64))
(*.f64 %115 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %115)
(pow.f64 %115 #s(literal 1 binary64))
%115
(/.f64 %116 #s(literal 2 binary64))
(/.f64 (*.f64 %115 %28) %28)
(/.f64 %118 y)
(/.f64 #s(literal 1 binary64) (pow.f64 %115 #s(literal -1 binary64)))
(neg.f64 %131)
(fma.f64 %116 #s(literal 1/2 binary64) %133)
(fma.f64 %116 #s(literal 1/2 binary64) %135)
(fma.f64 %118 %10 %133)
(fma.f64 %118 %10 %135)
(fma.f64 %120 #s(literal 2 binary64) %133)
(fma.f64 %120 #s(literal 2 binary64) %135)
(fma.f64 #s(literal 1/2 binary64) %115 %141)
(fma.f64 %115 #s(literal 1/2 binary64) %120)
(fma.f64 %115 #s(literal 1 binary64) %133)
(fma.f64 %115 #s(literal 1 binary64) %135)
(fma.f64 #s(literal 1 binary64) %115 %133)
(fma.f64 #s(literal 1 binary64) %115 %135)
(+.f64 %120 %120)
(+.f64 %141 %141)
(+.f64 %115 %133)
(+.f64 %115 %135)
(*.f64 %152 %89)
(*.f64 %91 %154)
(*.f64 #s(literal 1/2 binary64) %157)
(*.f64 #s(literal 2 binary64) (*.f64 %89 x))
(*.f64 #s(literal 2 binary64) %161)
(*.f64 %154 %91)
(*.f64 #s(literal -1 binary64) %164)
(*.f64 %10 x)
(*.f64 %156 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %156)
(*.f64 y (*.f64 %10 %156))
(*.f64 x %10)
(pow.f64 %172 #s(literal -1 binary64))
(pow.f64 %156 #s(literal 1 binary64))
(/.f64 (*.f64 %154 #s(literal 1 binary64)) %28)
(/.f64 %157 #s(literal 2 binary64))
(/.f64 (*.f64 %28 %156) %28)
(/.f64 (*.f64 #s(literal 2 binary64) %154) %181)
(/.f64 %183 %184)
(/.f64 (*.f64 %28 %154) %187)
(/.f64 %189 %190)
(/.f64 (*.f64 y %154) %190)
(/.f64 %154 %28)
(/.f64 #s(literal 1 binary64) (pow.f64 %156 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %172)
(/.f64 %83 %187)
%156
(neg.f64 %164)
(neg.f64 (*.f64 #s(literal -1 binary64) %156))
(neg.f64 %202)
(*.f64 %204 #s(literal 1/2 binary64))
(*.f64 %89 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %207)
(*.f64 #s(literal -2 binary64) %209)
(*.f64 %91 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %212)
(*.f64 #s(literal 2 binary64) %89)
(*.f64 #s(literal -1 binary64) %91)
(*.f64 %10 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %10)
(*.f64 y %218)
(pow.f64 %10 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 %204 #s(literal 2 binary64))
(/.f64 %223 %28)
(/.f64 %225 %187)
(/.f64 %227 %190)
(/.f64 %229 %187)
(/.f64 %231 %190)
(/.f64 #s(literal -2 binary64) %233)
(/.f64 #s(literal -2 binary64) %181)
(/.f64 %212 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) %237)
(/.f64 #s(literal 2 binary64) %184)
(/.f64 %28 %190)
(/.f64 #s(literal -1 binary64) %28)
(/.f64 %10 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %28 #s(literal -1 binary64)))
%10
(/.f64 y %187)
(neg.f64 (*.f64 %10 #s(literal -1 binary64)))
(neg.f64 %91)
(fma.f64 %204 #s(literal 1/2 binary64) %251)
(fma.f64 %204 #s(literal 1/2 binary64) %253)
(fma.f64 %204 #s(literal 1/2 binary64) %255)
(fma.f64 %89 #s(literal 2 binary64) %251)
(fma.f64 %89 #s(literal 2 binary64) %253)
(fma.f64 %89 #s(literal 2 binary64) %255)
(fma.f64 %89 #s(literal 1 binary64) %89)
(fma.f64 #s(literal -2 binary64) %207 %251)
(fma.f64 #s(literal -2 binary64) %207 %253)
(fma.f64 #s(literal -2 binary64) %207 %255)
(fma.f64 #s(literal -2 binary64) %209 %251)
(fma.f64 #s(literal -2 binary64) %209 %253)
(fma.f64 #s(literal -2 binary64) %209 %255)
(fma.f64 #s(literal -1/2 binary64) %91 %89)
(fma.f64 %91 #s(literal -1 binary64) %251)
(fma.f64 %91 #s(literal -1 binary64) %253)
(fma.f64 %91 #s(literal -1 binary64) %255)
(fma.f64 #s(literal 1/2 binary64) %212 %251)
(fma.f64 #s(literal 1/2 binary64) %212 %253)
(fma.f64 #s(literal 1/2 binary64) %212 %255)
(fma.f64 #s(literal 1/2 binary64) %10 %89)
(fma.f64 #s(literal 2 binary64) %89 %251)
(fma.f64 #s(literal 2 binary64) %89 %253)
(fma.f64 #s(literal 2 binary64) %89 %255)
(fma.f64 #s(literal -1 binary64) %91 %251)
(fma.f64 #s(literal -1 binary64) %91 %253)
(fma.f64 #s(literal -1 binary64) %91 %255)
(fma.f64 %10 #s(literal 1/2 binary64) %89)
(fma.f64 %10 #s(literal 1 binary64) %251)
(fma.f64 %10 #s(literal 1 binary64) %253)
(fma.f64 %10 #s(literal 1 binary64) %255)
(fma.f64 #s(literal 1 binary64) %89 %89)
(fma.f64 #s(literal 1 binary64) %10 %251)
(fma.f64 #s(literal 1 binary64) %10 %253)
(fma.f64 #s(literal 1 binary64) %10 %255)
(fma.f64 y %218 %251)
(fma.f64 y %218 %253)
(fma.f64 y %218 %255)
(+.f64 %89 %89)
(+.f64 %10 %251)
(+.f64 %10 %253)
(+.f64 %10 %255)
(*.f64 %297 #s(literal 2 binary64))
(*.f64 %299 %10)
(*.f64 %301 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %301)
(*.f64 #s(literal 2 binary64) %304)
(*.f64 %154 %23)
(*.f64 %23 %154)
(*.f64 %296 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %296)
%296
(*.f64 y %310)
(*.f64 x %3)
(pow.f64 %314 #s(literal -1 binary64))
(pow.f64 %296 #s(literal 1 binary64))
(/.f64 %317 %28)
(/.f64 %299 y)
(/.f64 %320 %28)
(/.f64 %322 y)
(/.f64 %301 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %314)
(neg.f64 (-.f64 %326 %83))
(neg.f64 %313)
(fma.f64 %297 #s(literal 2 binary64) %330)
(fma.f64 %297 #s(literal 2 binary64) %332)
(fma.f64 %334 x %304)
(fma.f64 %337 %3 %304)
(fma.f64 %299 %10 %330)
(fma.f64 %299 %10 %332)
(fma.f64 %301 #s(literal 1/2 binary64) %330)
(fma.f64 %301 #s(literal 1/2 binary64) %332)
(fma.f64 #s(literal -1/2 binary64) %313 %304)
(fma.f64 #s(literal 1/2 binary64) %301 %330)
(fma.f64 #s(literal 1/2 binary64) %301 %332)
(fma.f64 #s(literal 1/2 binary64) %296 %304)
(fma.f64 #s(literal 2 binary64) %304 %330)
(fma.f64 #s(literal 2 binary64) %304 %332)
(fma.f64 %61 x %83)
(fma.f64 %154 %23 %330)
(fma.f64 %154 %23 %332)
(fma.f64 %154 z %83)
(fma.f64 %23 %154 %330)
(fma.f64 %23 %154 %332)
(fma.f64 %296 #s(literal 1/2 binary64) %297)
(fma.f64 %296 #s(literal 1 binary64) %330)
(fma.f64 %296 #s(literal 1 binary64) %332)
(fma.f64 #s(literal 1 binary64) %304 %304)
(fma.f64 #s(literal 1 binary64) %359 %83)
(fma.f64 #s(literal 1 binary64) %296 %330)
(fma.f64 #s(literal 1 binary64) %296 %332)
(fma.f64 #s(literal 1 binary64) %83 %359)
(fma.f64 %83 #s(literal 1 binary64) %364)
(fma.f64 %3 x %330)
(fma.f64 %3 x %332)
(fma.f64 z %154 %83)
(fma.f64 y %310 %330)
(fma.f64 y %310 %332)
(fma.f64 y x %359)
(fma.f64 x %61 %83)
(fma.f64 x %3 %330)
(fma.f64 x %3 %332)
(fma.f64 x y %359)
(-.f64 %83 %376)
(-.f64 %83 %326)
(+.f64 %297 %297)
(+.f64 (*.f64 %83 #s(literal 1 binary64)) %364)
(+.f64 %304 %304)
(+.f64 %359 %83)
(+.f64 %296 %330)
(+.f64 %296 %332)
(+.f64 %83 %359)
(*.f64 %5 %89)
(*.f64 %89 %388)
(*.f64 %91 %23)
(*.f64 %212 %334)
(*.f64 %392 %393)
(*.f64 %35 %218)
(*.f64 #s(literal 1/2 binary64) %396)
(*.f64 #s(literal 1/2 binary64) %399)
(*.f64 #s(literal 2 binary64) %401)
(*.f64 #s(literal 2 binary64) %403)
(*.f64 #s(literal 2 binary64) %405)
(*.f64 %23 %91)
(*.f64 #s(literal -1 binary64) %408)
(*.f64 %20 #s(literal 1 binary64))
(*.f64 %10 %3)
(*.f64 #s(literal 1 binary64) %20)
(*.f64 %3 %10)
(*.f64 y %414)
(*.f64 y %416)
(pow.f64 %398 #s(literal -1 binary64))
(pow.f64 %20 #s(literal 1 binary64))
(/.f64 %396 #s(literal 2 binary64))
(/.f64 (*.f64 %28 %20) %28)
(/.f64 (/.f64 %392 y) %28)
(/.f64 %38 %28)
(/.f64 (fma.f64 #s(literal 2 binary64) y %426) %184)
(/.f64 (fma.f64 %28 y (*.f64 %61 %28)) %190)
(/.f64 (fma.f64 #s(literal 2 binary64) y %432) %184)
(/.f64 (-.f64 %181 %432) %181)
(/.f64 (-.f64 %184 (*.f64 #s(literal 2 binary64) z)) %184)
(/.f64 (-.f64 %187 (*.f64 %28 %61)) %187)
(/.f64 (-.f64 %190 (*.f64 %28 z)) %190)
(/.f64 (*.f64 #s(literal 2 binary64) %392) (*.f64 #s(literal 2 binary64) %190))
(/.f64 (*.f64 #s(literal 2 binary64) %35) (*.f64 #s(literal 2 binary64) %187))
(/.f64 (*.f64 #s(literal 2 binary64) %23) %181)
(/.f64 (*.f64 %28 %392) (*.f64 %28 %190))
(/.f64 (*.f64 %28 %35) (*.f64 %28 %187))
(/.f64 (*.f64 %28 %23) %187)
(/.f64 (*.f64 y %392) (*.f64 y %190))
(/.f64 (*.f64 y %35) (*.f64 y %187))
(/.f64 %14 %184)
(/.f64 %33 %190)
(/.f64 (neg.f64 %392) (neg.f64 %190))
(/.f64 (neg.f64 %35) %190)
(/.f64 %392 %190)
(/.f64 %35 %187)
(/.f64 #s(literal 2 binary64) %477)
(/.f64 %28 %479)
(/.f64 %23 %28)
(/.f64 #s(literal -1 binary64) %482)
(/.f64 %10 %24)
(/.f64 #s(literal 1 binary64) (/.f64 %398 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %190 %392))
(/.f64 #s(literal 1 binary64) (/.f64 %187 %35))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %398)
%20
(/.f64 y %494)
(neg.f64 (*.f64 #s(literal -1 binary64) %20))
(neg.f64 %408)
(neg.f64 %499)
(neg.f64 %501)
(fma.f64 %5 %89 %503)
(fma.f64 (*.f64 %61 #s(literal -1 binary64)) %91 #s(literal 1 binary64))
(fma.f64 %75 %10 #s(literal 1 binary64))
(fma.f64 %426 %89 #s(literal 1 binary64))
(fma.f64 %89 %388 %503)
(fma.f64 %91 %23 %503)
(fma.f64 %91 z #s(literal 1 binary64))
(fma.f64 %212 %334 %503)
(fma.f64 %96 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %392 %393 %503)
(fma.f64 %35 %218 %503)
(fma.f64 #s(literal 1/2 binary64) %396 %503)
(fma.f64 #s(literal 1/2 binary64) %399 %503)
(fma.f64 #s(literal 2 binary64) %401 %503)
(fma.f64 #s(literal 2 binary64) %403 %503)
(fma.f64 #s(literal 2 binary64) %405 %503)
(fma.f64 %61 %10 #s(literal 1 binary64))
(fma.f64 %23 %91 %503)
(fma.f64 #s(literal -1 binary64) %408 %503)
(fma.f64 %20 #s(literal 1 binary64) %503)
(fma.f64 %10 %61 #s(literal 1 binary64))
(fma.f64 %10 %3 %503)
(fma.f64 #s(literal 1 binary64) %96 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %20 %503)
(fma.f64 %3 %10 %503)
(fma.f64 z %91 #s(literal 1 binary64))
(fma.f64 y %414 %503)
(fma.f64 y %416 %503)
(-.f64 %96 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 (*.f64 %61 y) %190))
(-.f64 #s(literal 1 binary64) (/.f64 (*.f64 z y) %187))
(-.f64 #s(literal 1 binary64) %99)
(+.f64 %405 %405)
(+.f64 %96 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %96))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %99))
(+.f64 %20 %503)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %96))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %99))
(+.f64 #s(literal 1 binary64) %96)
%557
%562
%564
%566
%568
%570
%571
%572
%573
%577
%580
%583
%586
%589
%592
%595
%599
%600
%602
%604
%606
%608
%611
%612
%614
%616
%617
%619
%620
%623
%626
%628
%629
%630
%631
%633
%634
%635
%637
%638
%640
%643
%645
%646
%647
%648
%649
%650
%651
%653
%654
%655
%310
%656
%658
%659
%660
%662
%663
%664
%666
%668
%669
%670
%671
%673
%674
%676
%677
%679
%681
%683
%685
%686
%688
%690
%693
%694
%695
%696
%698
%700
%702
%703
%704
%706
%707
%709
%711
%713
%715
%717
%719
%721
%722
%724
%726
%727
%728
%729
%730
%731
%733
%735
%736
%738
%740
%742
%743
%744
%746
%748
%749
%750
%751
%752
%753
%755
%757
%759
%760
%762
%763
%764
%766
%768
%769
%770
%772
%774
%776
%777
%779
%781
%783
%784
%785
%786
%787
%788
%789
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%804
%806
%807
%809
%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
%932
%933
%934
%935
%936
%937
%938
%939
%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
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%557
%562
%564
%566
%568
%570
%571
%572
%573
%577
%580
%583
%586
%589
%592
%595
%599
%600
%602
%604
%606
%608
%611
%612
%614
%616
%617
%619
%620
%623
%626
%628
%629
%630
%631
%633
%634
%635
%637
%638
%640
%643
%645
%646
%647
%648
%649
%650
%651
%653
%654
%655
%310
%656
%658
%659
%660
%662
%663
%664
%666
%668
%669
%670
%671
%673
%674
%676
%677
%679
%681
%683
%685
%686
%688
%690
%693
%694
%695
%696
%698
%700
%702
%703
%704
%706
%707
%709
%711
%713
%715
%717
%719
%721
%722
%724
%726
%727
%728
%729
%730
%731
%733
%735
%736
%738
%740
%742
%743
%744
%746
%748
%749
%750
%751
%752
%753
%755
%757
%759
%760
%762
%763
%764
%766
%768
%769
%770
%772
%774
%776
%777
%779
%781
%783
%784
%785
%786
%787
%788
%789
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%804
%806
%807
%809
%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
%932
%933
%934
%935
%936
%937
%938
%939
%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
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%557
%562
%564
%566
%568
%570
%571
%572
%573
%577
%580
%583
%586
%589
%592
%595
%599
%600
%602
%604
%606
%608
%611
%612
%614
%616
%617
%619
%620
%623
%626
%628
%629
%630
%631
%633
%634
%635
%637
%638
%640
%643
%645
%646
%647
%648
%649
%650
%651
%653
%654
%655
%310
%656
%658
%659
%660
%662
%663
%664
%666
%668
%669
%670
%671
%673
%674
%676
%677
%679
%681
%683
%685
%686
%688
%690
%693
%694
%695
%696
%698
%700
%702
%703
%704
%706
%707
%709
%711
%713
%715
%717
%719
%721
%722
%724
%726
%727
%728
%729
%730
%731
%733
%735
%736
%738
%740
%742
%743
%744
%746
%748
%749
%750
%751
%752
%753
%755
%757
%759
%760
%762
%763
%764
%766
%768
%769
%770
%772
%774
%776
%777
%779
%781
%783
%784
%785
%786
%787
%788
%789
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%804
%806
%807
%809
%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
%932
%933
%934
%935
%936
%937
%938
%939
%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
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1016
%1017
%1018
%1019
%1020
%1021
%1022
(*.f64 (*.f64 y %558) %560)
(*.f64 (*.f64 y %553) %555)
(*.f64 %1027 #s(literal 2 binary64))
(*.f64 %237 %597)
(*.f64 %172 %24)
(*.f64 %336 %398)
(*.f64 %575 %28)
(*.f64 %558 (*.f64 %560 y))
(*.f64 %553 (*.f64 %555 y))
(*.f64 %482 (/.f64 #s(literal 1 binary64) %154))
(*.f64 %398 %336)
(*.f64 #s(literal 2 binary64) (*.f64 %597 y))
(*.f64 %314 y)
(*.f64 %28 %575)
(*.f64 %641 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %641)
(*.f64 y %314)
(pow.f64 %641 #s(literal 1 binary64))
(/.f64 (*.f64 %398 #s(literal 1 binary64)) x)
(/.f64 (*.f64 %336 y) %3)
(/.f64 (/.f64 %28 x) %23)
(/.f64 %1027 #s(literal 1/2 binary64))
(/.f64 %227 %313)
(/.f64 (*.f64 %28 %336) %23)
(/.f64 %231 %313)
(/.f64 (neg.f64 %172) %23)
(/.f64 %172 %3)
(/.f64 %482 %154)
(/.f64 %398 x)
(/.f64 %28 %313)
(/.f64 %641 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %310)
%641
(neg.f64 %624)
%557
%562
%564
%566
%568
%570
%571
%572
%573
%577
%580
%583
%586
%589
%592
%595
%599
%600
%602
%604
%606
%608
%611
%612
%614
%616
%617
%619
%620
%623
%626
%628
%629
%630
%631
%633
%634
%635
%637
%638
%640
%643
%645
%646
%647
%648
%649
%650
%651
%653
%654
%655
%310
%656
%658
%659
%660
%662
%663
%664
%666
%668
%669
%670
%671
%673
%674
%676
%677
%679
%681
%683
%685
%686
%688
%690
%693
%694
%695
%696
%698
%700
%702
%703
%704
%706
%707
%709
%711
%713
%715
%717
%719
%721
%722
%724
%726
%727
%728
%729
%730
%731
%733
%735
%736
%738
%740
%742
%743
%744
%746
%748
%749
%750
%751
%752
%753
%755
%757
%759
%760
%762
%763
%764
%766
%768
%769
%770
%772
%774
%776
%777
%779
%781
%783
%784
%785
%786
%787
%788
%789
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%804
%806
%807
%809
%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
%932
%933
%934
%935
%936
%937
%938
%939
%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
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1016
%1017
%1018
%1019
%1020
%1021
%1022
(*.f64 (*.f64 %326 #s(literal 2 binary64)) %89)
(*.f64 %1070 %91)
(*.f64 %1072 %10)
(*.f64 %376 %10)
(*.f64 %96 %154)
(*.f64 %359 %91)
(*.f64 %326 %10)
(*.f64 %61 %164)
(*.f64 %61 %202)
(*.f64 %154 %96)
(*.f64 %1015 #s(literal 1 binary64))
(*.f64 %10 %326)
%1015
(*.f64 %99 x)
(*.f64 #s(literal 1 binary64) %1015)
(*.f64 z %156)
(*.f64 x %99)
(pow.f64 %1015 #s(literal 1 binary64))
(/.f64 %1070 %28)
(/.f64 %1072 y)
(/.f64 (neg.f64 %376) %28)
(/.f64 %376 y)
(/.f64 %359 %28)
(/.f64 %326 y)
(/.f64 #s(literal 1 binary64) (/.f64 %28 %359))
(/.f64 #s(literal 1 binary64) (pow.f64 %1015 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %326))
(neg.f64 %940)
%557
%562
%564
%566
%568
%570
%571
%572
%573
%577
%580
%583
%586
%589
%592
%595
%599
%600
%602
%604
%606
%608
%611
%612
%614
%616
%617
%619
%620
%623
%626
%628
%629
%630
%631
%633
%634
%635
%637
%638
%640
%643
%645
%646
%647
%648
%649
%650
%651
%653
%654
%655
%310
%656
%658
%659
%660
%662
%663
%664
%666
%668
%669
%670
%671
%673
%674
%676
%677
%679
%681
%683
%685
%686
%688
%690
%693
%694
%695
%696
%698
%700
%702
%703
%704
%706
%707
%709
%711
%713
%715
%717
%719
%721
%722
%724
%726
%727
%728
%729
%730
%731
%733
%735
%736
%738
%740
%742
%743
%744
%746
%748
%749
%750
%751
%752
%753
%755
%757
%759
%760
%762
%763
%764
%766
%768
%769
%770
%772
%774
%776
%777
%779
%781
%783
%784
%785
%786
%787
%788
%789
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%804
%806
%807
%809
%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
%932
%933
%934
%935
%936
%937
%938
%939
%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
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%984
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1007
%1008
%1009
%1010
%1011
%1012
%1014
%1016
%1017
%1018
%1019
%1020
%1021
%1022
(*.f64 %116 %89)
(*.f64 %91 %131)
(*.f64 #s(literal 2 binary64) (*.f64 %89 %115))
(*.f64 %131 %91)
(*.f64 #s(literal -1 binary64) %1107)
(*.f64 %1109 #s(literal 1 binary64))
(*.f64 %10 %115)
(*.f64 %115 %10)
(*.f64 #s(literal 1 binary64) %1109)
(pow.f64 %1109 #s(literal 1 binary64))
(/.f64 (*.f64 %131 #s(literal 1 binary64)) %28)
(/.f64 %131 %28)
%1109
(/.f64 #s(literal 1 binary64) (pow.f64 %1109 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %28 %131))
(/.f64 #s(literal 1 binary64) (/.f64 y %115))
(neg.f64 %1107)
(neg.f64 (/.f64 %131 y))
reconstruct179.0ms (13.5%)
Counts
2 348 → 616
Compiler
Compiled 2 348 to 1 289 computations (45.1% saved)
eval23.0ms (1.7%)
Compiler
Compiled 281 to 690 computations (-145.6% saved)
prune4.0ms (0.3%)
Pruning
9 alts after pruning (4 fresh and 5 done)
PrunedKeptTotal
New2774281
Fresh000
Picked246
Done011
Total2799288
Accuracy
100.0%
Counts
288 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶83.4%
(/.f64 (-.f64 y z) (/.f64 y x))
✓86.7%
(/.f64 (*.f64 x (-.f64 y z)) y)
▶3.0%
(/.f64 (approx (* x (- y z)) (*.f64 (approx x #s(literal 0 binary64)) y)) y)
✓41.7%
(/.f64 (approx (* x (- y z)) (*.f64 x y)) y)
▶95.6%
(/.f64 x (/.f64 y (-.f64 y z)))
✓95.5%
(-.f64 x (*.f64 x (/.f64 z y)))
✓83.9%
(*.f64 (-.f64 y z) (/.f64 x y))
✓95.5%
(*.f64 x (/.f64 (-.f64 y z) y))
▶51.9%
(*.f64 x (approx (/ (- y z) y) #s(literal 1 binary64)))
Compiler
Compiled 9 to 24 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series22.0ms (1.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0217792
Stop Event
1×iter-limit
Counts
16 → 49
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%5 = (approx x #s(literal 0 binary64))
%7 = (- y z)
%9 = (approx (/ %7 y) #s(literal 1 binary64))
%10 = (/.f64 y x)
%11 = (/.f64 y %3)
%15 = (*.f64 %5 y)
%17 = (approx (* x %7) %15)
x
y
z
%3
#s(literal 0 binary64)
%5
#s(literal 1 binary64)
%9
%10
%11
(/.f64 %3 %10)
(/.f64 x %11)
(*.f64 x %9)
%15
%17
(/.f64 %17 y)
Outputs
%5 = (/ y x)
%9 = (- y z)
%10 = (/ %9 %5)
%11 = (-.f64 y z)
%12 = (*.f64 x %11)
%16 = (*.f64 x y)
%18 = (* x %9)
%22 = (*.f64 #s(literal -1 binary64) z)
%25 = (/ %9 y)
%26 = (/.f64 z y)
%27 = (*.f64 #s(literal -1 binary64) %26)
%29 = (+.f64 y %22)
%32 = (/ y %9)
%33 = (/.f64 y z)
%34 = (*.f64 #s(literal -1 binary64) %33)
%37 = (pow.f64 z #s(literal 2 binary64))
%41 = (/.f64 #s(literal 1 binary64) z)
%46 = (pow.f64 z #s(literal 3 binary64))
%49 = (/.f64 #s(literal 1 binary64) %37)
%67 = (*.f64 x z)
%68 = (/.f64 %67 y)
%69 = (*.f64 #s(literal -1 binary64) %68)
%71 = (fma.f64 #s(literal -1 binary64) %67 %16)
%77 = (+.f64 #s(literal 1 binary64) %27)
%84 = (pow.f64 y #s(literal 2 binary64))
%85 = (/.f64 %37 %84)
%89 = (pow.f64 y #s(literal 3 binary64))
%96 = (+.f64 x %69)
%127 = (/.f64 #s(literal 1 binary64) y)
%146 = (/.f64 %84 z)
%151 = (/.f64 %89 %37)
%157 = (pow.f64 y #s(literal 4 binary64))
%165 = (/.f64 x y)
%166 = (/.f64 x z)
%170 = (/.f64 %16 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (/.f64 y x))
(approx %10 (/.f64 %12 y))
(approx (* x y) %16)
(approx %18 %12)
(approx y y)
(approx %9 %22)
(approx %9 %11)
(approx %25 %27)
(approx %25 (/.f64 %29 y))
(approx %32 %34)
(approx %32 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y %37)) %41)))
(approx %32 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y %46)) %49)) %41)))
(approx %32 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 y (pow.f64 z #s(literal 4 binary64)))) (/.f64 #s(literal 1 binary64) %46))) %49)) %41)))
(approx %10 %69)
(approx %10 (/.f64 %71 y))
(approx %18 (*.f64 #s(literal -1 binary64) %67))
(approx %18 %71)
(approx %9 (*.f64 y %77))
(approx %25 #s(literal 1 binary64))
(approx %25 %77)
(approx %32 (+.f64 #s(literal 1 binary64) %26))
(approx %32 (-.f64 (+.f64 #s(literal 1 binary64) %85) %27))
(approx %32 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %46 %89)) (fma.f64 #s(literal -1 binary64) %26 (*.f64 #s(literal -1 binary64) %85))))
(approx %10 %96)
(approx %18 (*.f64 y %96))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %26 #s(literal 1 binary64)))))
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %37 y)) z) y))))
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %46 y) (*.f64 #s(literal -1 binary64) %37)) y)) z) y))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %68))))
(approx z z)
(approx %9 %29)
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 z (+.f64 %127 (/.f64 z %84)))))
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 z (fma.f64 z (+.f64 (/.f64 #s(literal 1 binary64) %84) (/.f64 z %89)) %127))))
(approx %9 (*.f64 z (-.f64 %33 #s(literal 1 binary64))))
(approx %25 (*.f64 z (-.f64 %41 %127)))
(approx %32 (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %146)) z))
(approx %32 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %151)) %146) z))
(approx %32 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %157 %46))) (+.f64 %146 %151)) z))
(approx %10 (*.f64 z (fma.f64 #s(literal -1 binary64) %165 %166)))
(approx %18 (*.f64 z (fma.f64 #s(literal -1 binary64) x %170)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1 binary64) %34))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %127 %41))))
(approx %32 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y %146) z)))
(approx %32 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %89 z)) %84) z))) z)))
(approx %32 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %157 z) (*.f64 #s(literal -1 binary64) %89)) z)) %84) z))) z)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %166 %165))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %170)))))
Calls
9 calls:
TimeVariablePoint
10.0ms
z
inf
2.0ms
y
-inf
2.0ms
y
inf
2.0ms
y
0
2.0ms
z
-inf
rewrite87.0ms (6.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01978
02878
110378
237278
3221378
0417078
0457678
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
16 → 521
Calls
Call 1
Inputs
%3 = (-.f64 y z)
%5 = (approx x #s(literal 0 binary64))
%7 = (- y z)
%9 = (approx (/ %7 y) #s(literal 1 binary64))
%10 = (/.f64 y x)
%11 = (/.f64 y %3)
%15 = (*.f64 %5 y)
%17 = (approx (* x %7) %15)
x
y
z
%3
#s(literal 0 binary64)
%5
#s(literal 1 binary64)
%9
%10
%11
(/.f64 %3 %10)
(/.f64 x %11)
(*.f64 x %9)
%15
%17
(/.f64 %17 y)
Outputs
%3 = (-.f64 y z)
%5 = (*.f64 %3 #s(literal 2 binary64))
%8 = (*.f64 %3 y)
%10 = (/.f64 #s(literal 1 binary64) y)
%12 = (*.f64 %3 #s(literal 1/2 binary64))
%16 = (/.f64 #s(literal 1 binary64) %3)
%23 = (neg.f64 y)
%24 = (*.f64 %3 %23)
%32 = (/.f64 #s(literal -1 binary64) %3)
%35 = (-.f64 z y)
%36 = (*.f64 %35 #s(literal 1 binary64))
%40 = (*.f64 %3 #s(literal 0 binary64))
%42 = (*.f64 #s(literal 0 binary64) %3)
%49 = (*.f64 #s(literal 1/2 binary64) %3)
%53 = (neg.f64 z)
%67 = (approx x #s(literal 0 binary64))
%72 = (- y z)
%74 = (approx (/ %72 y) #s(literal 1 binary64))
%79 = (*.f64 y #s(literal 2 binary64))
%80 = (/.f64 #s(literal 1/2 binary64) x)
%82 = (/.f64 #s(literal -1 binary64) x)
%86 = (/.f64 #s(literal 1 binary64) x)
%89 = (/.f64 y x)
%93 = (*.f64 #s(literal -1 binary64) y)
%94 = (neg.f64 %93)
%96 = (*.f64 y #s(literal -1 binary64))
%97 = (neg.f64 %96)
%99 = (neg.f64 x)
%102 = (*.f64 #s(literal -1 binary64) x)
%104 = (/.f64 %23 %89)
%107 = (/.f64 x y)
%109 = (/.f64 %23 x)
%111 = (/.f64 #s(literal 1/2 binary64) %3)
%118 = (/.f64 y %3)
%128 = (/.f64 %3 y)
%130 = (/.f64 y %35)
%132 = (/.f64 #s(literal 2 binary64) y)
%134 = (*.f64 #s(literal 1/2 binary64) x)
%135 = (*.f64 (*.f64 %3 %132) %134)
%137 = (*.f64 (*.f64 x %132) %49)
%138 = (*.f64 #s(literal 1/2 binary64) %107)
%139 = (*.f64 %5 %138)
%141 = (*.f64 #s(literal 1/2 binary64) %128)
%142 = (*.f64 (*.f64 x #s(literal 2 binary64)) %141)
%144 = (*.f64 (/.f64 %107 #s(literal -1 binary64)) %35)
%145 = (/.f64 %107 #s(literal 1 binary64))
%146 = (*.f64 %145 %3)
%147 = (/.f64 %35 y)
%149 = (*.f64 (/.f64 %147 #s(literal 1 binary64)) %99)
%150 = (/.f64 %147 #s(literal -1 binary64))
%151 = (*.f64 %150 x)
%153 = (/.f64 %99 y)
%154 = (*.f64 (/.f64 %35 #s(literal 1 binary64)) %153)
%155 = (/.f64 x %16)
%156 = (*.f64 %155 %10)
%158 = (/.f64 #s(literal -1 binary64) y)
%159 = (/.f64 #s(literal -1/2 binary64) %3)
%161 = (*.f64 (/.f64 x #s(literal 2 binary64)) (/.f64 %158 %159))
%162 = (/.f64 %158 #s(literal 2 binary64))
%164 = (*.f64 %162 (/.f64 x %159))
%166 = (*.f64 %162 (/.f64 %35 %80))
%167 = (/.f64 %132 #s(literal 1 binary64))
%168 = (/.f64 %134 %16)
%169 = (*.f64 %167 %168)
%170 = (/.f64 %49 %86)
%171 = (*.f64 %167 %170)
%172 = (/.f64 %158 #s(literal -2 binary64))
%174 = (*.f64 %172 (/.f64 x %111))
%176 = (*.f64 %172 (/.f64 %3 %80))
%177 = (/.f64 %35 %82)
%178 = (*.f64 %177 %10)
%181 = (*.f64 (/.f64 %35 #s(literal 2 binary64)) (/.f64 %158 %80))
%184 = (*.f64 (/.f64 %35 #s(literal -2 binary64)) (/.f64 %10 %80))
%185 = (*.f64 %35 x)
%186 = (*.f64 %185 %158)
%187 = (*.f64 %147 %99)
%188 = (*.f64 %153 %35)
%189 = (*.f64 %99 %3)
%190 = (*.f64 %158 %189)
%192 = (*.f64 %158 (/.f64 x %32))
%194 = (*.f64 %158 (/.f64 %35 %86))
%195 = (*.f64 %158 %185)
%197 = (*.f64 (/.f64 %35 #s(literal -1 binary64)) %107)
%199 = (*.f64 %132 (*.f64 %134 %3))
%201 = (*.f64 %132 (*.f64 %49 x))
%202 = (*.f64 %132 %168)
%203 = (*.f64 %132 %170)
%204 = (*.f64 %89 y)
%205 = (*.f64 %89 z)
%206 = (-.f64 %204 %205)
%207 = (*.f64 y y)
%209 = (/.f64 %207 (*.f64 x x))
%211 = (*.f64 %206 (/.f64 #s(literal 1 binary64) %209))
%213 = (*.f64 #s(literal 1/2 binary64) (/.f64 %107 %111))
%215 = (*.f64 #s(literal 1/2 binary64) (/.f64 %128 %80))
%217 = (*.f64 #s(literal 2 binary64) (*.f64 %138 %3))
%219 = (*.f64 #s(literal 2 binary64) (*.f64 %141 x))
%221 = (*.f64 #s(literal 2 binary64) (/.f64 %138 %16))
%223 = (*.f64 #s(literal 2 binary64) (/.f64 %141 %86))
%224 = (*.f64 %107 %3)
%226 = (*.f64 %10 (/.f64 %134 %111))
%227 = (*.f64 %10 %155)
%229 = (*.f64 %10 (/.f64 %49 %80))
%230 = (*.f64 %10 %177)
%231 = (*.f64 %3 x)
%232 = (*.f64 %10 %231)
%233 = (*.f64 %99 %147)
%234 = (*.f64 %35 %153)
%235 = (*.f64 %231 %10)
%236 = (*.f64 %128 x)
%238 = (*.f64 #s(literal 1 binary64) (/.f64 %138 %111))
%240 = (*.f64 #s(literal 1 binary64) (/.f64 %141 %80))
%241 = (*.f64 #s(literal 1 binary64) %236)
%242 = (*.f64 %3 %107)
%243 = (*.f64 x %128)
%245 = (pow.f64 (*.f64 %86 %118) #s(literal -1 binary64))
%246 = (*.f64 %89 %16)
%247 = (pow.f64 %246 #s(literal -1 binary64))
%248 = (*.f64 %118 %86)
%249 = (pow.f64 %248 #s(literal -1 binary64))
%250 = (pow.f64 %236 #s(literal 1 binary64))
%251 = (*.f64 %99 #s(literal 1 binary64))
%253 = (/.f64 (neg.f64 %251) %118)
%254 = (*.f64 y %3)
%255 = (*.f64 x %254)
%257 = (neg.f64 %207)
%258 = (/.f64 (neg.f64 %255) %257)
%259 = (*.f64 %3 %99)
%261 = (/.f64 (neg.f64 %259) y)
%263 = (/.f64 (neg.f64 %189) y)
%264 = (*.f64 %254 x)
%266 = (/.f64 (neg.f64 %264) %257)
%267 = (/.f64 %206 %89)
%269 = (/.f64 (neg.f64 %267) %109)
%270 = (/.f64 %107 #s(literal 2 binary64))
%273 = (/.f64 (neg.f64 %270) (neg.f64 %111))
%274 = (/.f64 %147 #s(literal -2 binary64))
%277 = (/.f64 (neg.f64 %274) (neg.f64 %80))
%279 = (/.f64 (neg.f64 %145) %32)
%281 = (/.f64 (neg.f64 %150) %82)
%283 = (-.f64 (*.f64 x %109) %53)
%285 = (/.f64 (neg.f64 %283) %89)
%287 = (fma.f64 %23 %89 (*.f64 %53 %109))
%289 = (/.f64 (neg.f64 %287) %209)
%291 = (+.f64 %89 (*.f64 %53 %86))
%293 = (*.f64 %86 %89)
%294 = (neg.f64 %293)
%295 = (/.f64 (neg.f64 %291) %294)
%297 = (fma.f64 %89 y (*.f64 %53 %89))
%299 = (neg.f64 %209)
%300 = (/.f64 (neg.f64 %297) %299)
%302 = (/.f64 (neg.f64 %155) %23)
%304 = (/.f64 (neg.f64 %177) %23)
%305 = (*.f64 %109 %53)
%306 = (fma.f64 %23 %89 %305)
%308 = (/.f64 (neg.f64 %306) %209)
%309 = (*.f64 %86 %53)
%310 = (+.f64 %89 %309)
%312 = (/.f64 (neg.f64 %310) %294)
%313 = (*.f64 %89 %53)
%314 = (fma.f64 %89 y %313)
%316 = (/.f64 (neg.f64 %314) %299)
%318 = (-.f64 (*.f64 %23 %109) %305)
%320 = (/.f64 (neg.f64 %318) %299)
%321 = (/.f64 z y)
%323 = (-.f64 %109 (*.f64 %109 %321))
%325 = (*.f64 %109 %86)
%327 = (/.f64 (neg.f64 %323) (neg.f64 %325))
%330 = (-.f64 (*.f64 %23 %89) (*.f64 %109 z))
%332 = (/.f64 (neg.f64 %330) %209)
%333 = (-.f64 %109 %309)
%335 = (*.f64 %86 %109)
%337 = (/.f64 (neg.f64 %333) (neg.f64 %335))
%339 = (-.f64 %86 (*.f64 %86 %321))
%341 = (*.f64 %82 %82)
%343 = (/.f64 (neg.f64 %339) (neg.f64 %341))
%345 = (-.f64 %89 (*.f64 %86 z))
%347 = (/.f64 (neg.f64 %345) %294)
%348 = (*.f64 y %109)
%349 = (-.f64 %348 %313)
%351 = (/.f64 (neg.f64 %349) %209)
%353 = (-.f64 %89 (*.f64 %89 %321))
%355 = (*.f64 %89 %86)
%357 = (/.f64 (neg.f64 %353) (neg.f64 %355))
%358 = (neg.f64 %206)
%361 = (/.f64 (neg.f64 %358) (neg.f64 %299))
%362 = (*.f64 %3 #s(literal -1 binary64))
%364 = (/.f64 (neg.f64 %362) %89)
%365 = (*.f64 #s(literal -1 binary64) %3)
%367 = (/.f64 (neg.f64 %365) %89)
%368 = (*.f64 x #s(literal -1 binary64))
%370 = (/.f64 (neg.f64 %368) %118)
%371 = (/.f64 %251 %130)
%372 = (/.f64 %255 %207)
%373 = (/.f64 %362 %109)
%374 = (/.f64 %368 %130)
%375 = (/.f64 %259 %23)
%376 = (/.f64 %189 %23)
%377 = (/.f64 %264 %207)
%378 = (/.f64 %365 %109)
%379 = (/.f64 %267 %89)
%380 = (/.f64 %270 %111)
%381 = (/.f64 %274 %80)
%382 = (/.f64 %145 %16)
%383 = (/.f64 %150 %86)
%384 = (/.f64 %36 %109)
%385 = (/.f64 %102 %130)
%386 = (-.f64 %205 %204)
%387 = (*.f64 %109 %89)
%388 = (/.f64 %386 %387)
%389 = (*.f64 %89 %109)
%390 = (/.f64 %386 %389)
%393 = (/.f64 (-.f64 (*.f64 z y) %207) %348)
%394 = (/.f64 %283 %109)
%395 = (/.f64 %287 %387)
%396 = (/.f64 %291 %293)
%397 = (/.f64 %297 %209)
%398 = (/.f64 %155 y)
%399 = (/.f64 %177 y)
%400 = (/.f64 %104 %130)
%401 = (/.f64 %306 %387)
%402 = (/.f64 %310 %293)
%403 = (/.f64 %314 %209)
%404 = (/.f64 %318 %209)
%405 = (/.f64 %323 %325)
%406 = (/.f64 %330 %387)
%407 = (/.f64 %333 %335)
%408 = (/.f64 %339 %341)
%409 = (/.f64 %345 %293)
%410 = (/.f64 %349 %389)
%411 = (/.f64 %353 %355)
%414 = (/.f64 (neg.f64 %254) (neg.f64 %204))
%415 = (/.f64 %358 %299)
%416 = (/.f64 %185 %23)
%417 = (/.f64 %147 %82)
%418 = (/.f64 %153 %32)
%419 = (*.f64 %16 %86)
%421 = (/.f64 %158 (neg.f64 %419))
%422 = (/.f64 %206 %209)
%423 = (/.f64 %254 %204)
%425 = (/.f64 #s(literal -1 binary64) (neg.f64 %246))
%427 = (/.f64 #s(literal -1 binary64) (neg.f64 %248))
%428 = (*.f64 %109 %16)
%429 = (/.f64 #s(literal -1 binary64) %428)
%430 = (*.f64 %130 %86)
%431 = (/.f64 #s(literal -1 binary64) %430)
%432 = (/.f64 %107 %16)
%433 = (/.f64 %10 %419)
%434 = (/.f64 %99 %130)
%435 = (/.f64 %35 %109)
%436 = (/.f64 %231 y)
%437 = (/.f64 %128 %86)
%439 = (/.f64 #s(literal 1 binary64) (neg.f64 %428))
%441 = (/.f64 #s(literal 1 binary64) (neg.f64 %430))
%443 = (/.f64 #s(literal 1 binary64) (pow.f64 %236 #s(literal -1 binary64)))
%444 = (/.f64 #s(literal 1 binary64) %246)
%445 = (/.f64 #s(literal 1 binary64) %248)
%447 = (/.f64 #s(literal 1 binary64) (/.f64 %23 %185))
%449 = (/.f64 #s(literal 1 binary64) (/.f64 %209 %206))
%451 = (/.f64 #s(literal 1 binary64) (/.f64 %16 %107))
%453 = (/.f64 #s(literal 1 binary64) (/.f64 y %231))
%455 = (/.f64 #s(literal 1 binary64) (/.f64 %86 %128))
%457 = (/.f64 #s(literal 1 binary64) (/.f64 %109 %35))
%459 = (/.f64 #s(literal 1 binary64) (/.f64 %130 %99))
%461 = (/.f64 #s(literal 1 binary64) (/.f64 %89 %3))
%463 = (/.f64 #s(literal 1 binary64) (/.f64 %118 x))
%464 = (/.f64 %3 %89)
%465 = (/.f64 x %118)
%467 = (neg.f64 (*.f64 %147 x))
%469 = (fma.f64 (*.f64 %53 %132) %134 x)
%471 = (fma.f64 (*.f64 %53 #s(literal 1 binary64)) %107 x)
%473 = (fma.f64 (*.f64 %53 #s(literal 2 binary64)) %138 x)
%474 = (/.f64 %53 y)
%475 = (fma.f64 %474 x x)
%476 = (*.f64 %53 x)
%477 = (fma.f64 %476 %10 x)
%478 = (*.f64 %153 z)
%479 = (fma.f64 %153 %23 %478)
%480 = (*.f64 %153 %23)
%481 = (fma.f64 %153 z %480)
%483 = (fma.f64 %158 (*.f64 %99 %53) x)
%485 = (fma.f64 %132 (*.f64 %134 %53) x)
%487 = (fma.f64 #s(literal 2 binary64) (*.f64 %138 %53) x)
%488 = (fma.f64 %53 %107 x)
%489 = (fma.f64 %107 %53 x)
%490 = (fma.f64 %10 %476 x)
%491 = (fma.f64 %321 %99 x)
%492 = (*.f64 %53 %107)
%493 = (fma.f64 #s(literal 1 binary64) %492 x)
%494 = (fma.f64 z %153 x)
%496 = (fma.f64 x (*.f64 %10 %53) x)
%499 = (-.f64 (/.f64 %204 %209) (/.f64 %205 %209))
%500 = (-.f64 %492 %104)
%502 = (-.f64 x (*.f64 %153 %53))
%504 = (-.f64 x (*.f64 %321 x))
%505 = (+.f64 %480 %478)
%506 = (+.f64 %478 %480)
%507 = (+.f64 %492 x)
%509 = (+.f64 x (*.f64 x %474))
%510 = (+.f64 x %492)
%511 = (*.f64 %74 x)
%517 = (*.f64 %67 y)
%524 = (approx (* %72 x) %517)
%525 = (*.f64 %524 #s(literal 2 binary64))
%527 = (*.f64 %524 y)
%529 = (*.f64 %524 #s(literal 1/2 binary64))
%536 = (*.f64 %524 %23)
%546 = (neg.f64 %524)
%548 = (*.f64 %524 #s(literal 0 binary64))
%550 = (*.f64 #s(literal 0 binary64) %524)
%556 = (*.f64 #s(literal 1/2 binary64) %524)
%567 = (/.f64 #s(literal 1/2 binary64) y)
%575 = (/.f64 %524 y)
%578 = (*.f64 %546 #s(literal 1 binary64))
%581 = (*.f64 %524 #s(literal -1 binary64))
%584 = (*.f64 #s(literal -1 binary64) %524)
x
y
z
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 %10)
(*.f64 %12 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %16 #s(literal -1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 (neg.f64 %24) y)
(/.f64 (neg.f64 %8) %23)
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %24 %23)
(/.f64 %8 y)
(/.f64 #s(literal -1 binary64) %32)
(/.f64 #s(literal 1 binary64) %16)
(neg.f64 %36)
(neg.f64 %35)
(fma.f64 %5 #s(literal 1/2 binary64) %40)
(fma.f64 %5 #s(literal 1/2 binary64) %42)
(fma.f64 %8 %10 %40)
(fma.f64 %8 %10 %42)
(fma.f64 %12 #s(literal 2 binary64) %40)
(fma.f64 %12 #s(literal 2 binary64) %42)
(fma.f64 #s(literal -1/2 binary64) %35 %49)
(fma.f64 #s(literal 1/2 binary64) %3 %49)
(fma.f64 #s(literal 1 binary64) %49 %49)
(fma.f64 #s(literal 1 binary64) %53 y)
(fma.f64 #s(literal 1 binary64) %3 %40)
(fma.f64 #s(literal 1 binary64) %3 %42)
(fma.f64 %3 #s(literal 1/2 binary64) %12)
(fma.f64 %3 #s(literal 1 binary64) %40)
(fma.f64 %3 #s(literal 1 binary64) %42)
(-.f64 %53 %23)
%3
(+.f64 %12 %12)
(+.f64 %49 %49)
(+.f64 %53 y)
(+.f64 %3 %40)
(+.f64 %3 %42)
(+.f64 y %53)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %67)
(pow.f64 %67 #s(literal 1 binary64))
%67
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %74)
(pow.f64 %74 #s(literal 1 binary64))
%74
(/.f64 #s(literal 1 binary64) (pow.f64 %74 #s(literal -1 binary64)))
(*.f64 %79 %80)
(*.f64 %82 %23)
(*.f64 #s(literal 2 binary64) (*.f64 %80 y))
(*.f64 %86 y)
(*.f64 %23 %82)
(*.f64 #s(literal 1 binary64) %89)
(*.f64 y %86)
(pow.f64 %89 #s(literal 1 binary64))
(/.f64 %94 x)
(/.f64 %97 x)
(/.f64 %93 %99)
(/.f64 %96 %99)
(/.f64 %23 %102)
(/.f64 %23 %104)
(/.f64 %23 %99)
(/.f64 #s(literal 1 binary64) %107)
%89
(neg.f64 %109)
(*.f64 %79 %111)
(*.f64 %32 %23)
(*.f64 #s(literal 2 binary64) (*.f64 %111 y))
(*.f64 %16 y)
(*.f64 %23 %32)
(*.f64 #s(literal 1 binary64) %118)
(*.f64 y %16)
(pow.f64 %118 #s(literal 1 binary64))
(/.f64 %94 %3)
(/.f64 %97 %3)
(/.f64 %93 %35)
(/.f64 %96 %35)
(/.f64 %23 %36)
(/.f64 %23 %35)
(/.f64 #s(literal 1 binary64) %128)
%118
(neg.f64 %130)
%135
%137
%139
%142
%144
%146
%149
%151
%154
%156
%161
%164
%166
%169
%171
%174
%176
%178
%181
%184
%186
%187
%188
%190
%192
%194
%195
%197
%199
%201
%202
%203
%211
%213
%215
%217
%219
%221
%223
%224
%226
%227
%229
%230
%232
%233
%234
%235
%236
%238
%240
%241
%242
%243
%245
%247
%249
%250
%253
%258
%261
%263
%266
%269
%273
%277
%279
%281
%285
%289
%295
%300
%302
%304
%308
%312
%316
%320
%327
%332
%337
%343
%347
%351
%357
%361
%364
%367
%370
%371
%372
%373
%374
%375
%376
%377
%378
%379
%380
%381
%382
%383
%384
%385
%388
%390
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%414
%415
%416
%417
%418
%421
%422
%423
%425
%427
%429
%431
%432
%433
%434
%435
%436
%437
%439
%441
%443
%444
%445
%447
%449
%451
%453
%455
%457
%459
%461
%463
%464
%465
%467
%469
%471
%473
%475
%477
%479
%481
%483
%485
%487
%488
%489
%490
%491
%493
%494
%496
%499
%500
%502
%504
%505
%506
%507
%509
%510
%135
%137
%139
%142
%144
%146
%149
%151
%154
%156
%161
%164
%166
%169
%171
%174
%176
%178
%181
%184
%186
%187
%188
%190
%192
%194
%195
%197
%199
%201
%202
%203
%211
%213
%215
%217
%219
%221
%223
%224
%226
%227
%229
%230
%232
%233
%234
%235
%236
%238
%240
%241
%242
%243
%245
%247
%249
%250
%253
%258
%261
%263
%266
%269
%273
%277
%279
%281
%285
%289
%295
%300
%302
%304
%308
%312
%316
%320
%327
%332
%337
%343
%347
%351
%357
%361
%364
%367
%370
%371
%372
%373
%374
%375
%376
%377
%378
%379
%380
%381
%382
%383
%384
%385
%388
%390
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%414
%415
%416
%417
%418
%421
%422
%423
%425
%427
%429
%431
%432
%433
%434
%435
%436
%437
%439
%441
%443
%444
%445
%447
%449
%451
%453
%455
%457
%459
%461
%463
%464
%465
%467
%469
%471
%473
%475
%477
%479
%481
%483
%485
%487
%488
%489
%490
%491
%493
%494
%496
%499
%500
%502
%504
%505
%506
%507
%509
%510
%511
(*.f64 #s(literal 1 binary64) %511)
(*.f64 x %74)
(pow.f64 %511 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %511 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %517)
%517
(*.f64 y %67)
(pow.f64 %517 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %517 #s(literal -1 binary64)))
(*.f64 %525 #s(literal 1/2 binary64))
(*.f64 %527 %10)
(*.f64 %529 #s(literal 2 binary64))
(*.f64 %524 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %524)
(pow.f64 %524 #s(literal 1 binary64))
%524
(/.f64 (neg.f64 %525) #s(literal -2 binary64))
(/.f64 (neg.f64 %536) y)
(/.f64 (neg.f64 %527) %23)
(/.f64 %525 #s(literal 2 binary64))
(/.f64 %536 %23)
(/.f64 %527 y)
(/.f64 #s(literal 1 binary64) (pow.f64 %524 #s(literal -1 binary64)))
(neg.f64 %546)
(fma.f64 %525 #s(literal 1/2 binary64) %548)
(fma.f64 %525 #s(literal 1/2 binary64) %550)
(fma.f64 %527 %10 %548)
(fma.f64 %527 %10 %550)
(fma.f64 %529 #s(literal 2 binary64) %548)
(fma.f64 %529 #s(literal 2 binary64) %550)
(fma.f64 #s(literal 1/2 binary64) %524 %556)
(fma.f64 %524 #s(literal 1/2 binary64) %529)
(fma.f64 %524 #s(literal 1 binary64) %548)
(fma.f64 %524 #s(literal 1 binary64) %550)
(fma.f64 #s(literal 1 binary64) %524 %548)
(fma.f64 #s(literal 1 binary64) %524 %550)
(+.f64 %529 %529)
(+.f64 %556 %556)
(+.f64 %524 %548)
(+.f64 %524 %550)
(*.f64 %525 %567)
(*.f64 %158 %546)
(*.f64 #s(literal 2 binary64) (*.f64 %567 %524))
(*.f64 %10 %524)
(*.f64 %546 %158)
(*.f64 %524 %10)
(*.f64 #s(literal 1 binary64) %575)
(pow.f64 %575 #s(literal 1 binary64))
(/.f64 (neg.f64 %578) y)
(/.f64 (neg.f64 %581) y)
(/.f64 (neg.f64 %584) y)
(/.f64 %578 %23)
(/.f64 %581 %23)
(/.f64 %584 %23)
(/.f64 %546 %23)
%575
(/.f64 #s(literal 1 binary64) (pow.f64 %575 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %23 %546))
(/.f64 #s(literal 1 binary64) (/.f64 y %524))
(neg.f64 (/.f64 %546 y))
reconstruct44.0ms (3.3%)
Counts
569 → 175
Compiler
Compiled 569 to 741 computations (-30.2% saved)
eval11.0ms (0.8%)
Compiler
Compiled 120 to 372 computations (-210.0% saved)
prune3.0ms (0.2%)
Pruning
9 alts after pruning (1 fresh and 8 done)
PrunedKeptTotal
New1191120
Fresh000
Picked134
Done055
Total1209129
Accuracy
100.0%
Counts
129 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓83.4%
(/.f64 (-.f64 y z) (/.f64 y x))
✓86.7%
(/.f64 (*.f64 x (-.f64 y z)) y)
✓41.7%
(/.f64 (approx (* x (- y z)) (*.f64 x y)) y)
✓95.6%
(/.f64 x (/.f64 y (-.f64 y z)))
✓95.5%
(-.f64 x (*.f64 x (/.f64 z y)))
✓83.9%
(*.f64 (-.f64 y z) (/.f64 x y))
▶3.0%
(*.f64 (approx x #s(literal 0 binary64)) (approx (/ (- y z) y) #s(literal 1 binary64)))
✓95.5%
(*.f64 x (/.f64 (-.f64 y z) y))
✓51.9%
(*.f64 x (approx (/ (- y z) y) #s(literal 1 binary64)))
Compiler
Compiled 9 to 23 computations (-155.6% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series8.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
055185
Stop Event
1×iter-limit
Counts
6 → 14
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%8 = (approx (/ (- y z) y) #s(literal 1 binary64))
x
#s(literal 0 binary64)
%2
#s(literal 1 binary64)
%8
(*.f64 %2 %8)
Outputs
%7 = (/ (- y z) y)
%8 = (* x %7)
%15 = (*.f64 #s(literal -1 binary64) (/.f64 z y))
%21 = (*.f64 x z)
%23 = (*.f64 #s(literal -1 binary64) (/.f64 %21 y))
%35 = (/.f64 #s(literal 1 binary64) z)
%36 = (/.f64 #s(literal 1 binary64) y)
%40 = (/.f64 x y)
%41 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %8 (/.f64 (*.f64 x (-.f64 y z)) y))
(approx %7 %15)
(approx %7 (/.f64 (+.f64 y (*.f64 #s(literal -1 binary64) z)) y))
(approx %8 %23)
(approx %8 (/.f64 (fma.f64 #s(literal -1 binary64) %21 (*.f64 x y)) y))
(approx %7 #s(literal 1 binary64))
(approx %7 (+.f64 #s(literal 1 binary64) %15))
(approx %8 (+.f64 x %23))
(approx %7 (*.f64 z (-.f64 %35 %36)))
(approx %8 (*.f64 z (fma.f64 #s(literal -1 binary64) %40 %41)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %36 %35))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %41 %40))))
Calls
9 calls:
TimeVariablePoint
3.0ms
y
0
1.0ms
x
inf
1.0ms
z
inf
1.0ms
x
0
1.0ms
x
-inf
rewrite74.0ms (5.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01024
01124
14224
211824
361224
0412524
0437124
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 16
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%8 = (approx (/ (- y z) y) #s(literal 1 binary64))
x
#s(literal 0 binary64)
%2
#s(literal 1 binary64)
%8
(*.f64 %2 %8)
Outputs
%3 = (approx x #s(literal 0 binary64))
%13 = (approx (/ (- y z) y) #s(literal 1 binary64))
%18 = (*.f64 %13 %3)
x
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
%3
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
%13
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
%18
(*.f64 #s(literal 1 binary64) %18)
(*.f64 %3 %13)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
reconstruct2.0ms (0.2%)
Counts
29 → 17
Compiler
Compiled 29 to 50 computations (-72.4% saved)
eval1.0ms (0.1%)
Compiler
Compiled 11 to 38 computations (-245.5% saved)
prune2.0ms (0.1%)
Pruning
9 alts after pruning (0 fresh and 9 done)
PrunedKeptTotal
New11011
Fresh000
Picked011
Done088
Total11920
Accuracy
100.0%
Counts
20 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓83.4%
(/.f64 (-.f64 y z) (/.f64 y x))
✓86.7%
(/.f64 (*.f64 x (-.f64 y z)) y)
✓41.7%
(/.f64 (approx (* x (- y z)) (*.f64 x y)) y)
✓95.6%
(/.f64 x (/.f64 y (-.f64 y z)))
✓95.5%
(-.f64 x (*.f64 x (/.f64 z y)))
✓83.9%
(*.f64 (-.f64 y z) (/.f64 x y))
✓3.0%
(*.f64 (approx x #s(literal 0 binary64)) (approx (/ (- y z) y) #s(literal 1 binary64)))
✓95.5%
(*.f64 x (/.f64 (-.f64 y z) y))
✓51.9%
(*.f64 x (approx (/ (- y z) y) #s(literal 1 binary64)))
Compiler
Compiled 9 to 23 computations (-155.6% saved)
regimes28.0ms (2.1%)
Accuracy
Total 1.4b remaining (4.1%)
Threshold costs 1.4b (4.1%)
0.7b74.5%
0.7b75.3%
0.0b0%
-0.0b-0.0%
Counts
1 → 1
5 → 1
6 → 2
8 → 2
Calls
Call 1
Inputs
(*.f64 x (approx (/ (- y z) y) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (/ (- y z) y) #s(literal 1 binary64)))
Call 2
Inputs
%3 = (- y z)
%6 = (approx (/ %3 y) #s(literal 1 binary64))
%9 = (approx x #s(literal 0 binary64))
%11 = (* x %3)
(*.f64 x %6)
(*.f64 %9 %6)
(/.f64 (approx %11 (*.f64 x y)) y)
(/.f64 (approx %11 (*.f64 %9 y)) y)
(*.f64 x (/.f64 (-.f64 y z) y))
Outputs
(*.f64 x (/.f64 (-.f64 y z) y))
Call 3
Inputs
%3 = (- y z)
%6 = (approx (/ %3 y) #s(literal 1 binary64))
%9 = (approx x #s(literal 0 binary64))
%11 = (* x %3)
%18 = (-.f64 y z)
(*.f64 x %6)
(*.f64 %9 %6)
(/.f64 (approx %11 (*.f64 x y)) y)
(/.f64 (approx %11 (*.f64 %9 y)) y)
(*.f64 x (/.f64 %18 y))
(/.f64 (*.f64 x %18) y)
Outputs
%3 = (-.f64 y z)
(/.f64 (*.f64 x %3) y)
(*.f64 x (/.f64 %3 y))
Call 4
Inputs
%3 = (- y z)
%6 = (approx (/ %3 y) #s(literal 1 binary64))
%9 = (approx x #s(literal 0 binary64))
%11 = (* x %3)
%18 = (-.f64 y z)
(*.f64 x %6)
(*.f64 %9 %6)
(/.f64 (approx %11 (*.f64 x y)) y)
(/.f64 (approx %11 (*.f64 %9 y)) y)
(*.f64 x (/.f64 %18 y))
(/.f64 (*.f64 x %18) y)
(*.f64 %18 (/.f64 x y))
(-.f64 x (*.f64 x (/.f64 z y)))
Outputs
(/.f64 (*.f64 x (-.f64 y z)) y)
(-.f64 x (*.f64 x (/.f64 z y)))
Calls
4 calls:
9.0ms
x
7.0ms
y
7.0ms
z
6.0ms
(/.f64 (*.f64 x (-.f64 y z)) y)
Results
AccuracySegmentsBranch
51.9%1
z
51.9%1
y
51.9%1
x
51.9%1
(/.f64 (*.f64 x (-.f64 y z)) y)
Compiler
Compiled 16 to 36 computations (-125.0% saved)
bsearch8.0ms (0.6%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
7.0ms
1.5958112238613028e-81
3.2356907904660043e-81
Samples
2.0ms80×0valid
Compiler
Compiled 12 to 19 computations (-58.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.0%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
0.0ms
1.5958112238613028e-81
3.2356907904660043e-81
Compiler
Compiled 12 to 18 computations (-50.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations31.0ms (2.4%)
Stop Event
1×done
Compiler
Compiled 4 to 17 computations (-325.0% saved)
preprocess21.0ms (1.6%)
Compiler
Compiled 13 to 92 computations (-607.7% saved)
end0.0ms (0.0%)
gc228ms (17.2%)
Allocations
AllocatedPercentPhase
335.2 MiB24.2%sample
316.8 MiB22.8%rewrite
308.0 MiB22.2%reconstruct
146.1 MiB10.5%series
80.5 MiB5.8%eval
72.7 MiB5.2%preprocess
45.0 MiB3.2%regimes
31.5 MiB2.3%prune
25.8 MiB1.9%analyze
16.9 MiB1.2%derivations
8.2 MiB0.6%bsearch
0.0 MiB0.0%end
0.0 MiB0.0%start
1 386.7 MiB100.0%total
Profiling
Loading profile data...