Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze1.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 7 to 6 computations (14.3% saved)

sample494.0ms (33.4%)

Samples
413.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Mul: 5.0ms (56.9% of total, 0.0 MiB)
Sub: 4.0ms (45.5% of total, 0.0 MiB)
Bogosity

preprocess65.0ms (4.4%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01432
15731
215930
346630
4392630
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 x (-.f64 #s(literal 1 binary64) y))
Symmetry

(negabs x)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series15.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039120
Stop Event
1×iter-limit
Counts
5 → 13
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
x
#s(literal 1 binary64)
y
%3
(*.f64 x %3)
Outputs
%6 = (- 1 y)
%7 = (* x %6)
%15 = (*.f64 #s(literal -1 binary64) y)
%19 = (*.f64 #s(literal -1 binary64) (*.f64 x y))
%23 = (/.f64 #s(literal 1 binary64) y)
%28 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx y y)
(approx %6 #s(literal 1 binary64))
(approx %6 (+.f64 #s(literal 1 binary64) %15))
(approx %7 (+.f64 x %19))
(approx %6 %15)
(approx %6 (*.f64 y (-.f64 %23 #s(literal 1 binary64))))
(approx %7 %19)
(approx %7 (*.f64 y (fma.f64 #s(literal -1 binary64) x %28)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %23))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 x (*.f64 #s(literal -1 binary64) %28)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
y
0
rewrite165.0ms (11.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
12311
25711
319611
4139611
0404311
0413411
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 336
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
x
#s(literal 1 binary64)
y
%3
(*.f64 x %3)
Outputs
%4 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 #s(literal 2 binary64) %4)
%7 = (/.f64 %5 #s(literal 8 binary64))
%10 = (neg.f64 y)
%12 = (*.f64 %10 #s(literal 1/2 binary64))
%14 = (-.f64 %12 #s(literal -1/2 binary64))
%23 = (/.f64 %5 #s(literal 1/2 binary64))
%26 = (-.f64 #s(literal 1/2 binary64) y)
%27 = (fma.f64 %26 #s(literal 2 binary64) #s(literal 1 binary64))
%31 = (fma.f64 %10 #s(literal -2 binary64) #s(literal -2 binary64))
%34 = (fma.f64 %10 #s(literal 1 binary64) #s(literal 1 binary64))
%38 = (-.f64 (*.f64 %10 #s(literal -2 binary64)) #s(literal 2 binary64))
%41 = (fma.f64 %5 #s(literal 2 binary64) #s(literal 0 binary64))
%44 = (neg.f64 %5)
%47 = (fma.f64 #s(literal 2 binary64) y #s(literal -2 binary64))
%48 = (neg.f64 %47)
%69 = (-.f64 y #s(literal 1 binary64))
%72 = (+.f64 y y)
%73 = (-.f64 %72 #s(literal 1 binary64))
%82 = (-.f64 y #s(literal 1/2 binary64))
%177 = (/.f64 %73 #s(literal -2 binary64))
%179 = (/.f64 %26 #s(literal 1 binary64))
%181 = (/.f64 %10 #s(literal 1 binary64))
%185 = (*.f64 %10 #s(literal 1 binary64))
%187 = (/.f64 %72 #s(literal -2 binary64))
%190 = (-.f64 #s(literal -1/2 binary64) %10)
%193 = (+.f64 #s(literal -1/2 binary64) y)
%204 = (-.f64 #s(literal 0 binary64) %10)
%207 = (+.f64 #s(literal 0 binary64) y)
%210 = (-.f64 y #s(literal 0 binary64))
%241 = (+.f64 #s(literal 0 binary64) %26)
%253 = (*.f64 %4 #s(literal 1/2 binary64))
%254 = (+.f64 x x)
%256 = (*.f64 %4 #s(literal 1 binary64))
%258 = (*.f64 %4 %254)
%260 = (*.f64 #s(literal 1/2 binary64) x)
%261 = (*.f64 %4 %260)
%263 = (*.f64 #s(literal 1/2 binary64) %4)
%266 = (neg.f64 x)
%269 = (*.f64 %254 %4)
%271 = (*.f64 %260 %4)
%274 = (*.f64 %4 x)
%299 = (*.f64 %10 x)
%300 = (fma.f64 %299 #s(literal 2 binary64) %254)
%303 = (*.f64 %10 %254)
%306 = (*.f64 %254 %10)
%309 = (*.f64 #s(literal -1 binary64) %254)
%314 = (*.f64 %254 #s(literal -1 binary64))
%319 = (*.f64 #s(literal -2 binary64) x)
%324 = (*.f64 x #s(literal -2 binary64))
%329 = (neg.f64 %254)
%340 = (*.f64 %266 %47)
%345 = (*.f64 x %5)
%348 = (*.f64 %47 %266)
%351 = (*.f64 %5 x)
%358 = (*.f64 %5 %254)
%361 = (*.f64 %254 %5)
%377 = (*.f64 %4 #s(literal 0 binary64))
%379 = (*.f64 #s(literal 0 binary64) %4)
%385 = (*.f64 #s(literal -1 binary64) %266)
%387 = (*.f64 %266 #s(literal -1 binary64))
%393 = (*.f64 %10 %260)
%403 = (*.f64 #s(literal 1/2 binary64) %260)
%404 = (fma.f64 #s(literal 1/2 binary64) x %299)
%406 = (*.f64 y x)
%407 = (-.f64 %260 %406)
%409 = (*.f64 x %26)
%411 = (*.f64 %26 x)
%424 = (*.f64 #s(literal 1/2 binary64) %10)
%435 = (neg.f64 %72)
%471 = (*.f64 %260 %10)
%478 = (*.f64 %260 #s(literal 1/2 binary64))
x
#s(literal 1 binary64)
y
(*.f64 %7 #s(literal 4 binary64))
(*.f64 %14 #s(literal 2 binary64))
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %10 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %23) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %27) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %31) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %34) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %38) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %41) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %44) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %48) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %5) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %47) #s(literal -2 binary64))
(/.f64 (+.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (+.f64 %48 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %44 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %69 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) %73) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %47 #s(literal 1/2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %82 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %69 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 y #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %47 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %44) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %48) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %5) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %47) #s(literal 2 binary64))
(/.f64 (-.f64 %23 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 %48 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %5 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %44 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (neg.f64 %23) #s(literal -4 binary64))
(/.f64 (neg.f64 %27) #s(literal -2 binary64))
(/.f64 (neg.f64 %31) #s(literal 2 binary64))
(/.f64 (neg.f64 %34) #s(literal -1 binary64))
(/.f64 (neg.f64 %38) #s(literal 2 binary64))
(/.f64 (neg.f64 %41) #s(literal -4 binary64))
(/.f64 (neg.f64 %44) #s(literal 2 binary64))
(/.f64 (neg.f64 %48) #s(literal -2 binary64))
(/.f64 %23 #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %72) #s(literal 2 binary64))
(/.f64 %27 #s(literal 2 binary64))
(/.f64 %31 #s(literal -2 binary64))
(/.f64 %34 #s(literal 1 binary64))
(/.f64 %38 #s(literal -2 binary64))
(/.f64 %41 #s(literal 4 binary64))
(/.f64 %44 #s(literal -2 binary64))
(/.f64 %48 #s(literal 2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %47 #s(literal -2 binary64))
(/.f64 %69 #s(literal -1 binary64))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %69)
(fma.f64 %7 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %14 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %5 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %26 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %10 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %4 #s(literal 0 binary64))
(-.f64 (/.f64 (-.f64 %72 #s(literal 3/2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64))
(-.f64 (/.f64 (-.f64 %72 #s(literal 1/2 binary64)) #s(literal -2 binary64)) #s(literal -3/4 binary64))
(-.f64 %177 #s(literal -1/2 binary64))
(-.f64 %179 #s(literal -1/2 binary64))
(-.f64 %181 #s(literal -1 binary64))
(-.f64 (+.f64 %4 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %185 #s(literal -1 binary64))
(-.f64 %187 #s(literal -1 binary64))
(-.f64 %26 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (/.f64 %190 #s(literal 1 binary64)))
(-.f64 #s(literal 1/2 binary64) (/.f64 %193 #s(literal 1 binary64)))
(-.f64 #s(literal 1/2 binary64) (/.f64 %82 #s(literal 1 binary64)))
(-.f64 #s(literal 1/2 binary64) %190)
(-.f64 #s(literal 1/2 binary64) %193)
(-.f64 #s(literal 1/2 binary64) %82)
(-.f64 %10 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %69)
(-.f64 %4 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (/.f64 %204 #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (/.f64 %207 #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (/.f64 %210 #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) %204)
(-.f64 #s(literal 1 binary64) %207)
(-.f64 #s(literal 1 binary64) %210)
%4
(+.f64 (/.f64 (*.f64 %26 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(+.f64 (/.f64 %185 #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 (/.f64 (*.f64 %5 #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64))
(+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %10 #s(literal 3/2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %10 #s(literal 1/2 binary64)) #s(literal 2 binary64)) #s(literal 3/4 binary64))
(+.f64 %177 #s(literal 1/2 binary64))
(+.f64 (/.f64 %187 #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 %179 #s(literal 1/2 binary64))
(+.f64 %181 #s(literal 1 binary64))
(+.f64 %187 #s(literal 1 binary64))
(+.f64 %26 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (/.f64 %241 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %179)
(+.f64 #s(literal 1/2 binary64) %241)
(+.f64 #s(literal 1/2 binary64) %26)
(+.f64 %10 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %4)
(+.f64 %4 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %181)
(+.f64 #s(literal 1 binary64) %187)
(+.f64 #s(literal 1 binary64) %10)
(*.f64 %253 %254)
(*.f64 %256 x)
(*.f64 %258 #s(literal 1/2 binary64))
(*.f64 %261 #s(literal 2 binary64))
(*.f64 %254 %263)
(*.f64 %260 %5)
(*.f64 %266 %69)
(*.f64 %5 %260)
(*.f64 #s(literal 1/2 binary64) %269)
(*.f64 #s(literal 2 binary64) %271)
(*.f64 %69 %266)
(*.f64 %274 #s(literal 1 binary64))
%274
(*.f64 #s(literal 1 binary64) %274)
(*.f64 x %4)
(pow.f64 %274 #s(literal 1 binary64))
(/.f64 (fma.f64 %10 %254 %254) #s(literal 2 binary64))
(/.f64 (fma.f64 %254 %10 %254) #s(literal 2 binary64))
(/.f64 (fma.f64 %5 %254 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %254 %5 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %266 %47 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %4 %254 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x %5 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %47 %266 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %5 x #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %254 %4 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %300 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %303) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %306) #s(literal 2 binary64))
(/.f64 (-.f64 %303 %309) #s(literal 2 binary64))
(/.f64 (-.f64 %306 %309) #s(literal 2 binary64))
(/.f64 (-.f64 %303 %314) #s(literal 2 binary64))
(/.f64 (-.f64 %306 %314) #s(literal 2 binary64))
(/.f64 (-.f64 %303 %319) #s(literal 2 binary64))
(/.f64 (-.f64 %306 %319) #s(literal 2 binary64))
(/.f64 (-.f64 %303 %324) #s(literal 2 binary64))
(/.f64 (-.f64 %306 %324) #s(literal 2 binary64))
(/.f64 (-.f64 %303 %329) #s(literal 2 binary64))
(/.f64 (-.f64 %306 %329) #s(literal 2 binary64))
(/.f64 (-.f64 %254 (*.f64 y %254)) #s(literal 2 binary64))
(/.f64 (-.f64 %254 (*.f64 %254 y)) #s(literal 2 binary64))
(/.f64 (neg.f64 %340) #s(literal -2 binary64))
(/.f64 (neg.f64 %258) #s(literal -2 binary64))
(/.f64 (neg.f64 %345) #s(literal -2 binary64))
(/.f64 (neg.f64 %348) #s(literal -2 binary64))
(/.f64 (neg.f64 %351) #s(literal -2 binary64))
(/.f64 (neg.f64 %269) #s(literal -2 binary64))
(/.f64 (neg.f64 %300) #s(literal -2 binary64))
(/.f64 (neg.f64 %358) #s(literal -4 binary64))
(/.f64 (neg.f64 %361) #s(literal -4 binary64))
(/.f64 %340 #s(literal 2 binary64))
(/.f64 %258 #s(literal 2 binary64))
(/.f64 %345 #s(literal 2 binary64))
(/.f64 %348 #s(literal 2 binary64))
(/.f64 %351 #s(literal 2 binary64))
(/.f64 %269 #s(literal 2 binary64))
(/.f64 %300 #s(literal 2 binary64))
(/.f64 %358 #s(literal 4 binary64))
(/.f64 %361 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %274 #s(literal -1 binary64)))
(neg.f64 (*.f64 %69 x))
(fma.f64 %253 %254 %377)
(fma.f64 %253 %254 %379)
(fma.f64 %253 %254 #s(literal 0 binary64))
(fma.f64 %256 x %377)
(fma.f64 %256 x %379)
(fma.f64 %256 x #s(literal 0 binary64))
(fma.f64 %303 #s(literal 1/2 binary64) %385)
(fma.f64 %303 #s(literal 1/2 binary64) %387)
(fma.f64 %303 #s(literal 1/2 binary64) x)
(fma.f64 %258 #s(literal 1/2 binary64) %377)
(fma.f64 %258 #s(literal 1/2 binary64) %379)
(fma.f64 %258 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %393 #s(literal 2 binary64) %385)
(fma.f64 %393 #s(literal 2 binary64) %387)
(fma.f64 %393 #s(literal 2 binary64) x)
(fma.f64 %261 #s(literal 2 binary64) %377)
(fma.f64 %261 #s(literal 2 binary64) %379)
(fma.f64 %261 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %12 %254 %385)
(fma.f64 %12 %254 %387)
(fma.f64 %12 %254 x)
(fma.f64 %403 #s(literal 2 binary64) %404)
(fma.f64 %403 #s(literal 2 binary64) %407)
(fma.f64 %403 #s(literal 2 binary64) %409)
(fma.f64 %403 #s(literal 2 binary64) %411)
(fma.f64 %185 x %385)
(fma.f64 %185 x %387)
(fma.f64 %185 x x)
(fma.f64 #s(literal 1/4 binary64) %254 %404)
(fma.f64 #s(literal 1/4 binary64) %254 %407)
(fma.f64 #s(literal 1/4 binary64) %254 %409)
(fma.f64 #s(literal 1/4 binary64) %254 %411)
(fma.f64 %26 x %260)
(fma.f64 %254 %263 %377)
(fma.f64 %254 %263 %379)
(fma.f64 %254 %263 #s(literal 0 binary64))
(fma.f64 %254 %424 %385)
(fma.f64 %254 %424 %387)
(fma.f64 %254 %424 x)
(fma.f64 %254 #s(literal 1/4 binary64) %404)
(fma.f64 %254 #s(literal 1/4 binary64) %407)
(fma.f64 %254 #s(literal 1/4 binary64) %409)
(fma.f64 %254 #s(literal 1/4 binary64) %411)
(fma.f64 %260 %5 %377)
(fma.f64 %260 %5 %379)
(fma.f64 %260 %5 #s(literal 0 binary64))
(fma.f64 %260 %435 %385)
(fma.f64 %260 %435 %387)
(fma.f64 %260 %435 x)
(fma.f64 %260 %4 %271)
(fma.f64 %260 #s(literal 1 binary64) %404)
(fma.f64 %260 #s(literal 1 binary64) %407)
(fma.f64 %260 #s(literal 1 binary64) %409)
(fma.f64 %260 #s(literal 1 binary64) %411)
(fma.f64 %266 #s(literal -1 binary64) %299)
(fma.f64 %266 %69 %377)
(fma.f64 %266 %69 %379)
(fma.f64 %266 %69 #s(literal 0 binary64))
(fma.f64 %266 y %385)
(fma.f64 %266 y %387)
(fma.f64 %266 y x)
(fma.f64 %5 %260 %377)
(fma.f64 %5 %260 %379)
(fma.f64 %5 %260 #s(literal 0 binary64))
(fma.f64 %435 %260 %385)
(fma.f64 %435 %260 %387)
(fma.f64 %435 %260 x)
(fma.f64 %299 #s(literal 1 binary64) %385)
(fma.f64 %299 #s(literal 1 binary64) %387)
(fma.f64 %299 #s(literal 1 binary64) x)
(fma.f64 #s(literal -1 binary64) %266 %299)
(fma.f64 #s(literal 1/2 binary64) %306 %385)
(fma.f64 #s(literal 1/2 binary64) %306 %387)
(fma.f64 #s(literal 1/2 binary64) %306 x)
(fma.f64 #s(literal 1/2 binary64) %269 %377)
(fma.f64 #s(literal 1/2 binary64) %269 %379)
(fma.f64 #s(literal 1/2 binary64) %269 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %404)
(fma.f64 #s(literal 1/2 binary64) x %407)
(fma.f64 #s(literal 1/2 binary64) x %409)
(fma.f64 #s(literal 1/2 binary64) x %411)
(fma.f64 #s(literal 2 binary64) %471 %385)
(fma.f64 #s(literal 2 binary64) %471 %387)
(fma.f64 #s(literal 2 binary64) %471 x)
(fma.f64 #s(literal 2 binary64) %271 %377)
(fma.f64 #s(literal 2 binary64) %271 %379)
(fma.f64 #s(literal 2 binary64) %271 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %478 %404)
(fma.f64 #s(literal 2 binary64) %478 %407)
(fma.f64 #s(literal 2 binary64) %478 %409)
(fma.f64 #s(literal 2 binary64) %478 %411)
(fma.f64 %10 x %385)
(fma.f64 %10 x %387)
(fma.f64 %10 x x)
(fma.f64 %69 %266 %377)
(fma.f64 %69 %266 %379)
(fma.f64 %69 %266 #s(literal 0 binary64))
(fma.f64 %274 #s(literal 1 binary64) %377)
(fma.f64 %274 #s(literal 1 binary64) %379)
(fma.f64 %274 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %4 %260 %261)
(fma.f64 %4 x %377)
(fma.f64 %4 x %379)
(fma.f64 %4 x #s(literal 0 binary64))
(fma.f64 y %266 %385)
(fma.f64 y %266 %387)
(fma.f64 y %266 x)
(fma.f64 #s(literal 1 binary64) %260 %404)
(fma.f64 #s(literal 1 binary64) %260 %407)
(fma.f64 #s(literal 1 binary64) %260 %409)
(fma.f64 #s(literal 1 binary64) %260 %411)
(fma.f64 #s(literal 1 binary64) %299 %385)
(fma.f64 #s(literal 1 binary64) %299 %387)
(fma.f64 #s(literal 1 binary64) %299 x)
(fma.f64 #s(literal 1 binary64) %274 %377)
(fma.f64 #s(literal 1 binary64) %274 %379)
(fma.f64 #s(literal 1 binary64) %274 #s(literal 0 binary64))
(fma.f64 x %26 %260)
(fma.f64 x #s(literal 1/2 binary64) %404)
(fma.f64 x #s(literal 1/2 binary64) %407)
(fma.f64 x #s(literal 1/2 binary64) %409)
(fma.f64 x #s(literal 1/2 binary64) %411)
(fma.f64 x %10 %385)
(fma.f64 x %10 %387)
(fma.f64 x %10 x)
(fma.f64 x %4 %377)
(fma.f64 x %4 %379)
(fma.f64 x %4 #s(literal 0 binary64))
(-.f64 %299 %266)
(-.f64 x %406)
(+.f64 (/.f64 (*.f64 %299 #s(literal 2 binary64)) #s(literal 2 binary64)) x)
(+.f64 (fma.f64 %266 y %260) %260)
(+.f64 %261 %261)
(+.f64 %409 %260)
(+.f64 %385 %299)
(+.f64 %271 %271)
(+.f64 %411 %260)
(+.f64 %387 %299)
(+.f64 %260 %404)
(+.f64 %260 %407)
(+.f64 %260 %409)
(+.f64 %260 %411)
(+.f64 %299 %385)
(+.f64 %299 %387)
(+.f64 %299 x)
(+.f64 %274 %377)
(+.f64 %274 %379)
(+.f64 %274 #s(literal 0 binary64))
(+.f64 x (+.f64 #s(literal 0 binary64) %299))
(+.f64 x (-.f64 #s(literal 0 binary64) %406))
(+.f64 x %299)
reconstruct50.0ms (3.4%)
Counts
349 → 23
Compiler
Compiled 349 to 566 computations (-62.2% saved)
eval4.0ms (0.2%)
Compiler
Compiled 20 to 61 computations (-205.0% saved)
prune2.0ms (0.1%)
Pruning
3 alts after pruning (2 fresh and 1 done)
PrunedKeptTotal
New18220
Fresh000
Picked011
Done000
Total18321
Accuracy
100.0%
Counts
21 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 x (*.f64 y x))
✓100.0%
(*.f64 x (-.f64 #s(literal 1 binary64) y))
▶49.9%
(*.f64 x (approx (- 1 y) #s(literal 1 binary64)))
Compiler
Compiled 3 to 8 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series14.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
051172
Stop Event
1×iter-limit
Counts
7 → 17
Calls
Call 1
Inputs
%5 = (approx (- 1 y) #s(literal 1 binary64))
%6 = (*.f64 y x)
x
#s(literal 1 binary64)
y
%5
%6
(-.f64 x %6)
(*.f64 x %5)
Outputs
%5 = (* y x)
%6 = (*.f64 x y)
%8 = (- x %5)
%14 = (*.f64 #s(literal -1 binary64) y)
%15 = (+.f64 #s(literal 1 binary64) %14)
%20 = (- 1 y)
%23 = (*.f64 #s(literal -1 binary64) %6)
%27 = (/.f64 #s(literal 1 binary64) y)
%32 = (/.f64 x y)
%36 = (* x %20)
%44 = (*.f64 #s(literal -1 binary64) %32)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %8 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx %8 (*.f64 x %15))
(approx y y)
(approx %20 #s(literal 1 binary64))
(approx %20 %15)
(approx %8 (+.f64 x %23))
(approx %20 %14)
(approx %20 (*.f64 y (-.f64 %27 #s(literal 1 binary64))))
(approx %8 %23)
(approx %8 (*.f64 y (-.f64 %32 x)))
(approx %36 (*.f64 y (fma.f64 #s(literal -1 binary64) x %32)))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %27))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %44 (*.f64 #s(literal -1 binary64) x)))))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 x %44))))
Calls
6 calls:
TimeVariablePoint
12.0ms
x
inf
3.0ms
y
inf
2.0ms
y
-inf
1.0ms
x
-inf
1.0ms
y
0
rewrite137.0ms (9.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0823
01123
13723
28023
320023
490223
0421023
0430923
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 66
Calls
Call 1
Inputs
%5 = (approx (- 1 y) #s(literal 1 binary64))
%6 = (*.f64 y x)
x
#s(literal 1 binary64)
y
%5
%6
(-.f64 x %6)
(*.f64 x %5)
Outputs
%5 = (approx (- 1 y) #s(literal 1 binary64))
%11 = (neg.f64 x)
%12 = (neg.f64 y)
%15 = (*.f64 y x)
%21 = (*.f64 %12 x)
%23 = (-.f64 y #s(literal 1 binary64))
%25 = (-.f64 #s(literal 1 binary64) y)
%26 = (*.f64 %25 x)
%31 = (*.f64 #s(literal 2 binary64) %25)
%32 = (*.f64 x %31)
%36 = (*.f64 %31 x)
%46 = (-.f64 #s(literal 1/2 binary64) y)
%47 = (*.f64 #s(literal 1/2 binary64) x)
%49 = (*.f64 x #s(literal 1 binary64))
%52 = (*.f64 %46 x)
%57 = (*.f64 x #s(literal 0 binary64))
%59 = (*.f64 #s(literal 0 binary64) x)
%69 = (*.f64 x #s(literal 1/2 binary64))
%71 = (*.f64 x %46)
%90 = (*.f64 %5 x)
x
#s(literal 1 binary64)
y
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(*.f64 %11 %12)
(*.f64 %12 %11)
%15
(*.f64 #s(literal 1 binary64) %15)
(*.f64 x y)
(pow.f64 %15 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -1 binary64)))
(neg.f64 %21)
(*.f64 %23 %11)
%26
(*.f64 #s(literal 1 binary64) %26)
(*.f64 x %25)
(pow.f64 %26 #s(literal 1 binary64))
(/.f64 (neg.f64 %32) #s(literal -2 binary64))
(/.f64 (neg.f64 %36) #s(literal -2 binary64))
(/.f64 %32 #s(literal 2 binary64))
(/.f64 %36 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64)))
(neg.f64 (*.f64 %23 x))
(fma.f64 %46 x %47)
(fma.f64 %11 y %49)
(fma.f64 %11 y x)
(fma.f64 #s(literal 1/2 binary64) x %52)
(fma.f64 %12 x %49)
(fma.f64 %12 x x)
(fma.f64 %23 %11 %57)
(fma.f64 %23 %11 %59)
(fma.f64 %25 x %57)
(fma.f64 %25 x %59)
(fma.f64 y %11 %49)
(fma.f64 y %11 x)
(fma.f64 #s(literal 1 binary64) %21 %49)
(fma.f64 #s(literal 1 binary64) %21 x)
(fma.f64 #s(literal 1 binary64) %26 %57)
(fma.f64 #s(literal 1 binary64) %26 %59)
(fma.f64 x %46 %69)
(fma.f64 x #s(literal 1/2 binary64) %71)
(fma.f64 x %12 %49)
(fma.f64 x %12 x)
(fma.f64 x %25 %57)
(fma.f64 x %25 %59)
(fma.f64 x #s(literal 1 binary64) %21)
(-.f64 %21 %11)
(-.f64 x %15)
(+.f64 %71 %69)
(+.f64 %69 %71)
(+.f64 %49 %21)
(+.f64 %52 %47)
(+.f64 %47 %52)
(+.f64 %21 %49)
(+.f64 %21 x)
(+.f64 %26 %57)
(+.f64 %26 %59)
(+.f64 x %21)
%90
(*.f64 #s(literal 1 binary64) %90)
(*.f64 x %5)
(pow.f64 %90 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %90 #s(literal -1 binary64)))
reconstruct10.0ms (0.7%)
Counts
82 → 21
Compiler
Compiled 82 to 117 computations (-42.7% saved)
eval3.0ms (0.2%)
Compiler
Compiled 18 to 46 computations (-155.6% saved)
prune2.0ms (0.1%)
Pruning
4 alts after pruning (1 fresh and 3 done)
PrunedKeptTotal
New17118
Fresh000
Picked022
Done011
Total17421
Accuracy
100.0%
Counts
21 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 x (*.f64 y x))
▶3.2%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 y) #s(literal 1 binary64)))
✓100.0%
(*.f64 x (-.f64 #s(literal 1 binary64) y))
✓49.9%
(*.f64 x (approx (- 1 y) #s(literal 1 binary64)))
Compiler
Compiled 4 to 10 computations (-150.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series7.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
038117
Stop Event
1×iter-limit
Counts
6 → 12
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%7 = (approx (- 1 y) #s(literal 1 binary64))
x
#s(literal 1 binary64)
#s(literal 0 binary64)
%3
%7
(*.f64 %3 %7)
Outputs
%6 = (- 1 y)
%7 = (* x %6)
%14 = (*.f64 #s(literal -1 binary64) y)
%18 = (*.f64 #s(literal -1 binary64) (*.f64 x y))
%22 = (/.f64 #s(literal 1 binary64) y)
%27 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx %6 #s(literal 1 binary64))
(approx %6 (+.f64 #s(literal 1 binary64) %14))
(approx %7 (+.f64 x %18))
(approx %6 %14)
(approx %6 (*.f64 y (-.f64 %22 #s(literal 1 binary64))))
(approx %7 %18)
(approx %7 (*.f64 y (fma.f64 #s(literal -1 binary64) x %27)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %22))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 x (*.f64 #s(literal -1 binary64) %27)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
0.0ms
x
0
0.0ms
y
0
rewrite137.0ms (9.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0820
0920
12820
25220
316520
4142720
0405020
0416620
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 16
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%7 = (approx (- 1 y) #s(literal 1 binary64))
x
#s(literal 1 binary64)
#s(literal 0 binary64)
%3
%7
(*.f64 %3 %7)
Outputs
%3 = (approx x #s(literal 0 binary64))
%12 = (approx (- 1 y) #s(literal 1 binary64))
%17 = (*.f64 %12 %3)
x
#s(literal 1 binary64)
#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)))
(*.f64 #s(literal 1 binary64) %12)
(pow.f64 %12 #s(literal 1 binary64))
%12
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
%17
(*.f64 %3 %12)
(*.f64 #s(literal 1 binary64) %17)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
reconstruct3.0ms (0.2%)
Counts
27 → 14
Compiler
Compiled 27 to 39 computations (-44.4% saved)
eval2.0ms (0.1%)
Compiler
Compiled 8 to 22 computations (-175.0% saved)
prune2.0ms (0.1%)
Pruning
4 alts after pruning (0 fresh and 4 done)
PrunedKeptTotal
New808
Fresh000
Picked011
Done033
Total8412
Accuracy
100.0%
Counts
12 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 x (*.f64 y x))
✓3.2%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 y) #s(literal 1 binary64)))
✓100.0%
(*.f64 x (-.f64 #s(literal 1 binary64) y))
✓49.9%
(*.f64 x (approx (- 1 y) #s(literal 1 binary64)))
Compiler
Compiled 4 to 10 computations (-150.0% saved)
regimes19.0ms (1.3%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0.0%
0.0b0%
0.0b0%
Counts
1 → 1
3 → 1
4 → 1
Calls
Call 1
Inputs
(*.f64 x (approx (- 1 y) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (- 1 y) #s(literal 1 binary64)))
Call 2
Inputs
%5 = (approx (- 1 y) #s(literal 1 binary64))
(*.f64 x %5)
(*.f64 (approx x #s(literal 0 binary64)) %5)
(*.f64 x (-.f64 #s(literal 1 binary64) y))
Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
Call 3
Inputs
%5 = (approx (- 1 y) #s(literal 1 binary64))
(*.f64 x %5)
(*.f64 (approx x #s(literal 0 binary64)) %5)
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(-.f64 x (*.f64 y x))
Outputs
(-.f64 x (*.f64 y x))
Calls
4 calls:
7.0ms
(-.f64 #s(literal 1 binary64) y)
5.0ms
(*.f64 x (-.f64 #s(literal 1 binary64) y))
5.0ms
x
4.0ms
y
Results
AccuracySegmentsBranch
49.9%1
y
49.9%1
x
49.9%1
(*.f64 x (-.f64 #s(literal 1 binary64) y))
49.9%1
(-.f64 #s(literal 1 binary64) y)
Compiler
Compiled 8 to 15 computations (-87.5% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations18.0ms (1.2%)
Stop Event
1×done
Compiler
Compiled 3 to 8 computations (-166.7% saved)
preprocess12.0ms (0.8%)
Compiler
Compiled 10 to 37 computations (-270.0% saved)
end0.0ms (0.0%)
gc317ms (21.4%)
Allocations
AllocatedPercentPhase
649.1 MiB46.4%sample
443.4 MiB31.7%rewrite
96.9 MiB6.9%reconstruct
75.9 MiB5.4%preprocess
64.0 MiB4.6%series
29.9 MiB2.1%regimes
15.8 MiB1.1%eval
13.6 MiB1.0%prune
9.0 MiB0.6%derivations
1.9 MiB0.1%analyze
0.1 MiB0.0%bsearch
0.1 MiB0.0%start
0.0 MiB0.0%end
1 399.9 MiB100.0%total
Profiling
Loading profile data...