Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, C

Time bar (total: 1.3s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 7 to 7 computations (0.0% saved)

sample251.0ms (19.1%)

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

preprocess56.0ms (4.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01432
15030
211230
331830
4105230
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (*.f64 x #s(literal 2 binary64)) y)
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series18.0ms (1.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039110
Stop Event
1×iter-limit
Counts
5 → 11
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
%2
y
(-.f64 %2 y)
Outputs
%5 = (* x 2)
%7 = (*.f64 #s(literal 2 binary64) x)
%10 = (- %5 y)
%16 = (/.f64 y x)
%28 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %10 (*.f64 #s(literal -1 binary64) y))
(approx %10 (-.f64 %7 y))
(approx %10 (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %16))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %16 #s(literal 2 binary64)))))
(approx y y)
(approx %10 (fma.f64 #s(literal -1 binary64) y %7))
(approx %10 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) %28) #s(literal 1 binary64))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %28)))))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
-inf
3.0ms
x
-inf
3.0ms
y
inf
2.0ms
x
inf
1.0ms
x
0
rewrite173.0ms (13.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
11911
24911
314811
451011
5280811
0407911
0425311
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 389
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
%2
y
(-.f64 %2 y)
Outputs
%3 = (*.f64 #s(literal 1/2 binary64) x)
%5 = (*.f64 %3 #s(literal 16 binary64))
%8 = (*.f64 %3 #s(literal 1/4 binary64))
%10 = (+.f64 x x)
%12 = (*.f64 %10 #s(literal 1/8 binary64))
%16 = (*.f64 #s(literal -2 binary64) x)
%18 = (*.f64 %16 #s(literal 4 binary64))
%21 = (*.f64 %10 #s(literal 8 binary64))
%23 = (*.f64 #s(literal 4 binary64) x)
%24 = (*.f64 %23 #s(literal 2 binary64))
%26 = (*.f64 %10 #s(literal 4 binary64))
%28 = (*.f64 #s(literal 1/4 binary64) x)
%31 = (*.f64 #s(literal -4 binary64) x)
%35 = (*.f64 #s(literal -1/2 binary64) x)
%37 = (*.f64 #s(literal 1/4 binary64) %3)
%40 = (*.f64 #s(literal 8 binary64) %10)
%42 = (*.f64 #s(literal 16 binary64) %3)
%44 = (*.f64 #s(literal 4 binary64) %10)
%46 = (*.f64 #s(literal 1/8 binary64) %10)
%50 = (neg.f64 x)
%51 = (*.f64 #s(literal -1/2 binary64) %50)
%110 = (*.f64 %3 #s(literal 1/8 binary64))
%111 = (fma.f64 #s(literal 1/2 binary64) x x)
%113 = (-.f64 %3 %50)
%116 = (*.f64 %3 #s(literal 3 binary64))
%119 = (*.f64 x #s(literal 3/2 binary64))
%121 = (*.f64 #s(literal 3 binary64) %3)
%123 = (*.f64 #s(literal 3/2 binary64) x)
%179 = (*.f64 #s(literal 1/8 binary64) %3)
%197 = (*.f64 %28 #s(literal 1/2 binary64))
%220 = (*.f64 #s(literal -1/2 binary64) %3)
%293 = (-.f64 %10 y)
%296 = (-.f64 x y)
%299 = (neg.f64 y)
%312 = (fma.f64 #s(literal 1/2 binary64) x %296)
%314 = (-.f64 y x)
%315 = (-.f64 %3 %314)
%317 = (+.f64 #s(literal 0 binary64) %299)
%319 = (-.f64 #s(literal 0 binary64) y)
x
#s(literal 2 binary64)
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %8 #s(literal 16 binary64))
(*.f64 %12 #s(literal 8 binary64))
(*.f64 %18 #s(literal -1/4 binary64))
(*.f64 %21 #s(literal 1/8 binary64))
(*.f64 %24 #s(literal 1/4 binary64))
(*.f64 %26 #s(literal 1/4 binary64))
(*.f64 %28 #s(literal 8 binary64))
(*.f64 %31 #s(literal -1/2 binary64))
(*.f64 %23 #s(literal 1/2 binary64))
(*.f64 %35 #s(literal -4 binary64))
(*.f64 #s(literal 16 binary64) %37)
(*.f64 #s(literal -4 binary64) %35)
(*.f64 #s(literal 1/8 binary64) %40)
(*.f64 #s(literal 1/4 binary64) %42)
(*.f64 #s(literal 1/4 binary64) %44)
(*.f64 #s(literal 8 binary64) %46)
(*.f64 #s(literal 8 binary64) %28)
(*.f64 %3 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %51)
(*.f64 #s(literal 4 binary64) %3)
(*.f64 #s(literal -1/2 binary64) %31)
(*.f64 #s(literal 1/2 binary64) %23)
(*.f64 #s(literal -2 binary64) %50)
(*.f64 %50 #s(literal -2 binary64))
(*.f64 %16 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %16)
(*.f64 #s(literal 1 binary64) %10)
(*.f64 %10 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 (*.f64 x #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) x) #s(literal 4 binary64))
(/.f64 (/.f64 %23 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x %23) #s(literal 4 binary64))
(/.f64 (-.f64 %23 %31) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -4 binary64) %16) #s(literal 4 binary64))
(/.f64 (*.f64 %16 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %31 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %31 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %23) #s(literal -4 binary64))
(/.f64 (*.f64 %23 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %40 #s(literal 8 binary64))
(/.f64 %21 #s(literal 8 binary64))
(/.f64 (*.f64 %23 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %23) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %23) #s(literal 4 binary64))
(/.f64 %44 #s(literal 4 binary64))
(/.f64 %24 #s(literal 4 binary64))
(/.f64 %26 #s(literal 4 binary64))
(/.f64 %31 #s(literal -2 binary64))
(/.f64 %23 #s(literal 2 binary64))
(/.f64 %16 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %23))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(/.f64 %10 #s(literal 1 binary64))
(/.f64 x #s(literal 1/2 binary64))
(neg.f64 %16)
(fma.f64 %110 #s(literal 8 binary64) %111)
(fma.f64 %110 #s(literal 8 binary64) %113)
(fma.f64 %110 #s(literal 8 binary64) %116)
(fma.f64 %110 #s(literal 8 binary64) %119)
(fma.f64 %110 #s(literal 8 binary64) %121)
(fma.f64 %110 #s(literal 8 binary64) %123)
(fma.f64 %5 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %8 #s(literal 16 binary64) #s(literal 0 binary64))
(fma.f64 %8 #s(literal 4 binary64) %111)
(fma.f64 %8 #s(literal 4 binary64) %113)
(fma.f64 %8 #s(literal 4 binary64) %116)
(fma.f64 %8 #s(literal 4 binary64) %119)
(fma.f64 %8 #s(literal 4 binary64) %121)
(fma.f64 %8 #s(literal 4 binary64) %123)
(fma.f64 %12 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %18 #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 %21 #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 %24 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %26 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) x %3)
(fma.f64 %28 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %28 #s(literal 2 binary64) %111)
(fma.f64 %28 #s(literal 2 binary64) %113)
(fma.f64 %28 #s(literal 2 binary64) %116)
(fma.f64 %28 #s(literal 2 binary64) %119)
(fma.f64 %28 #s(literal 2 binary64) %121)
(fma.f64 %28 #s(literal 2 binary64) %123)
(fma.f64 %31 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %23 #s(literal 1/8 binary64) %111)
(fma.f64 %23 #s(literal 1/8 binary64) %113)
(fma.f64 %23 #s(literal 1/8 binary64) %116)
(fma.f64 %23 #s(literal 1/8 binary64) %119)
(fma.f64 %23 #s(literal 1/8 binary64) %121)
(fma.f64 %23 #s(literal 1/8 binary64) %123)
(fma.f64 %23 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %35 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 %35 #s(literal -1 binary64) %111)
(fma.f64 %35 #s(literal -1 binary64) %113)
(fma.f64 %35 #s(literal -1 binary64) %116)
(fma.f64 %35 #s(literal -1 binary64) %119)
(fma.f64 %35 #s(literal -1 binary64) %121)
(fma.f64 %35 #s(literal -1 binary64) %123)
(fma.f64 #s(literal 16 binary64) %37 #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) %35 #s(literal 0 binary64))
(fma.f64 #s(literal 1/8 binary64) %40 #s(literal 0 binary64))
(fma.f64 #s(literal 1/8 binary64) %23 %111)
(fma.f64 #s(literal 1/8 binary64) %23 %113)
(fma.f64 #s(literal 1/8 binary64) %23 %116)
(fma.f64 #s(literal 1/8 binary64) %23 %119)
(fma.f64 #s(literal 1/8 binary64) %23 %121)
(fma.f64 #s(literal 1/8 binary64) %23 %123)
(fma.f64 #s(literal 1/4 binary64) %42 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %44 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %10 %111)
(fma.f64 #s(literal 1/4 binary64) %10 %113)
(fma.f64 #s(literal 1/4 binary64) %10 %116)
(fma.f64 #s(literal 1/4 binary64) %10 %119)
(fma.f64 #s(literal 1/4 binary64) %10 %121)
(fma.f64 #s(literal 1/4 binary64) %10 %123)
(fma.f64 #s(literal 8 binary64) %179 %111)
(fma.f64 #s(literal 8 binary64) %179 %113)
(fma.f64 #s(literal 8 binary64) %179 %116)
(fma.f64 #s(literal 8 binary64) %179 %119)
(fma.f64 #s(literal 8 binary64) %179 %121)
(fma.f64 #s(literal 8 binary64) %179 %123)
(fma.f64 #s(literal 8 binary64) %46 #s(literal 0 binary64))
(fma.f64 #s(literal 8 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) %3 %3)
(fma.f64 %3 #s(literal 3 binary64) %3)
(fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 1 binary64) %111)
(fma.f64 %3 #s(literal 1 binary64) %113)
(fma.f64 %3 #s(literal 1 binary64) %116)
(fma.f64 %3 #s(literal 1 binary64) %119)
(fma.f64 %3 #s(literal 1 binary64) %121)
(fma.f64 %3 #s(literal 1 binary64) %123)
(fma.f64 #s(literal 4 binary64) %197 %111)
(fma.f64 #s(literal 4 binary64) %197 %113)
(fma.f64 #s(literal 4 binary64) %197 %116)
(fma.f64 #s(literal 4 binary64) %197 %119)
(fma.f64 #s(literal 4 binary64) %197 %121)
(fma.f64 #s(literal 4 binary64) %197 %123)
(fma.f64 #s(literal 4 binary64) %37 %111)
(fma.f64 #s(literal 4 binary64) %37 %113)
(fma.f64 #s(literal 4 binary64) %37 %116)
(fma.f64 #s(literal 4 binary64) %37 %119)
(fma.f64 #s(literal 4 binary64) %37 %121)
(fma.f64 #s(literal 4 binary64) %37 %123)
(fma.f64 #s(literal 4 binary64) %51 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %3 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %31 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %23 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %111)
(fma.f64 #s(literal 1/2 binary64) x %113)
(fma.f64 #s(literal 1/2 binary64) x %116)
(fma.f64 #s(literal 1/2 binary64) x %119)
(fma.f64 #s(literal 1/2 binary64) x %121)
(fma.f64 #s(literal 1/2 binary64) x %123)
(fma.f64 #s(literal -2 binary64) %220 %111)
(fma.f64 #s(literal -2 binary64) %220 %113)
(fma.f64 #s(literal -2 binary64) %220 %116)
(fma.f64 #s(literal -2 binary64) %220 %119)
(fma.f64 #s(literal -2 binary64) %220 %121)
(fma.f64 #s(literal -2 binary64) %220 %123)
(fma.f64 #s(literal -2 binary64) %50 #s(literal 0 binary64))
(fma.f64 %50 #s(literal -1/2 binary64) %111)
(fma.f64 %50 #s(literal -1/2 binary64) %113)
(fma.f64 %50 #s(literal -1/2 binary64) %116)
(fma.f64 %50 #s(literal -1/2 binary64) %119)
(fma.f64 %50 #s(literal -1/2 binary64) %121)
(fma.f64 %50 #s(literal -1/2 binary64) %123)
(fma.f64 %50 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %16 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %35 %111)
(fma.f64 #s(literal -1 binary64) %35 %113)
(fma.f64 #s(literal -1 binary64) %35 %116)
(fma.f64 #s(literal -1 binary64) %35 %119)
(fma.f64 #s(literal -1 binary64) %35 %121)
(fma.f64 #s(literal -1 binary64) %35 %123)
(fma.f64 #s(literal -1 binary64) %16 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 %111)
(fma.f64 #s(literal 1 binary64) %3 %113)
(fma.f64 #s(literal 1 binary64) %3 %116)
(fma.f64 #s(literal 1 binary64) %3 %119)
(fma.f64 #s(literal 1 binary64) %3 %121)
(fma.f64 #s(literal 1 binary64) %3 %123)
(fma.f64 #s(literal 1 binary64) %10 #s(literal 0 binary64))
(fma.f64 %10 #s(literal 1/4 binary64) %111)
(fma.f64 %10 #s(literal 1/4 binary64) %113)
(fma.f64 %10 #s(literal 1/4 binary64) %116)
(fma.f64 %10 #s(literal 1/4 binary64) %119)
(fma.f64 %10 #s(literal 1/4 binary64) %121)
(fma.f64 %10 #s(literal 1/4 binary64) %123)
(fma.f64 %10 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %28 %111)
(fma.f64 #s(literal 2 binary64) %28 %113)
(fma.f64 #s(literal 2 binary64) %28 %116)
(fma.f64 #s(literal 2 binary64) %28 %119)
(fma.f64 #s(literal 2 binary64) %28 %121)
(fma.f64 #s(literal 2 binary64) %28 %123)
(fma.f64 #s(literal 2 binary64) x #s(literal 0 binary64))
(fma.f64 x #s(literal 3/2 binary64) %3)
(fma.f64 x #s(literal 1/2 binary64) %111)
(fma.f64 x #s(literal 1/2 binary64) %113)
(fma.f64 x #s(literal 1/2 binary64) %116)
(fma.f64 x #s(literal 1/2 binary64) %119)
(fma.f64 x #s(literal 1/2 binary64) %121)
(fma.f64 x #s(literal 1/2 binary64) %123)
(fma.f64 x #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 (-.f64 x %35) %35)
(-.f64 %10 #s(literal 0 binary64))
(-.f64 x %50)
(+.f64 (+.f64 x %3) %3)
(+.f64 %116 %3)
(+.f64 %119 %3)
(+.f64 %121 %3)
(+.f64 %123 %3)
(+.f64 %3 %111)
(+.f64 %3 %113)
(+.f64 %3 %116)
(+.f64 %3 %119)
(+.f64 %3 %121)
(+.f64 %3 %123)
(+.f64 #s(literal 0 binary64) %10)
(+.f64 %10 #s(literal 0 binary64))
(+.f64 x (-.f64 #s(literal 0 binary64) %50))
%10
y
(*.f64 #s(literal 1 binary64) %293)
(pow.f64 %293 #s(literal 1 binary64))
(/.f64 (fma.f64 %296 #s(literal 2 binary64) %10) #s(literal 2 binary64))
(/.f64 (fma.f64 %299 #s(literal 2 binary64) %23) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %296 #s(literal 2 binary64)) %16) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %299 #s(literal 2 binary64)) %31) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %293 #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal -2 binary64) x y))
(fma.f64 %110 #s(literal 8 binary64) %312)
(fma.f64 %110 #s(literal 8 binary64) %315)
(fma.f64 %5 #s(literal 1/4 binary64) %317)
(fma.f64 %5 #s(literal 1/4 binary64) %319)
(fma.f64 %5 #s(literal 1/4 binary64) %299)
(fma.f64 %8 #s(literal 16 binary64) %317)
(fma.f64 %8 #s(literal 16 binary64) %319)
(fma.f64 %8 #s(literal 16 binary64) %299)
(fma.f64 %8 #s(literal 4 binary64) %312)
(fma.f64 %8 #s(literal 4 binary64) %315)
(fma.f64 %12 #s(literal 8 binary64) %317)
(fma.f64 %12 #s(literal 8 binary64) %319)
(fma.f64 %12 #s(literal 8 binary64) %299)
(fma.f64 %18 #s(literal -1/4 binary64) %317)
(fma.f64 %18 #s(literal -1/4 binary64) %319)
(fma.f64 %18 #s(literal -1/4 binary64) %299)
(fma.f64 %21 #s(literal 1/8 binary64) %317)
(fma.f64 %21 #s(literal 1/8 binary64) %319)
(fma.f64 %21 #s(literal 1/8 binary64) %299)
(fma.f64 %24 #s(literal 1/4 binary64) %317)
(fma.f64 %24 #s(literal 1/4 binary64) %319)
(fma.f64 %24 #s(literal 1/4 binary64) %299)
(fma.f64 %26 #s(literal 1/4 binary64) %317)
(fma.f64 %26 #s(literal 1/4 binary64) %319)
(fma.f64 %26 #s(literal 1/4 binary64) %299)
(fma.f64 %28 #s(literal 8 binary64) %317)
(fma.f64 %28 #s(literal 8 binary64) %319)
(fma.f64 %28 #s(literal 8 binary64) %299)
(fma.f64 %28 #s(literal 2 binary64) %312)
(fma.f64 %28 #s(literal 2 binary64) %315)
(fma.f64 %31 #s(literal -1/2 binary64) %317)
(fma.f64 %31 #s(literal -1/2 binary64) %319)
(fma.f64 %31 #s(literal -1/2 binary64) %299)
(fma.f64 %23 #s(literal 1/8 binary64) %312)
(fma.f64 %23 #s(literal 1/8 binary64) %315)
(fma.f64 %23 #s(literal 1/2 binary64) %317)
(fma.f64 %23 #s(literal 1/2 binary64) %319)
(fma.f64 %23 #s(literal 1/2 binary64) %299)
(fma.f64 %35 #s(literal -4 binary64) %317)
(fma.f64 %35 #s(literal -4 binary64) %319)
(fma.f64 %35 #s(literal -4 binary64) %299)
(fma.f64 %35 #s(literal -1 binary64) %312)
(fma.f64 %35 #s(literal -1 binary64) %315)
(fma.f64 #s(literal 16 binary64) %37 %317)
(fma.f64 #s(literal 16 binary64) %37 %319)
(fma.f64 #s(literal 16 binary64) %37 %299)
(fma.f64 #s(literal -4 binary64) %35 %317)
(fma.f64 #s(literal -4 binary64) %35 %319)
(fma.f64 #s(literal -4 binary64) %35 %299)
(fma.f64 #s(literal 1/8 binary64) %40 %317)
(fma.f64 #s(literal 1/8 binary64) %40 %319)
(fma.f64 #s(literal 1/8 binary64) %40 %299)
(fma.f64 #s(literal 1/8 binary64) %23 %312)
(fma.f64 #s(literal 1/8 binary64) %23 %315)
(fma.f64 #s(literal 1/4 binary64) %42 %317)
(fma.f64 #s(literal 1/4 binary64) %42 %319)
(fma.f64 #s(literal 1/4 binary64) %42 %299)
(fma.f64 #s(literal 1/4 binary64) %44 %317)
(fma.f64 #s(literal 1/4 binary64) %44 %319)
(fma.f64 #s(literal 1/4 binary64) %44 %299)
(fma.f64 #s(literal 1/4 binary64) %10 %312)
(fma.f64 #s(literal 1/4 binary64) %10 %315)
(fma.f64 #s(literal 8 binary64) %179 %312)
(fma.f64 #s(literal 8 binary64) %179 %315)
(fma.f64 #s(literal 8 binary64) %46 %317)
(fma.f64 #s(literal 8 binary64) %46 %319)
(fma.f64 #s(literal 8 binary64) %46 %299)
(fma.f64 #s(literal 8 binary64) %28 %317)
(fma.f64 #s(literal 8 binary64) %28 %319)
(fma.f64 #s(literal 8 binary64) %28 %299)
(fma.f64 %3 #s(literal 4 binary64) %317)
(fma.f64 %3 #s(literal 4 binary64) %319)
(fma.f64 %3 #s(literal 4 binary64) %299)
(fma.f64 %3 #s(literal 1 binary64) %312)
(fma.f64 %3 #s(literal 1 binary64) %315)
(fma.f64 #s(literal 4 binary64) %197 %312)
(fma.f64 #s(literal 4 binary64) %197 %315)
(fma.f64 #s(literal 4 binary64) %37 %312)
(fma.f64 #s(literal 4 binary64) %37 %315)
(fma.f64 #s(literal 4 binary64) %51 %317)
(fma.f64 #s(literal 4 binary64) %51 %319)
(fma.f64 #s(literal 4 binary64) %51 %299)
(fma.f64 #s(literal 4 binary64) %3 %317)
(fma.f64 #s(literal 4 binary64) %3 %319)
(fma.f64 #s(literal 4 binary64) %3 %299)
(fma.f64 #s(literal -1/2 binary64) %31 %317)
(fma.f64 #s(literal -1/2 binary64) %31 %319)
(fma.f64 #s(literal -1/2 binary64) %31 %299)
(fma.f64 #s(literal 1/2 binary64) %23 %317)
(fma.f64 #s(literal 1/2 binary64) %23 %319)
(fma.f64 #s(literal 1/2 binary64) %23 %299)
(fma.f64 #s(literal 1/2 binary64) x %312)
(fma.f64 #s(literal 1/2 binary64) x %315)
(fma.f64 #s(literal -2 binary64) %220 %312)
(fma.f64 #s(literal -2 binary64) %220 %315)
(fma.f64 #s(literal -2 binary64) %50 %317)
(fma.f64 #s(literal -2 binary64) %50 %319)
(fma.f64 #s(literal -2 binary64) %50 %299)
(fma.f64 %50 #s(literal -1/2 binary64) %312)
(fma.f64 %50 #s(literal -1/2 binary64) %315)
(fma.f64 %50 #s(literal -2 binary64) %317)
(fma.f64 %50 #s(literal -2 binary64) %319)
(fma.f64 %50 #s(literal -2 binary64) %299)
(fma.f64 %16 #s(literal -1 binary64) %317)
(fma.f64 %16 #s(literal -1 binary64) %319)
(fma.f64 %16 #s(literal -1 binary64) %299)
(fma.f64 #s(literal -1 binary64) %35 %312)
(fma.f64 #s(literal -1 binary64) %35 %315)
(fma.f64 #s(literal -1 binary64) %16 %317)
(fma.f64 #s(literal -1 binary64) %16 %319)
(fma.f64 #s(literal -1 binary64) %16 %299)
(fma.f64 #s(literal 1 binary64) %296 x)
(fma.f64 #s(literal 1 binary64) %3 %312)
(fma.f64 #s(literal 1 binary64) %3 %315)
(fma.f64 #s(literal 1 binary64) %299 %10)
(fma.f64 #s(literal 1 binary64) %293 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %10 %317)
(fma.f64 #s(literal 1 binary64) %10 %319)
(fma.f64 #s(literal 1 binary64) %10 %299)
(fma.f64 %10 #s(literal 1/4 binary64) %312)
(fma.f64 %10 #s(literal 1/4 binary64) %315)
(fma.f64 %10 #s(literal 1 binary64) %317)
(fma.f64 %10 #s(literal 1 binary64) %319)
(fma.f64 %10 #s(literal 1 binary64) %299)
(fma.f64 #s(literal 2 binary64) %28 %312)
(fma.f64 #s(literal 2 binary64) %28 %315)
(fma.f64 #s(literal 2 binary64) x %317)
(fma.f64 #s(literal 2 binary64) x %319)
(fma.f64 #s(literal 2 binary64) x %299)
(fma.f64 x #s(literal 1/2 binary64) %312)
(fma.f64 x #s(literal 1/2 binary64) %315)
(fma.f64 x #s(literal 2 binary64) %317)
(fma.f64 x #s(literal 2 binary64) %319)
(fma.f64 x #s(literal 2 binary64) %299)
(-.f64 (-.f64 %296 %35) %35)
(-.f64 %296 %50)
(-.f64 %299 %16)
(-.f64 %293 #s(literal 0 binary64))
%293
(-.f64 x %314)
(+.f64 (+.f64 %296 %3) %3)
(+.f64 %296 x)
(+.f64 %3 %312)
(+.f64 %3 %315)
(+.f64 %299 %10)
(+.f64 %293 #s(literal 0 binary64))
(+.f64 %10 %317)
(+.f64 %10 %319)
(+.f64 %10 %299)
(+.f64 x (+.f64 #s(literal 0 binary64) %296))
(+.f64 x (-.f64 #s(literal 0 binary64) %314))
(+.f64 x %296)
reconstruct46.0ms (3.5%)
Counts
400 → 13
Compiler
Compiled 400 to 490 computations (-22.5% saved)
eval2.0ms (0.1%)
Compiler
Compiled 10 to 33 computations (-230.0% saved)
prune1.0ms (0.1%)
Pruning
2 alts after pruning (2 fresh and 0 done)
PrunedKeptTotal
New8210
Fresh000
Picked101
Done000
Total9211
Accuracy
100.0%
Counts
11 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 x x) y)
▶51.2%
(approx (- (* x 2) y) (*.f64 #s(literal -1 binary64) y))
Compiler
Compiled 2 to 6 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series9.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
040110
Stop Event
1×iter-limit
Counts
7 → 11
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1 binary64) y)
%8 = (+.f64 x x)
x
y
#s(literal -1 binary64)
%3
(approx (- (* x 2) y) %3)
%8
(-.f64 %8 y)
Outputs
%7 = (- (* x 2) y)
%12 = (*.f64 #s(literal 2 binary64) x)
%17 = (/.f64 y x)
%29 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 #s(literal -1 binary64) y))
(approx %7 (-.f64 %12 y))
(approx (+ x x) %12)
(approx %7 (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %17))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %17 #s(literal 2 binary64)))))
(approx y y)
(approx %7 (fma.f64 #s(literal -1 binary64) y %12))
(approx %7 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) %29) #s(literal 1 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %29)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
0
0.0ms
x
0
rewrite199.0ms (15.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01023
01321
13921
28821
325721
474021
5388321
0401921
0413521
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 529
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1 binary64) y)
%8 = (+.f64 x x)
x
y
#s(literal -1 binary64)
%3
(approx (- (* x 2) y) %3)
%8
(-.f64 %8 y)
Outputs
%4 = (*.f64 #s(literal -2 binary64) y)
%6 = (/.f64 %4 #s(literal 8 binary64))
%11 = (+.f64 y y)
%14 = (*.f64 #s(literal -1/2 binary64) y)
%18 = (/.f64 y #s(literal 4 binary64))
%20 = (*.f64 #s(literal 1/2 binary64) y)
%22 = (neg.f64 %18)
%28 = (neg.f64 y)
%63 = (*.f64 #s(literal 2 binary64) %11)
%69 = (*.f64 #s(literal 2 binary64) %4)
%79 = (*.f64 %4 #s(literal 2 binary64))
%91 = (*.f64 #s(literal 0 binary64) %14)
%93 = (*.f64 %14 #s(literal 0 binary64))
%95 = (*.f64 %4 #s(literal 0 binary64))
%97 = (*.f64 #s(literal 0 binary64) %4)
%101 = (*.f64 #s(literal 1/2 binary64) %14)
%113 = (*.f64 %14 #s(literal 1/2 binary64))
%115 = (*.f64 %14 #s(literal 3/2 binary64))
%150 = (*.f64 #s(literal 3/2 binary64) %14)
%203 = (approx (- (* 2 x) y) %28)
%208 = (/.f64 x #s(literal 4 binary64))
%210 = (neg.f64 x)
%211 = (*.f64 #s(literal 4 binary64) %210)
%213 = (*.f64 #s(literal 4 binary64) x)
%215 = (*.f64 #s(literal -1/2 binary64) x)
%218 = (*.f64 #s(literal 1/2 binary64) x)
%224 = (*.f64 #s(literal -2 binary64) x)
%227 = (+.f64 x x)
%266 = (*.f64 #s(literal 2 binary64) %211)
%274 = (*.f64 #s(literal 2 binary64) %213)
%278 = (*.f64 %213 #s(literal 2 binary64))
%293 = (*.f64 %218 #s(literal 0 binary64))
%295 = (*.f64 #s(literal 0 binary64) %218)
%297 = (*.f64 %213 #s(literal 0 binary64))
%299 = (*.f64 #s(literal 0 binary64) %213)
%330 = (fma.f64 #s(literal 1/2 binary64) x x)
%332 = (-.f64 %218 %210)
%334 = (*.f64 %218 #s(literal 3 binary64))
%336 = (*.f64 x #s(literal 3/2 binary64))
%338 = (*.f64 #s(literal 3 binary64) %218)
%340 = (*.f64 #s(literal 3/2 binary64) x)
%446 = (-.f64 x %20)
%448 = (-.f64 %218 %18)
%450 = (fma.f64 #s(literal 4 binary64) x %4)
%452 = (fma.f64 #s(literal -2 binary64) y %213)
%454 = (-.f64 %213 %11)
%456 = (-.f64 %4 %211)
%458 = (-.f64 %20 x)
%460 = (-.f64 %227 y)
%463 = (-.f64 x y)
%464 = (fma.f64 #s(literal 1/2 binary64) %463 %218)
%466 = (*.f64 #s(literal 1/2 binary64) %463)
%467 = (-.f64 %466 %215)
%469 = (-.f64 y x)
%470 = (*.f64 #s(literal 1/2 binary64) %469)
%471 = (-.f64 %218 %470)
%473 = (-.f64 %14 %210)
%475 = (fma.f64 #s(literal -1/2 binary64) y x)
%478 = (fma.f64 #s(literal -2 binary64) x y)
%517 = (-.f64 #s(literal 0 binary64) %224)
%520 = (-.f64 #s(literal 0 binary64) y)
%533 = (fma.f64 #s(literal -1/2 binary64) y %227)
%535 = (-.f64 %14 %224)
%551 = (fma.f64 #s(literal 1/2 binary64) x %463)
%553 = (-.f64 %218 %469)
x
y
#s(literal -1 binary64)
(*.f64 %6 #s(literal 4 binary64))
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal -1/2 binary64))
(*.f64 %14 #s(literal 2 binary64))
(*.f64 #s(literal -4 binary64) %18)
(*.f64 %20 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %22)
(*.f64 #s(literal -1/2 binary64) %11)
(*.f64 #s(literal 1/2 binary64) %4)
(*.f64 #s(literal -2 binary64) %20)
(*.f64 #s(literal 1 binary64) %28)
(*.f64 #s(literal 2 binary64) %14)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) y)
(*.f64 y #s(literal -1 binary64))
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 (*.f64 %14 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %14 #s(literal 4 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %28 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %28) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %14) #s(literal 4 binary64))
(/.f64 (*.f64 %11 #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %4 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %4 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -4 binary64) %20) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %14) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %11) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %4) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %4) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %11) #s(literal 4 binary64))
(/.f64 %63 #s(literal -4 binary64))
(/.f64 (*.f64 %4 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %4) #s(literal -4 binary64))
(/.f64 %69 #s(literal 4 binary64))
(/.f64 (*.f64 %11 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %11 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %4 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %4 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %79 #s(literal 4 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %11 #s(literal -2 binary64))
(/.f64 %14 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(/.f64 %28 #s(literal 1 binary64))
(/.f64 y #s(literal -1 binary64))
%28
(fma.f64 %6 #s(literal 4 binary64) %91)
(fma.f64 %6 #s(literal 4 binary64) %93)
(fma.f64 %6 #s(literal 4 binary64) %95)
(fma.f64 %6 #s(literal 4 binary64) %97)
(fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %14 %101)
(fma.f64 %4 #s(literal 1/2 binary64) %91)
(fma.f64 %4 #s(literal 1/2 binary64) %93)
(fma.f64 %4 #s(literal 1/2 binary64) %95)
(fma.f64 %4 #s(literal 1/2 binary64) %97)
(fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %11 #s(literal -1/2 binary64) %91)
(fma.f64 %11 #s(literal -1/2 binary64) %93)
(fma.f64 %11 #s(literal -1/2 binary64) %95)
(fma.f64 %11 #s(literal -1/2 binary64) %97)
(fma.f64 %11 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %14 #s(literal 3/2 binary64) %113)
(fma.f64 %14 #s(literal 1/2 binary64) %115)
(fma.f64 %14 #s(literal 1 binary64) %14)
(fma.f64 %14 #s(literal 2 binary64) %91)
(fma.f64 %14 #s(literal 2 binary64) %93)
(fma.f64 %14 #s(literal 2 binary64) %95)
(fma.f64 %14 #s(literal 2 binary64) %97)
(fma.f64 %14 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) %18 %91)
(fma.f64 #s(literal -4 binary64) %18 %93)
(fma.f64 #s(literal -4 binary64) %18 %95)
(fma.f64 #s(literal -4 binary64) %18 %97)
(fma.f64 #s(literal -4 binary64) %18 #s(literal 0 binary64))
(fma.f64 %20 #s(literal -2 binary64) %91)
(fma.f64 %20 #s(literal -2 binary64) %93)
(fma.f64 %20 #s(literal -2 binary64) %95)
(fma.f64 %20 #s(literal -2 binary64) %97)
(fma.f64 %20 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %20 #s(literal -1 binary64) %14)
(fma.f64 #s(literal 4 binary64) %22 %91)
(fma.f64 #s(literal 4 binary64) %22 %93)
(fma.f64 #s(literal 4 binary64) %22 %95)
(fma.f64 #s(literal 4 binary64) %22 %97)
(fma.f64 #s(literal 4 binary64) %22 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %11 %91)
(fma.f64 #s(literal -1/2 binary64) %11 %93)
(fma.f64 #s(literal -1/2 binary64) %11 %95)
(fma.f64 #s(literal -1/2 binary64) %11 %97)
(fma.f64 #s(literal -1/2 binary64) %11 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) y %14)
(fma.f64 #s(literal 1/2 binary64) %4 %91)
(fma.f64 #s(literal 1/2 binary64) %4 %93)
(fma.f64 #s(literal 1/2 binary64) %4 %95)
(fma.f64 #s(literal 1/2 binary64) %4 %97)
(fma.f64 #s(literal 1/2 binary64) %4 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %14 %150)
(fma.f64 #s(literal 1/2 binary64) %28 %14)
(fma.f64 #s(literal -2 binary64) %20 %91)
(fma.f64 #s(literal -2 binary64) %20 %93)
(fma.f64 #s(literal -2 binary64) %20 %95)
(fma.f64 #s(literal -2 binary64) %20 %97)
(fma.f64 #s(literal -2 binary64) %20 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %14 %14)
(fma.f64 #s(literal 1 binary64) %28 %91)
(fma.f64 #s(literal 1 binary64) %28 %93)
(fma.f64 #s(literal 1 binary64) %28 %95)
(fma.f64 #s(literal 1 binary64) %28 %97)
(fma.f64 #s(literal 1 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %14 %91)
(fma.f64 #s(literal 2 binary64) %14 %93)
(fma.f64 #s(literal 2 binary64) %14 %95)
(fma.f64 #s(literal 2 binary64) %14 %97)
(fma.f64 #s(literal 2 binary64) %14 #s(literal 0 binary64))
(fma.f64 %28 #s(literal 1/2 binary64) %14)
(fma.f64 %28 #s(literal 1 binary64) %91)
(fma.f64 %28 #s(literal 1 binary64) %93)
(fma.f64 %28 #s(literal 1 binary64) %95)
(fma.f64 %28 #s(literal 1 binary64) %97)
(fma.f64 %28 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %20 %14)
(fma.f64 #s(literal -1 binary64) y %91)
(fma.f64 #s(literal -1 binary64) y %93)
(fma.f64 #s(literal -1 binary64) y %95)
(fma.f64 #s(literal -1 binary64) y %97)
(fma.f64 #s(literal -1 binary64) y #s(literal 0 binary64))
(fma.f64 y #s(literal -1/2 binary64) %14)
(fma.f64 y #s(literal -1 binary64) %91)
(fma.f64 y #s(literal -1 binary64) %93)
(fma.f64 y #s(literal -1 binary64) %95)
(fma.f64 y #s(literal -1 binary64) %97)
(fma.f64 y #s(literal -1 binary64) #s(literal 0 binary64))
(-.f64 %14 %20)
(-.f64 %28 #s(literal 0 binary64))
(+.f64 %115 %113)
(+.f64 %150 %101)
(+.f64 %113 %115)
(+.f64 %101 %150)
(+.f64 %14 %14)
(+.f64 #s(literal 0 binary64) %28)
(+.f64 %28 %91)
(+.f64 %28 %93)
(+.f64 %28 %95)
(+.f64 %28 %97)
(+.f64 %28 #s(literal 0 binary64))
(*.f64 #s(literal 1 binary64) %203)
(pow.f64 %203 #s(literal 1 binary64))
%203
(/.f64 #s(literal 1 binary64) (pow.f64 %203 #s(literal -1 binary64)))
(*.f64 %208 #s(literal 8 binary64))
(*.f64 %211 #s(literal -1/2 binary64))
(*.f64 %213 #s(literal 1/2 binary64))
(*.f64 %215 #s(literal -4 binary64))
(*.f64 #s(literal -4 binary64) %215)
(*.f64 %218 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %218)
(*.f64 #s(literal -1/2 binary64) %211)
(*.f64 #s(literal 1/2 binary64) %213)
(*.f64 #s(literal -2 binary64) %210)
(*.f64 %224 #s(literal -1 binary64))
(*.f64 %210 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %227)
(*.f64 %227 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal -1 binary64) %224)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %227 #s(literal 1 binary64))
(/.f64 (*.f64 x #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %211 #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) x) #s(literal 4 binary64))
(/.f64 (/.f64 %213 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %213 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -4 binary64) %210) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x %213) #s(literal 4 binary64))
(/.f64 (-.f64 %213 %211) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -4 binary64) %224) #s(literal 4 binary64))
(/.f64 (*.f64 %224 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %213 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %227) #s(literal 8 binary64))
(/.f64 (*.f64 %227 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %211 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %211 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %211) #s(literal 4 binary64))
(/.f64 %266 #s(literal -4 binary64))
(/.f64 (*.f64 %213 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %213) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %213) #s(literal 8 binary64))
(/.f64 %274 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %227) #s(literal 4 binary64))
(/.f64 %278 #s(literal 4 binary64))
(/.f64 (*.f64 %227 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 %211 #s(literal -2 binary64))
(/.f64 %213 #s(literal 2 binary64))
(/.f64 %224 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %213))
(/.f64 #s(literal 1 binary64) (pow.f64 %227 #s(literal -1 binary64)))
(/.f64 %227 #s(literal 1 binary64))
(/.f64 x #s(literal 1/2 binary64))
(neg.f64 %224)
(fma.f64 #s(literal 3/2 binary64) x %218)
(fma.f64 %208 #s(literal 8 binary64) %293)
(fma.f64 %208 #s(literal 8 binary64) %295)
(fma.f64 %208 #s(literal 8 binary64) %297)
(fma.f64 %208 #s(literal 8 binary64) %299)
(fma.f64 %208 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %211 #s(literal -1/2 binary64) %293)
(fma.f64 %211 #s(literal -1/2 binary64) %295)
(fma.f64 %211 #s(literal -1/2 binary64) %297)
(fma.f64 %211 #s(literal -1/2 binary64) %299)
(fma.f64 %211 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %213 #s(literal 1/2 binary64) %293)
(fma.f64 %213 #s(literal 1/2 binary64) %295)
(fma.f64 %213 #s(literal 1/2 binary64) %297)
(fma.f64 %213 #s(literal 1/2 binary64) %299)
(fma.f64 %213 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %215 #s(literal -4 binary64) %293)
(fma.f64 %215 #s(literal -4 binary64) %295)
(fma.f64 %215 #s(literal -4 binary64) %297)
(fma.f64 %215 #s(literal -4 binary64) %299)
(fma.f64 %215 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) %215 %293)
(fma.f64 #s(literal -4 binary64) %215 %295)
(fma.f64 #s(literal -4 binary64) %215 %297)
(fma.f64 #s(literal -4 binary64) %215 %299)
(fma.f64 #s(literal -4 binary64) %215 #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) %218 %218)
(fma.f64 %218 #s(literal 3 binary64) %218)
(fma.f64 %218 #s(literal 4 binary64) %293)
(fma.f64 %218 #s(literal 4 binary64) %295)
(fma.f64 %218 #s(literal 4 binary64) %297)
(fma.f64 %218 #s(literal 4 binary64) %299)
(fma.f64 %218 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %218 #s(literal 1 binary64) %330)
(fma.f64 %218 #s(literal 1 binary64) %332)
(fma.f64 %218 #s(literal 1 binary64) %334)
(fma.f64 %218 #s(literal 1 binary64) %336)
(fma.f64 %218 #s(literal 1 binary64) %338)
(fma.f64 %218 #s(literal 1 binary64) %340)
(fma.f64 #s(literal 4 binary64) %218 %293)
(fma.f64 #s(literal 4 binary64) %218 %295)
(fma.f64 #s(literal 4 binary64) %218 %297)
(fma.f64 #s(literal 4 binary64) %218 %299)
(fma.f64 #s(literal 4 binary64) %218 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %211 %293)
(fma.f64 #s(literal -1/2 binary64) %211 %295)
(fma.f64 #s(literal -1/2 binary64) %211 %297)
(fma.f64 #s(literal -1/2 binary64) %211 %299)
(fma.f64 #s(literal -1/2 binary64) %211 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %210 %330)
(fma.f64 #s(literal -1/2 binary64) %210 %332)
(fma.f64 #s(literal -1/2 binary64) %210 %334)
(fma.f64 #s(literal -1/2 binary64) %210 %336)
(fma.f64 #s(literal -1/2 binary64) %210 %338)
(fma.f64 #s(literal -1/2 binary64) %210 %340)
(fma.f64 #s(literal 1/2 binary64) %213 %293)
(fma.f64 #s(literal 1/2 binary64) %213 %295)
(fma.f64 #s(literal 1/2 binary64) %213 %297)
(fma.f64 #s(literal 1/2 binary64) %213 %299)
(fma.f64 #s(literal 1/2 binary64) %213 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %330)
(fma.f64 #s(literal 1/2 binary64) x %332)
(fma.f64 #s(literal 1/2 binary64) x %334)
(fma.f64 #s(literal 1/2 binary64) x %336)
(fma.f64 #s(literal 1/2 binary64) x %338)
(fma.f64 #s(literal 1/2 binary64) x %340)
(fma.f64 #s(literal -2 binary64) %210 %293)
(fma.f64 #s(literal -2 binary64) %210 %295)
(fma.f64 #s(literal -2 binary64) %210 %297)
(fma.f64 #s(literal -2 binary64) %210 %299)
(fma.f64 #s(literal -2 binary64) %210 #s(literal 0 binary64))
(fma.f64 %224 #s(literal -1 binary64) %293)
(fma.f64 %224 #s(literal -1 binary64) %295)
(fma.f64 %224 #s(literal -1 binary64) %297)
(fma.f64 %224 #s(literal -1 binary64) %299)
(fma.f64 %224 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %210 #s(literal -2 binary64) %293)
(fma.f64 %210 #s(literal -2 binary64) %295)
(fma.f64 %210 #s(literal -2 binary64) %297)
(fma.f64 %210 #s(literal -2 binary64) %299)
(fma.f64 %210 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %218 %330)
(fma.f64 #s(literal 1 binary64) %218 %332)
(fma.f64 #s(literal 1 binary64) %218 %334)
(fma.f64 #s(literal 1 binary64) %218 %336)
(fma.f64 #s(literal 1 binary64) %218 %338)
(fma.f64 #s(literal 1 binary64) %218 %340)
(fma.f64 #s(literal 1 binary64) %227 %293)
(fma.f64 #s(literal 1 binary64) %227 %295)
(fma.f64 #s(literal 1 binary64) %227 %297)
(fma.f64 #s(literal 1 binary64) %227 %299)
(fma.f64 #s(literal 1 binary64) %227 #s(literal 0 binary64))
(fma.f64 %227 #s(literal 1 binary64) %293)
(fma.f64 %227 #s(literal 1 binary64) %295)
(fma.f64 %227 #s(literal 1 binary64) %297)
(fma.f64 %227 #s(literal 1 binary64) %299)
(fma.f64 %227 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) x %293)
(fma.f64 #s(literal 2 binary64) x %295)
(fma.f64 #s(literal 2 binary64) x %297)
(fma.f64 #s(literal 2 binary64) x %299)
(fma.f64 #s(literal 2 binary64) x #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %224 %293)
(fma.f64 #s(literal -1 binary64) %224 %295)
(fma.f64 #s(literal -1 binary64) %224 %297)
(fma.f64 #s(literal -1 binary64) %224 %299)
(fma.f64 #s(literal -1 binary64) %224 #s(literal 0 binary64))
(fma.f64 x #s(literal 3/2 binary64) %218)
(fma.f64 x #s(literal 1/2 binary64) %330)
(fma.f64 x #s(literal 1/2 binary64) %332)
(fma.f64 x #s(literal 1/2 binary64) %334)
(fma.f64 x #s(literal 1/2 binary64) %336)
(fma.f64 x #s(literal 1/2 binary64) %338)
(fma.f64 x #s(literal 1/2 binary64) %340)
(fma.f64 x #s(literal 2 binary64) %293)
(fma.f64 x #s(literal 2 binary64) %295)
(fma.f64 x #s(literal 2 binary64) %297)
(fma.f64 x #s(literal 2 binary64) %299)
(fma.f64 x #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 (-.f64 x %215) %215)
(-.f64 %227 #s(literal 0 binary64))
(-.f64 x %210)
(+.f64 (+.f64 x %218) %218)
(+.f64 %334 %218)
(+.f64 %336 %218)
(+.f64 %338 %218)
(+.f64 %340 %218)
(+.f64 %218 %330)
(+.f64 %218 %332)
(+.f64 %218 %334)
(+.f64 %218 %336)
(+.f64 %218 %338)
(+.f64 %218 %340)
(+.f64 #s(literal 0 binary64) %227)
(+.f64 %227 %293)
(+.f64 %227 %295)
(+.f64 %227 %297)
(+.f64 %227 %299)
(+.f64 %227 #s(literal 0 binary64))
(+.f64 x (-.f64 #s(literal 0 binary64) %210))
%227
(*.f64 %446 #s(literal 2 binary64))
(*.f64 #s(literal 4 binary64) %448)
(*.f64 #s(literal 1/2 binary64) %450)
(*.f64 #s(literal 1/2 binary64) %452)
(*.f64 #s(literal 1/2 binary64) %454)
(*.f64 #s(literal 1/2 binary64) %456)
(*.f64 #s(literal -2 binary64) %458)
(*.f64 #s(literal 1 binary64) %460)
(*.f64 %460 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %464)
(*.f64 #s(literal 2 binary64) %467)
(*.f64 #s(literal 2 binary64) %471)
(*.f64 #s(literal 2 binary64) %473)
(*.f64 #s(literal 2 binary64) %475)
(*.f64 #s(literal 2 binary64) %446)
(*.f64 #s(literal -1 binary64) %478)
(pow.f64 %460 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %460) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %460) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %460) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %446) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %446) #s(literal 2 binary64))
(/.f64 (fma.f64 %463 #s(literal 2 binary64) %227) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %463 #s(literal 2 binary64)) %224) #s(literal 2 binary64))
(/.f64 (fma.f64 %213 #s(literal 2 binary64) %79) #s(literal 4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) %278) #s(literal 4 binary64))
(/.f64 %450 #s(literal 2 binary64))
(/.f64 %452 #s(literal 2 binary64))
(/.f64 %454 #s(literal 2 binary64))
(/.f64 %456 #s(literal 2 binary64))
(/.f64 (fma.f64 %213 #s(literal 2 binary64) %69) #s(literal 4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) %274) #s(literal 4 binary64))
(/.f64 (-.f64 %278 %63) #s(literal 4 binary64))
(/.f64 (-.f64 %79 %266) #s(literal 4 binary64))
(/.f64 %446 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %460 #s(literal -1 binary64)))
(/.f64 %460 #s(literal 1 binary64))
(neg.f64 %478)
(fma.f64 %6 #s(literal 4 binary64) %517)
(fma.f64 %6 #s(literal 4 binary64) %227)
(fma.f64 %208 #s(literal 8 binary64) %520)
(fma.f64 %208 #s(literal 8 binary64) %28)
(fma.f64 %4 #s(literal 1/2 binary64) %517)
(fma.f64 %4 #s(literal 1/2 binary64) %227)
(fma.f64 %11 #s(literal -1/2 binary64) %517)
(fma.f64 %11 #s(literal -1/2 binary64) %227)
(fma.f64 %211 #s(literal -1/2 binary64) %520)
(fma.f64 %211 #s(literal -1/2 binary64) %28)
(fma.f64 %213 #s(literal 1/2 binary64) %520)
(fma.f64 %213 #s(literal 1/2 binary64) %28)
(fma.f64 %446 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %466 #s(literal 2 binary64) x)
(fma.f64 %14 #s(literal 1 binary64) %533)
(fma.f64 %14 #s(literal 1 binary64) %535)
(fma.f64 %14 #s(literal 2 binary64) %517)
(fma.f64 %14 #s(literal 2 binary64) %227)
(fma.f64 %215 #s(literal -4 binary64) %520)
(fma.f64 %215 #s(literal -4 binary64) %28)
(fma.f64 #s(literal -4 binary64) %18 %517)
(fma.f64 #s(literal -4 binary64) %18 %227)
(fma.f64 #s(literal -4 binary64) %215 %520)
(fma.f64 #s(literal -4 binary64) %215 %28)
(fma.f64 %20 #s(literal -2 binary64) %517)
(fma.f64 %20 #s(literal -2 binary64) %227)
(fma.f64 %20 #s(literal -1 binary64) %533)
(fma.f64 %20 #s(literal -1 binary64) %535)
(fma.f64 %218 #s(literal 4 binary64) %520)
(fma.f64 %218 #s(literal 4 binary64) %28)
(fma.f64 %218 #s(literal 1 binary64) %551)
(fma.f64 %218 #s(literal 1 binary64) %553)
(fma.f64 #s(literal 4 binary64) %448 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) (-.f64 %208 %18) x)
(fma.f64 #s(literal 4 binary64) %22 %517)
(fma.f64 #s(literal 4 binary64) %22 %227)
(fma.f64 #s(literal 4 binary64) %218 %520)
(fma.f64 #s(literal 4 binary64) %218 %28)
(fma.f64 #s(literal -1/2 binary64) (-.f64 %11 %227) x)
(fma.f64 #s(literal -1/2 binary64) %11 %517)
(fma.f64 #s(literal -1/2 binary64) %11 %227)
(fma.f64 #s(literal -1/2 binary64) %211 %520)
(fma.f64 #s(literal -1/2 binary64) %211 %28)
(fma.f64 #s(literal -1/2 binary64) %210 %551)
(fma.f64 #s(literal -1/2 binary64) %210 %553)
(fma.f64 #s(literal -1/2 binary64) y %533)
(fma.f64 #s(literal -1/2 binary64) y %535)
(fma.f64 #s(literal 1/2 binary64) %450 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %452 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -2 binary64) y %227) x)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) x %4) x)
(fma.f64 #s(literal 1/2 binary64) %454 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %456 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 %4 %224) x)
(fma.f64 #s(literal 1/2 binary64) (-.f64 %227 %11) x)
(fma.f64 #s(literal 1/2 binary64) %4 %517)
(fma.f64 #s(literal 1/2 binary64) %4 %227)
(fma.f64 #s(literal 1/2 binary64) %213 %520)
(fma.f64 #s(literal 1/2 binary64) %213 %28)
(fma.f64 #s(literal 1/2 binary64) %460 %446)
(fma.f64 #s(literal 1/2 binary64) %28 %533)
(fma.f64 #s(literal 1/2 binary64) %28 %535)
(fma.f64 #s(literal 1/2 binary64) x %551)
(fma.f64 #s(literal 1/2 binary64) x %553)
(fma.f64 #s(literal -2 binary64) %458 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %470 x)
(fma.f64 #s(literal -2 binary64) %20 %517)
(fma.f64 #s(literal -2 binary64) %20 %227)
(fma.f64 #s(literal -2 binary64) %210 %520)
(fma.f64 #s(literal -2 binary64) %210 %28)
(fma.f64 %224 #s(literal -1 binary64) %520)
(fma.f64 %224 #s(literal -1 binary64) %28)
(fma.f64 %463 #s(literal 1 binary64) x)
(fma.f64 %210 #s(literal -2 binary64) %520)
(fma.f64 %210 #s(literal -2 binary64) %28)
(fma.f64 #s(literal 1 binary64) %446 %446)
(fma.f64 #s(literal 1 binary64) %14 %533)
(fma.f64 #s(literal 1 binary64) %14 %535)
(fma.f64 #s(literal 1 binary64) %218 %551)
(fma.f64 #s(literal 1 binary64) %218 %553)
(fma.f64 #s(literal 1 binary64) %463 x)
(fma.f64 #s(literal 1 binary64) %227 %520)
(fma.f64 #s(literal 1 binary64) %227 %28)
(fma.f64 #s(literal 1 binary64) %460 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %28 %517)
(fma.f64 #s(literal 1 binary64) %28 %227)
(fma.f64 %227 #s(literal 1 binary64) %520)
(fma.f64 %227 #s(literal 1 binary64) %28)
(fma.f64 %460 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %464 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %467 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %471 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal -1/2 binary64) y %218) x)
(fma.f64 #s(literal 2 binary64) (-.f64 %14 %215) x)
(fma.f64 #s(literal 2 binary64) %473 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %475 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %446 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %466 x)
(fma.f64 #s(literal 2 binary64) %14 %517)
(fma.f64 #s(literal 2 binary64) %14 %227)
(fma.f64 #s(literal 2 binary64) x %520)
(fma.f64 #s(literal 2 binary64) x %28)
(fma.f64 %28 #s(literal 1/2 binary64) %533)
(fma.f64 %28 #s(literal 1/2 binary64) %535)
(fma.f64 %28 #s(literal 1 binary64) %517)
(fma.f64 %28 #s(literal 1 binary64) %227)
(fma.f64 #s(literal -1 binary64) %458 %446)
(fma.f64 #s(literal -1 binary64) %20 %533)
(fma.f64 #s(literal -1 binary64) %20 %535)
(fma.f64 #s(literal -1 binary64) %224 %520)
(fma.f64 #s(literal -1 binary64) %224 %28)
(fma.f64 #s(literal -1 binary64) %469 x)
(fma.f64 #s(literal -1 binary64) %478 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) y %517)
(fma.f64 #s(literal -1 binary64) y %227)
(fma.f64 y #s(literal -1/2 binary64) %533)
(fma.f64 y #s(literal -1/2 binary64) %535)
(fma.f64 y #s(literal -1 binary64) %517)
(fma.f64 y #s(literal -1 binary64) %227)
(fma.f64 x #s(literal 1/2 binary64) %551)
(fma.f64 x #s(literal 1/2 binary64) %553)
(fma.f64 x #s(literal 2 binary64) %520)
(fma.f64 x #s(literal 2 binary64) %28)
(-.f64 (-.f64 %463 %215) %215)
(-.f64 (-.f64 %227 %20) %20)
(-.f64 %463 %210)
%460
(-.f64 %460 #s(literal 0 binary64))
(-.f64 %28 %224)
(-.f64 x %469)
(+.f64 (+.f64 %463 %218) %218)
(+.f64 (fma.f64 #s(literal 2 binary64) x %14) %14)
(+.f64 %446 %446)
(+.f64 %14 %533)
(+.f64 %14 %535)
(+.f64 %218 %551)
(+.f64 %218 %553)
(+.f64 %463 x)
(+.f64 %227 %520)
(+.f64 %227 %28)
(+.f64 %460 #s(literal 0 binary64))
(+.f64 %28 %517)
(+.f64 %28 %227)
(+.f64 x (+.f64 #s(literal 0 binary64) %463))
(+.f64 x (-.f64 #s(literal 0 binary64) %469))
(+.f64 x %463)
reconstruct45.0ms (3.4%)
Counts
540 → 19
Compiler
Compiled 540 to 695 computations (-28.7% saved)
eval2.0ms (0.1%)
Compiler
Compiled 16 to 46 computations (-187.5% saved)
prune1.0ms (0.1%)
Pruning
2 alts after pruning (1 fresh and 1 done)
PrunedKeptTotal
New15116
Fresh000
Picked112
Done000
Total16218
Accuracy
100.0%
Counts
18 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) y)
▶51.2%
(approx (- (* x 2) y) (neg.f64 y))
Compiler
Compiled 2 to 5 computations (-150.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
038109
Stop Event
1×iter-limit
Counts
3 → 10
Calls
Call 1
Inputs
%1 = (neg.f64 y)
y
%1
(approx (- (* x 2) y) %1)
Outputs
%6 = (- (* x 2) y)
%11 = (*.f64 #s(literal 2 binary64) x)
%15 = (/.f64 y x)
%27 = (/.f64 x y)
(approx y #s(literal 0 binary64))
(approx %6 (*.f64 #s(literal -1 binary64) y))
(approx %6 (-.f64 %11 y))
(approx %6 %11)
(approx %6 (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %15))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %15 #s(literal 2 binary64)))))
(approx y y)
(approx %6 (fma.f64 #s(literal -1 binary64) y %11))
(approx %6 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) %27) #s(literal 1 binary64))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %27)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
inf
0.0ms
y
0
0.0ms
x
0
rewrite149.0ms (11.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0711
0811
12111
25011
314911
451311
5283011
0410511
0428811
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
3 → 9
Calls
Call 1
Inputs
%1 = (neg.f64 y)
y
%1
(approx (- (* x 2) y) %1)
Outputs
%2 = (neg.f64 y)
%12 = (approx (- (* 2 x) y) %2)
y
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
%2
(*.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)))
reconstruct1.0ms (0.1%)
Counts
19 → 10
Compiler
Compiled 19 to 35 computations (-84.2% saved)
eval1.0ms (0.1%)
Compiler
Compiled 9 to 22 computations (-144.4% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (2 fresh and 2 done)
PrunedKeptTotal
New729
Fresh000
Picked011
Done011
Total7411
Accuracy
100.0%
Counts
11 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) y)
▶49.8%
(approx (- (* x 2) y) (*.f64 #s(literal 2 binary64) x))
▶2.6%
(approx (- (* x 2) y) (neg.f64 (approx y #s(literal 0 binary64))))
✓51.2%
(approx (- (* x 2) y) (neg.f64 y))
Compiler
Compiled 4 to 9 computations (-125.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039110
Stop Event
1×iter-limit
Counts
9 → 11
Calls
Call 1
Inputs
%4 = (*.f64 #s(literal 2 binary64) x)
%5 = (approx y #s(literal 0 binary64))
%8 = (- (* x 2) y)
%10 = (neg.f64 %5)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
%4
%5
(approx %8 %4)
%10
(approx %8 %10)
Outputs
%7 = (*.f64 #s(literal 2 binary64) x)
%11 = (- (* x 2) y)
%17 = (/.f64 y x)
%29 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* 2 x) %7)
(approx %11 (*.f64 #s(literal -1 binary64) y))
(approx %11 (-.f64 %7 y))
(approx %11 (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %17))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %17 #s(literal 2 binary64)))))
(approx y y)
(approx %11 (fma.f64 #s(literal -1 binary64) y %7))
(approx %11 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) %29) #s(literal 1 binary64))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %29)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
y
0
rewrite85.0ms (6.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01133
01333
13333
27333
321433
498833
0477133
0487633
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 92
Calls
Call 1
Inputs
%4 = (*.f64 #s(literal 2 binary64) x)
%5 = (approx y #s(literal 0 binary64))
%8 = (- (* x 2) y)
%10 = (neg.f64 %5)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
%4
%5
(approx %8 %4)
%10
(approx %8 %10)
Outputs
%5 = (*.f64 x #s(literal 4 binary64))
%8 = (+.f64 x x)
%9 = (*.f64 %8 #s(literal 2 binary64))
%11 = (*.f64 #s(literal 2 binary64) %8)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%16 = (*.f64 #s(literal 4 binary64) x)
%19 = (fma.f64 #s(literal 2 binary64) x %8)
%22 = (neg.f64 x)
%24 = (*.f64 #s(literal -2 binary64) x)
%34 = (E.f64 )
%35 = (*.f64 x %34)
%40 = (*.f64 %34 x)
%45 = (*.f64 %22 %34)
%50 = (*.f64 %34 %22)
%57 = (*.f64 %8 %34)
%59 = (neg.f64 %34)
%63 = (*.f64 %34 %8)
%78 = (*.f64 %8 #s(literal 0 binary64))
%80 = (*.f64 #s(literal 0 binary64) %8)
%113 = (approx y #s(literal 0 binary64))
%120 = (- (* 2 x) y)
%121 = (approx %120 %8)
%126 = (neg.f64 %113)
%131 = (approx %120 %126)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 %13 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %13)
(*.f64 #s(literal 1/2 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %11)
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 #s(literal -2 binary64) %22)
(*.f64 %24 #s(literal -1 binary64))
(*.f64 %22 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %8)
(*.f64 %8 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 (fma.f64 x %34 %35) %34)
(/.f64 (fma.f64 %34 x %35) %34)
(/.f64 (fma.f64 x %34 %40) %34)
(/.f64 (fma.f64 %34 x %40) %34)
(/.f64 (-.f64 %35 %45) %34)
(/.f64 (-.f64 %40 %45) %34)
(/.f64 (-.f64 %35 %50) %34)
(/.f64 (-.f64 %40 %50) %34)
(/.f64 (-.f64 %8 %24) #s(literal 2 binary64))
(/.f64 (neg.f64 %57) %59)
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 (neg.f64 %63) %59)
(/.f64 (neg.f64 %11) #s(literal -2 binary64))
(/.f64 %57 %34)
(/.f64 %9 #s(literal 2 binary64))
(/.f64 %63 %34)
(/.f64 %11 #s(literal 2 binary64))
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %24 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(/.f64 %8 #s(literal 1 binary64))
(neg.f64 %24)
(fma.f64 %5 #s(literal 1/2 binary64) %78)
(fma.f64 %5 #s(literal 1/2 binary64) %80)
(fma.f64 %9 #s(literal 1/2 binary64) %78)
(fma.f64 %9 #s(literal 1/2 binary64) %80)
(fma.f64 %11 #s(literal 1/2 binary64) %78)
(fma.f64 %11 #s(literal 1/2 binary64) %80)
(fma.f64 %13 #s(literal 4 binary64) %78)
(fma.f64 %13 #s(literal 4 binary64) %80)
(fma.f64 #s(literal 4 binary64) %13 %78)
(fma.f64 #s(literal 4 binary64) %13 %80)
(fma.f64 #s(literal 1/2 binary64) %16 %78)
(fma.f64 #s(literal 1/2 binary64) %16 %80)
(fma.f64 #s(literal 1/2 binary64) %11 %78)
(fma.f64 #s(literal 1/2 binary64) %11 %80)
(fma.f64 #s(literal 1/2 binary64) %19 %78)
(fma.f64 #s(literal 1/2 binary64) %19 %80)
(fma.f64 #s(literal -2 binary64) %22 %78)
(fma.f64 #s(literal -2 binary64) %22 %80)
(fma.f64 %24 #s(literal -1 binary64) %78)
(fma.f64 %24 #s(literal -1 binary64) %80)
(fma.f64 %22 #s(literal -2 binary64) %78)
(fma.f64 %22 #s(literal -2 binary64) %80)
(fma.f64 #s(literal 1 binary64) %8 %78)
(fma.f64 #s(literal 1 binary64) %8 %80)
(fma.f64 %8 #s(literal 1 binary64) %78)
(fma.f64 %8 #s(literal 1 binary64) %80)
(fma.f64 #s(literal 2 binary64) x %78)
(fma.f64 #s(literal 2 binary64) x %80)
(fma.f64 x #s(literal 2 binary64) %78)
(fma.f64 x #s(literal 2 binary64) %80)
(-.f64 x %22)
(+.f64 %8 %78)
(+.f64 %8 %80)
%8
(*.f64 #s(literal 1 binary64) %113)
(pow.f64 %113 #s(literal 1 binary64))
%113
(/.f64 #s(literal 1 binary64) (pow.f64 %113 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %121)
(pow.f64 %121 #s(literal 1 binary64))
%121
(/.f64 #s(literal 1 binary64) (pow.f64 %121 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %126)
(pow.f64 %126 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %126 #s(literal -1 binary64)))
%126
(*.f64 #s(literal 1 binary64) %131)
(pow.f64 %131 #s(literal 1 binary64))
%131
(/.f64 #s(literal 1 binary64) (pow.f64 %131 #s(literal -1 binary64)))
reconstruct12.0ms (0.9%)
Counts
103 → 17
Compiler
Compiled 103 to 148 computations (-43.7% saved)
eval1.0ms (0.1%)
Compiler
Compiled 13 to 27 computations (-107.7% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (1 fresh and 3 done)
PrunedKeptTotal
New12113
Fresh000
Picked112
Done022
Total13417
Accuracy
100.0%
Counts
17 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) y)
49.8%
(approx (- (* x 2) y) (+.f64 x x))
✓2.6%
(approx (- (* x 2) y) (neg.f64 (approx y #s(literal 0 binary64))))
✓51.2%
(approx (- (* x 2) y) (neg.f64 y))
Compiler
Compiled 4 to 7 computations (-75.0% saved)
regimes18.0ms (1.3%)
Accuracy
Total 12.8b remaining (28.1%)
Threshold costs 0.0b (0.0%)
12.8b57.2%
0.0b-33.3%
0.0b0%
Counts
1 → 1
3 → 3
6 → 1
Calls
Call 1
Inputs
(approx (- (* x 2) y) (neg.f64 y))
Outputs
(approx (- (* x 2) y) (neg.f64 y))
Call 2
Inputs
%4 = (- (* x 2) y)
(approx %4 (neg.f64 y))
(approx %4 (neg.f64 (approx y #s(literal 0 binary64))))
(approx %4 (+.f64 x x))
Outputs
%4 = (- (* x 2) y)
%6 = (approx %4 (neg.f64 y))
%6
(approx %4 (+.f64 x x))
%6
Call 3
Inputs
%4 = (- (* x 2) y)
%11 = (+.f64 x x)
(approx %4 (neg.f64 y))
(approx %4 (neg.f64 (approx y #s(literal 0 binary64))))
(approx %4 %11)
(approx %4 (*.f64 #s(literal -1 binary64) y))
(approx %4 (*.f64 #s(literal 2 binary64) x))
(-.f64 %11 y)
Outputs
(-.f64 (+.f64 x x) y)
Calls
4 calls:
4.0ms
y
4.0ms
x
4.0ms
(-.f64 (*.f64 x #s(literal 2 binary64)) y)
4.0ms
(*.f64 x #s(literal 2 binary64))
Results
AccuracySegmentsBranch
51.2%1
y
51.2%1
x
51.2%1
(-.f64 (*.f64 x #s(literal 2 binary64)) y)
51.2%1
(*.f64 x #s(literal 2 binary64))
Compiler
Compiled 11 to 18 computations (-63.6% saved)
bsearch0.0ms (0.0%)
bsearch13.0ms (1.0%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
2.4702238806001017e+40
2.5020956682989923e+48
6.0ms
-4.155509726251822e+46
-2.3642662711297703e+40
Samples
5.0ms288×0valid
Compiler
Compiled 12 to 17 computations (-41.7% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations58.0ms (4.5%)
Stop Event
1×fuel
Compiler
Compiled 3 to 11 computations (-266.7% saved)
preprocess13.0ms (1.0%)
Compiler
Compiled 4 to 16 computations (-300.0% saved)
end0.0ms (0.0%)
gc143ms (10.9%)
Allocations
AllocatedPercentPhase
360.5 MiB38.4%rewrite
287.9 MiB30.6%sample
148.1 MiB15.7%reconstruct
47.6 MiB5.1%series
34.1 MiB3.6%preprocess
18.8 MiB2.0%regimes
16.4 MiB1.7%bsearch
13.6 MiB1.4%derivations
7.0 MiB0.7%eval
5.8 MiB0.6%prune
0.2 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
940.1 MiB100.0%total
Profiling
Loading profile data...