Data.Colour.RGB:hslsv from colour-2.3.3, C

Time bar (total: 1.9s)

start0.0ms (0.0%)

analyze16.0ms (0.8%)

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
25.0%25.0%74.9%0.1%0.0%0.0%0.0%3
37.5%37.5%62.4%0.1%0.0%0.0%0.0%4
56.3%56.2%43.7%0.1%0.0%0.0%0.0%5
65.6%65.6%34.3%0.1%0.0%0.0%0.0%6
79.7%79.6%20.3%0.1%0.0%0.0%0.0%7
83.6%83.5%16.4%0.1%0.0%0.0%0.0%8
90.2%90.1%9.8%0.1%0.0%0.0%0.0%9
92.0%91.9%8.0%0.1%0.0%0.0%0.0%10
95.2%95.1%4.8%0.1%0.0%0.0%0.0%11
96.0%96.0%4.0%0.1%0.0%0.0%0.0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample391.0ms (20.2%)

Samples
380.0ms8 253×0valid
0.0ms2×2valid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 15.0ms
Sub: 6.0ms (39.8% of total, 0.0 MiB)
Div: 6.0ms (39.8% of total, 0.0 MiB)
Add: 3.0ms (19.9% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess34.0ms (1.7%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02358
114054
250854
3194754
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
Compiler

Compiled 2 to 14 computations (-600.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series30.0ms (1.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02341073
Stop Event
1×iter-limit
Counts
7 → 45
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%4 = (+.f64 x y)
%5 = (-.f64 #s(literal 2 binary64) %4)
x
y
%2
#s(literal 2 binary64)
%4
%5
(/.f64 %2 %5)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%11 = (+ x y)
%16 = (- 2 %11)
%18 = (-.f64 #s(literal 2 binary64) y)
%20 = (*.f64 #s(literal -1 binary64) x)
%24 = (/ %5 %16)
%25 = (/.f64 y %18)
%29 = (/.f64 #s(literal 1 binary64) %18)
%30 = (pow.f64 %18 #s(literal 2 binary64))
%31 = (/.f64 y %30)
%32 = (-.f64 %29 %31)
%33 = (*.f64 x %32)
%51 = (/.f64 y x)
%52 = (*.f64 #s(literal -1 binary64) %51)
%56 = (+.f64 #s(literal 1 binary64) %51)
%61 = (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x))
%67 = (+.f64 #s(literal 1 binary64) %61)
%71 = (-.f64 (*.f64 #s(literal 2 binary64) y) #s(literal 2 binary64))
%72 = (*.f64 %18 %71)
%74 = (/.f64 %72 (pow.f64 x #s(literal 2 binary64)))
%78 = (*.f64 %30 %71)
%119 = (-.f64 #s(literal 2 binary64) x)
%124 = (/.f64 x %119)
%126 = (pow.f64 %119 #s(literal 2 binary64))
%129 = (fma.f64 #s(literal -1 binary64) (/.f64 x %126) (/.f64 #s(literal 1 binary64) %119))
%133 = (pow.f64 %119 #s(literal 3 binary64))
%136 = (fma.f64 #s(literal -1 binary64) (/.f64 x %133) (/.f64 #s(literal 1 binary64) %126))
%154 = (/.f64 x y)
%158 = (+.f64 #s(literal 1 binary64) %154)
%167 = (*.f64 #s(literal -1 binary64) %154)
%168 = (+.f64 #s(literal 1 binary64) %167)
%170 = (*.f64 #s(literal -1 binary64) (/.f64 %119 y))
%174 = (-.f64 %20 (*.f64 #s(literal -1 binary64) %119))
%177 = (/.f64 (*.f64 %119 %174) (pow.f64 y #s(literal 2 binary64)))
%201 = (*.f64 #s(literal 2 binary64) x)
%202 = (-.f64 %201 #s(literal 2 binary64))
%207 = (*.f64 %119 %202)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx %11 y)
(approx %11 (+.f64 x y))
(approx %16 %18)
(approx %16 (-.f64 (+.f64 #s(literal 2 binary64) %20) y))
(approx %24 (*.f64 #s(literal -1 binary64) %25))
(approx %24 (fma.f64 #s(literal -1 binary64) %25 %33))
(approx %24 (fma.f64 #s(literal -1 binary64) %25 (*.f64 x (-.f64 (+.f64 %29 (/.f64 %33 %18)) %31))))
(approx %24 (fma.f64 #s(literal -1 binary64) %25 (*.f64 x (-.f64 (fma.f64 x (-.f64 (/.f64 %33 %30) (*.f64 #s(literal -1 binary64) (/.f64 %32 %18))) %29) %31))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %52)))
(approx %11 (*.f64 x %56))
(approx %16 %20)
(approx %16 (*.f64 x (-.f64 %61 %56)))
(approx %24 #s(literal -1 binary64))
(approx %24 (-.f64 (*.f64 #s(literal 2 binary64) %51) %67))
(approx %24 (-.f64 (fma.f64 #s(literal 2 binary64) %51 %74) %67))
(approx %24 (-.f64 (fma.f64 #s(literal 2 binary64) %51 (/.f64 %78 (pow.f64 x #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %74 %61))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %51 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %52 #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %18 x))))))
(approx %24 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %71 (*.f64 #s(literal -1 binary64) (/.f64 %72 x))) x)) #s(literal 1 binary64)))
(approx %24 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %71 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 %18 %71 (/.f64 %78 x)) x))) x)) #s(literal 1 binary64)))
(approx %5 (+.f64 x %7))
(approx %16 %119)
(approx %16 (-.f64 (+.f64 #s(literal 2 binary64) %7) x))
(approx %24 %124)
(approx %24 (fma.f64 #s(literal -1 binary64) (*.f64 y %129) %124))
(approx %24 (fma.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y %136)) %129) %124))
(approx %24 (fma.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 %119 #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %133)))) %136)) %129) %124))
(approx %5 (*.f64 y (-.f64 %154 #s(literal 1 binary64))))
(approx %11 (*.f64 y %158))
(approx %16 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) y)) %158)))
(approx %24 #s(literal 1 binary64))
(approx %24 (-.f64 %168 %170))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %154 %177)) %170))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %154 (/.f64 (*.f64 %126 %174) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) %177 %170)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y %168)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %167 #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %170))))
(approx %24 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %202 y))))
(approx %24 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 %207 y)) #s(literal 2 binary64)) y))))
(approx %24 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %126 %202) y)) %207) y) %201) #s(literal 2 binary64)) y))))
Calls
6 calls:
TimeVariablePoint
3.0ms
x
inf
2.0ms
x
-inf
2.0ms
y
inf
2.0ms
y
-inf
2.0ms
y
0
rewrite146.0ms (7.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0723
01123
14323
216323
359623
4385123
0401723
0415823
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 439
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%4 = (+.f64 x y)
%5 = (-.f64 #s(literal 2 binary64) %4)
x
y
%2
#s(literal 2 binary64)
%4
%5
(/.f64 %2 %5)
Outputs
%2 = (-.f64 y x)
%4 = (*.f64 %2 #s(literal -2 binary64))
%7 = (-.f64 x y)
%8 = (*.f64 %7 #s(literal 1/2 binary64))
%11 = (*.f64 %2 #s(literal 2 binary64))
%14 = (*.f64 #s(literal 2 binary64) %7)
%17 = (+.f64 y x)
%18 = (-.f64 #s(literal 2 binary64) %17)
%19 = (*.f64 %18 %7)
%21 = (/.f64 #s(literal 1 binary64) %18)
%27 = (*.f64 #s(literal 1/2 binary64) %7)
%32 = (*.f64 %18 %2)
%33 = (-.f64 %17 #s(literal 2 binary64))
%41 = (/.f64 x %18)
%43 = (*.f64 %41 #s(literal 4 binary64))
%44 = (neg.f64 %17)
%45 = (neg.f64 y)
%46 = (fma.f64 %44 %41 %45)
%48 = (*.f64 %44 x)
%49 = (/.f64 %48 %18)
%50 = (-.f64 %49 y)
%53 = (*.f64 %7 #s(literal 0 binary64))
%55 = (*.f64 #s(literal 0 binary64) %7)
%57 = (*.f64 y #s(literal -2 binary64))
%61 = (*.f64 %41 #s(literal 1/2 binary64))
%64 = (-.f64 #s(literal 1 binary64) %17)
%65 = (fma.f64 %64 %41 %45)
%68 = (-.f64 (*.f64 %64 %41) y)
%70 = (-.f64 #s(literal 2 binary64) x)
%71 = (*.f64 %70 %21)
%72 = (/.f64 y %33)
%73 = (fma.f64 %72 x %45)
%76 = (-.f64 (*.f64 %72 x) y)
%78 = (*.f64 %44 %21)
%79 = (fma.f64 %41 #s(literal 2 binary64) %45)
%81 = (+.f64 x x)
%82 = (/.f64 %81 %18)
%83 = (-.f64 %82 y)
%85 = (*.f64 #s(literal 2 binary64) %21)
%88 = (neg.f64 x)
%89 = (*.f64 %70 %88)
%90 = (/.f64 #s(literal -1 binary64) %18)
%93 = (*.f64 #s(literal 1 binary64) %88)
%96 = (*.f64 %44 %88)
%101 = (*.f64 %88 #s(literal 1 binary64))
%104 = (*.f64 y #s(literal 2 binary64))
%106 = (fabs.f64 %33)
%107 = (/.f64 x %106)
%108 = (/.f64 %18 %106)
%113 = (/.f64 %18 %33)
%114 = (/.f64 x %33)
%117 = (*.f64 #s(literal 2 binary64) %88)
%120 = (*.f64 %88 #s(literal 2 binary64))
%121 = (/.f64 #s(literal -1/2 binary64) %18)
%130 = (*.f64 %70 x)
%135 = (/.f64 #s(literal -1/2 binary64) %33)
%140 = (*.f64 #s(literal 1/2 binary64) %41)
%143 = (*.f64 #s(literal 4 binary64) %41)
%157 = (*.f64 %18 x)
%158 = (*.f64 %33 %18)
%159 = (/.f64 #s(literal -1 binary64) %158)
%162 = (*.f64 %90 %44)
%165 = (*.f64 %90 %70)
%168 = (*.f64 %90 #s(literal 2 binary64))
%182 = (*.f64 %90 %33)
%191 = (*.f64 %33 y)
%195 = (/.f64 y %18)
%215 = (/.f64 %41 %18)
%218 = (*.f64 %33 %33)
%219 = (/.f64 x %218)
%222 = (*.f64 %135 x)
%234 = (*.f64 %21 %33)
%237 = (/.f64 %18 %218)
%240 = (*.f64 %21 %70)
%243 = (*.f64 %21 %44)
%246 = (*.f64 %21 #s(literal 2 binary64))
%253 = (*.f64 #s(literal 1 binary64) %45)
%256 = (*.f64 %45 #s(literal 1 binary64))
%262 = (/.f64 %130 %18)
%280 = (*.f64 %18 #s(literal 1/2 binary64))
%282 = (*.f64 %18 #s(literal 2 binary64))
%287 = (*.f64 #s(literal 1/2 binary64) %18)
%301 = (*.f64 %18 #s(literal 0 binary64))
%303 = (*.f64 #s(literal 0 binary64) %18)
%308 = (-.f64 #s(literal 2 binary64) y)
%323 = (*.f64 %308 #s(literal 1 binary64))
%330 = (*.f64 %70 #s(literal 1 binary64))
%341 = (*.f64 #s(literal 1 binary64) %308)
%345 = (*.f64 #s(literal 1 binary64) %70)
%364 = (-.f64 #s(literal 1 binary64) y)
%368 = (-.f64 #s(literal 1 binary64) x)
%378 = (-.f64 %17 #s(literal 1 binary64))
%387 = (*.f64 %44 #s(literal 1 binary64))
%391 = (*.f64 #s(literal 1 binary64) %44)
%396 = (*.f64 %64 #s(literal 1 binary64))
%398 = (*.f64 #s(literal 1 binary64) %64)
%427 = (*.f64 #s(literal 1 binary64) %19)
%434 = (/.f64 %7 %18)
%435 = (*.f64 #s(literal 2 binary64) %434)
%439 = (/.f64 %2 %18)
%466 = (*.f64 %18 y)
%504 = (/.f64 %466 %158)
%506 = (/.f64 %191 %218)
x
y
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %8 #s(literal 2 binary64))
(*.f64 %11 #s(literal -1/2 binary64))
(*.f64 %14 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %14)
(*.f64 %19 %21)
(*.f64 #s(literal -1 binary64) %2)
(*.f64 %2 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 #s(literal 2 binary64) %27)
(*.f64 %7 #s(literal 1 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 %14 #s(literal 2 binary64))
(/.f64 %32 %33)
(/.f64 %19 %18)
(/.f64 #s(literal 1 binary64) (/.f64 %18 %19))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %2)
(fma.f64 %43 #s(literal 1/2 binary64) %46)
(fma.f64 %43 #s(literal 1/2 binary64) %50)
(fma.f64 %4 #s(literal 1/2 binary64) %53)
(fma.f64 %4 #s(literal 1/2 binary64) %55)
(fma.f64 %57 #s(literal 1/2 binary64) x)
(fma.f64 %8 #s(literal 2 binary64) %53)
(fma.f64 %8 #s(literal 2 binary64) %55)
(fma.f64 %61 #s(literal 4 binary64) %46)
(fma.f64 %61 #s(literal 4 binary64) %50)
(fma.f64 %61 #s(literal 2 binary64) %65)
(fma.f64 %61 #s(literal 2 binary64) %68)
(fma.f64 %71 x %73)
(fma.f64 %71 x %76)
(fma.f64 %78 x %79)
(fma.f64 %78 x %83)
(fma.f64 %85 x %46)
(fma.f64 %85 x %50)
(fma.f64 %89 %90 %73)
(fma.f64 %89 %90 %76)
(fma.f64 %93 %90 %65)
(fma.f64 %93 %90 %68)
(fma.f64 %96 %90 %79)
(fma.f64 %96 %90 %83)
(fma.f64 %11 #s(literal -1/2 binary64) %53)
(fma.f64 %11 #s(literal -1/2 binary64) %55)
(fma.f64 %101 %90 %65)
(fma.f64 %101 %90 %68)
(fma.f64 %104 #s(literal -1/2 binary64) x)
(fma.f64 %107 %108 %65)
(fma.f64 %107 %108 %68)
(fma.f64 %108 %107 %65)
(fma.f64 %108 %107 %68)
(fma.f64 %113 %114 %65)
(fma.f64 %113 %114 %68)
(fma.f64 %117 %90 %46)
(fma.f64 %117 %90 %50)
(fma.f64 %120 %121 %65)
(fma.f64 %120 %121 %68)
(fma.f64 %14 #s(literal 1/2 binary64) %53)
(fma.f64 %14 #s(literal 1/2 binary64) %55)
(fma.f64 %82 #s(literal 1/2 binary64) %65)
(fma.f64 %82 #s(literal 1/2 binary64) %68)
(fma.f64 %82 #s(literal 1 binary64) %46)
(fma.f64 %82 #s(literal 1 binary64) %50)
(fma.f64 %130 %21 %73)
(fma.f64 %130 %21 %76)
(fma.f64 %48 %21 %79)
(fma.f64 %48 %21 %83)
(fma.f64 %81 %135 %65)
(fma.f64 %81 %135 %68)
(fma.f64 %81 %21 %46)
(fma.f64 %81 %21 %50)
(fma.f64 #s(literal 4 binary64) %140 %46)
(fma.f64 #s(literal 4 binary64) %140 %50)
(fma.f64 #s(literal 1/2 binary64) %143 %46)
(fma.f64 #s(literal 1/2 binary64) %143 %50)
(fma.f64 #s(literal 1/2 binary64) %14 %53)
(fma.f64 #s(literal 1/2 binary64) %14 %55)
(fma.f64 #s(literal 1/2 binary64) %82 %65)
(fma.f64 #s(literal 1/2 binary64) %82 %68)
(fma.f64 #s(literal 1/2 binary64) %7 %27)
(fma.f64 %114 %113 %65)
(fma.f64 %114 %113 %68)
(fma.f64 %90 %88 %65)
(fma.f64 %90 %88 %68)
(fma.f64 %19 %21 %53)
(fma.f64 %19 %21 %55)
(fma.f64 %157 %159 %65)
(fma.f64 %157 %159 %68)
(fma.f64 %88 %162 %79)
(fma.f64 %88 %162 %83)
(fma.f64 %88 %165 %73)
(fma.f64 %88 %165 %76)
(fma.f64 %88 %168 %46)
(fma.f64 %88 %168 %50)
(fma.f64 %88 %90 %65)
(fma.f64 %88 %90 %68)
(fma.f64 #s(literal -1 binary64) %114 %65)
(fma.f64 #s(literal -1 binary64) %114 %68)
(fma.f64 #s(literal -1 binary64) %2 %53)
(fma.f64 #s(literal -1 binary64) %2 %55)
(fma.f64 #s(literal -1 binary64) y x)
(fma.f64 %70 %41 %73)
(fma.f64 %70 %41 %76)
(fma.f64 %44 %41 %79)
(fma.f64 %44 %41 %83)
(fma.f64 %45 %182 x)
(fma.f64 %45 #s(literal 1 binary64) x)
(fma.f64 %21 %130 %73)
(fma.f64 %21 %130 %76)
(fma.f64 %21 %48 %79)
(fma.f64 %21 %48 %83)
(fma.f64 %21 %81 %46)
(fma.f64 %21 %81 %50)
(fma.f64 %21 %191 x)
(fma.f64 %21 x %65)
(fma.f64 %21 x %68)
(fma.f64 %195 %33 x)
(fma.f64 %41 %70 %73)
(fma.f64 %41 %70 %76)
(fma.f64 %41 %44 %79)
(fma.f64 %41 %44 %83)
(fma.f64 %41 #s(literal 1 binary64) %65)
(fma.f64 %41 #s(literal 1 binary64) %68)
(fma.f64 %41 #s(literal 2 binary64) %46)
(fma.f64 %41 #s(literal 2 binary64) %50)
(fma.f64 %33 %195 x)
(fma.f64 %2 #s(literal -1 binary64) %53)
(fma.f64 %2 #s(literal -1 binary64) %55)
(fma.f64 #s(literal 1 binary64) %82 %46)
(fma.f64 #s(literal 1 binary64) %82 %50)
(fma.f64 #s(literal 1 binary64) %45 x)
(fma.f64 #s(literal 1 binary64) %41 %65)
(fma.f64 #s(literal 1 binary64) %41 %68)
(fma.f64 #s(literal 1 binary64) %7 %53)
(fma.f64 #s(literal 1 binary64) %7 %55)
(fma.f64 %18 %215 %65)
(fma.f64 %18 %215 %68)
(fma.f64 %18 %219 %65)
(fma.f64 %18 %219 %68)
(fma.f64 #s(literal 2 binary64) %222 %65)
(fma.f64 #s(literal 2 binary64) %222 %68)
(fma.f64 #s(literal 2 binary64) %27 %53)
(fma.f64 #s(literal 2 binary64) %27 %55)
(fma.f64 #s(literal 2 binary64) %140 %65)
(fma.f64 #s(literal 2 binary64) %140 %68)
(fma.f64 #s(literal 2 binary64) %41 %46)
(fma.f64 #s(literal 2 binary64) %41 %50)
(fma.f64 %7 #s(literal 1/2 binary64) %8)
(fma.f64 %7 #s(literal 1 binary64) %53)
(fma.f64 %7 #s(literal 1 binary64) %55)
(fma.f64 y %234 x)
(fma.f64 y #s(literal -1 binary64) x)
(fma.f64 x %237 %65)
(fma.f64 x %237 %68)
(fma.f64 x %240 %73)
(fma.f64 x %240 %76)
(fma.f64 x %243 %79)
(fma.f64 x %243 %83)
(fma.f64 x %246 %46)
(fma.f64 x %246 %50)
(fma.f64 x %21 %65)
(fma.f64 x %21 %68)
(-.f64 %45 %88)
%7
(+.f64 %8 %8)
(+.f64 %253 x)
(+.f64 %27 %27)
(+.f64 %256 x)
(+.f64 %49 %79)
(+.f64 %49 %83)
(+.f64 %82 %46)
(+.f64 %82 %50)
(+.f64 %262 %73)
(+.f64 %262 %76)
(+.f64 %45 x)
(+.f64 %41 %65)
(+.f64 %41 %68)
(+.f64 %7 %53)
(+.f64 %7 %55)
(+.f64 x %253)
(+.f64 x %256)
(+.f64 x %45)
#s(literal 2 binary64)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(neg.f64 %44)
(-.f64 y %88)
(-.f64 x %45)
%17
(+.f64 x y)
(*.f64 %280 #s(literal 2 binary64))
(*.f64 %282 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %282)
(*.f64 #s(literal 1 binary64) %18)
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %287)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 %282 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %21)
(neg.f64 (*.f64 %33 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %18))
(neg.f64 (*.f64 %18 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal 1 binary64) %33))
(neg.f64 %33)
(fma.f64 %280 #s(literal 2 binary64) %301)
(fma.f64 %280 #s(literal 2 binary64) %303)
(fma.f64 %280 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %57 #s(literal 1/2 binary64) %70)
(fma.f64 (*.f64 x #s(literal -2 binary64)) #s(literal 1/2 binary64) %308)
(fma.f64 %104 #s(literal -1/2 binary64) %70)
(fma.f64 %81 #s(literal -1/2 binary64) %308)
(fma.f64 %282 #s(literal 1/2 binary64) %301)
(fma.f64 %282 #s(literal 1/2 binary64) %303)
(fma.f64 %282 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %308 #s(literal 1 binary64) %101)
(fma.f64 %64 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %282 %301)
(fma.f64 #s(literal 1/2 binary64) %282 %303)
(fma.f64 #s(literal 1/2 binary64) %282 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %18 %287)
(fma.f64 %114 %18 %308)
(fma.f64 %88 %182 %308)
(fma.f64 %88 #s(literal 1 binary64) %323)
(fma.f64 #s(literal -1 binary64) y %70)
(fma.f64 #s(literal -1 binary64) x %308)
(fma.f64 %70 #s(literal 1 binary64) %256)
(fma.f64 %44 #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 %45 %182 %70)
(fma.f64 %45 #s(literal 1 binary64) %330)
(fma.f64 %21 %191 %70)
(fma.f64 %21 (*.f64 %33 x) %308)
(fma.f64 %195 %33 %70)
(fma.f64 %41 %33 %308)
(fma.f64 %33 %195 %70)
(fma.f64 %33 %41 %308)
(fma.f64 #s(literal 1 binary64) %308 %93)
(fma.f64 #s(literal 1 binary64) %64 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %88 %341)
(fma.f64 #s(literal 1 binary64) %70 %253)
(fma.f64 #s(literal 1 binary64) %44 #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %45 %345)
(fma.f64 #s(literal 1 binary64) %18 %301)
(fma.f64 #s(literal 1 binary64) %18 %303)
(fma.f64 #s(literal 1 binary64) %18 #s(literal 0 binary64))
(fma.f64 %18 #s(literal 1/2 binary64) %280)
(fma.f64 %18 %114 %308)
(fma.f64 %18 #s(literal 1 binary64) %301)
(fma.f64 %18 #s(literal 1 binary64) %303)
(fma.f64 %18 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %287 %301)
(fma.f64 #s(literal 2 binary64) %287 %303)
(fma.f64 #s(literal 2 binary64) %287 #s(literal 0 binary64))
(fma.f64 y %234 %70)
(fma.f64 y #s(literal -1 binary64) %70)
(fma.f64 x (*.f64 %90 %18) %308)
(fma.f64 x %234 %308)
(fma.f64 x #s(literal -1 binary64) %308)
(-.f64 %364 (-.f64 x #s(literal 1 binary64)))
(-.f64 %308 x)
(-.f64 %368 (-.f64 y #s(literal 1 binary64)))
(-.f64 %64 #s(literal -1 binary64))
(-.f64 %88 (-.f64 y #s(literal 2 binary64)))
(-.f64 %70 y)
(-.f64 %44 #s(literal -2 binary64))
(-.f64 %45 (-.f64 x #s(literal 2 binary64)))
(-.f64 #s(literal 1 binary64) %378)
%18
(+.f64 (+.f64 %64 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %280 %280)
(+.f64 %341 %93)
(+.f64 %287 %287)
(+.f64 %323 %101)
(+.f64 %330 %256)
(+.f64 %387 #s(literal 2 binary64))
(+.f64 %345 %253)
(+.f64 %253 %345)
(+.f64 %391 #s(literal 2 binary64))
(+.f64 %93 %341)
(+.f64 %256 %330)
(+.f64 %101 %323)
(+.f64 %396 #s(literal 1 binary64))
(+.f64 %398 #s(literal 1 binary64))
(+.f64 %364 %368)
(+.f64 %308 %88)
(+.f64 %368 %364)
(+.f64 %64 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %64))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %378))
(+.f64 %88 %308)
(+.f64 %70 %45)
(+.f64 %44 #s(literal 2 binary64))
(+.f64 %45 %70)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %378))
(+.f64 #s(literal 1 binary64) %396)
(+.f64 #s(literal 1 binary64) %398)
(+.f64 #s(literal 1 binary64) %64)
(+.f64 %18 %301)
(+.f64 %18 %303)
(+.f64 %18 #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) %387)
(+.f64 #s(literal 2 binary64) %391)
(+.f64 #s(literal 2 binary64) %44)
(*.f64 (*.f64 %21 %14) #s(literal 1/2 binary64))
(*.f64 %427 %159)
(*.f64 %11 %121)
(*.f64 %14 %135)
(*.f64 %32 (/.f64 #s(literal 1 binary64) %158))
(*.f64 %159 %19)
(*.f64 #s(literal 1/2 binary64) %435)
(*.f64 %90 %2)
(*.f64 %19 %159)
(*.f64 #s(literal -1 binary64) %439)
(*.f64 %21 %7)
(*.f64 %2 %90)
(*.f64 #s(literal 1 binary64) %434)
(*.f64 %434 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %121 %2))
(*.f64 #s(literal 2 binary64) (*.f64 %135 %7))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %434))
(*.f64 %7 %21)
(pow.f64 %434 #s(literal 1 binary64))
(/.f64 (*.f64 %19 #s(literal 1 binary64)) %218)
(/.f64 (*.f64 #s(literal 1 binary64) %32) %158)
(/.f64 %427 %218)
(/.f64 %435 #s(literal 2 binary64))
(/.f64 (/.f64 %19 %106) %106)
(/.f64 (fma.f64 %72 %33 %88) %33)
(/.f64 (fma.f64 %72 %18 x) %18)
(/.f64 (-.f64 (*.f64 %41 %218) %466) %218)
(/.f64 (-.f64 (*.f64 %72 %18) %88) %18)
(/.f64 (-.f64 (*.f64 %72 %33) x) %33)
(/.f64 (-.f64 (*.f64 %157 %218) (*.f64 %218 %466)) (*.f64 %218 %218))
(/.f64 (*.f64 #s(literal 2 binary64) %32) (*.f64 #s(literal 2 binary64) %158))
(/.f64 (*.f64 #s(literal 2 binary64) %19) (*.f64 #s(literal 2 binary64) %218))
(/.f64 (*.f64 #s(literal 2 binary64) %2) (*.f64 #s(literal 2 binary64) %33))
(/.f64 %14 %282)
(/.f64 %32 %158)
(/.f64 %19 %218)
(/.f64 %2 %33)
(/.f64 #s(literal 1 binary64) (/.f64 %158 %32))
(/.f64 #s(literal 1 binary64) (pow.f64 %434 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %218 %19))
(/.f64 #s(literal 1 binary64) (/.f64 %33 %2))
(/.f64 #s(literal 1 binary64) (/.f64 %18 %7))
%434
(neg.f64 %439)
(fma.f64 %61 #s(literal 2 binary64) %504)
(fma.f64 %61 #s(literal 2 binary64) %506)
(fma.f64 %61 #s(literal 2 binary64) %72)
(fma.f64 %93 %90 %504)
(fma.f64 %93 %90 %506)
(fma.f64 %93 %90 %72)
(fma.f64 (*.f64 %45 #s(literal -1 binary64)) %90 %41)
(fma.f64 %256 %21 %41)
(fma.f64 %101 %90 %504)
(fma.f64 %101 %90 %506)
(fma.f64 %101 %90 %72)
(fma.f64 (*.f64 %45 #s(literal 2 binary64)) %135 %41)
(fma.f64 %104 %121 %41)
(fma.f64 %107 %108 %504)
(fma.f64 %107 %108 %506)
(fma.f64 %107 %108 %72)
(fma.f64 %108 %107 %504)
(fma.f64 %108 %107 %506)
(fma.f64 %108 %107 %72)
(fma.f64 %113 %114 %504)
(fma.f64 %113 %114 %506)
(fma.f64 %113 %114 %72)
(fma.f64 %120 %121 %504)
(fma.f64 %120 %121 %506)
(fma.f64 %120 %121 %72)
(fma.f64 %82 #s(literal 1/2 binary64) %504)
(fma.f64 %82 #s(literal 1/2 binary64) %506)
(fma.f64 %82 #s(literal 1/2 binary64) %72)
(fma.f64 %81 %135 %504)
(fma.f64 %81 %135 %506)
(fma.f64 %81 %135 %72)
(fma.f64 #s(literal 1/2 binary64) %82 %504)
(fma.f64 #s(literal 1/2 binary64) %82 %506)
(fma.f64 #s(literal 1/2 binary64) %82 %72)
(fma.f64 %114 %113 %504)
(fma.f64 %114 %113 %506)
(fma.f64 %114 %113 %72)
(fma.f64 %90 %88 %504)
(fma.f64 %90 %88 %506)
(fma.f64 %90 %88 %72)
(fma.f64 %90 y %41)
(fma.f64 %72 #s(literal 1 binary64) %41)
(fma.f64 %157 %159 %504)
(fma.f64 %157 %159 %506)
(fma.f64 %157 %159 %72)
(fma.f64 %88 %90 %504)
(fma.f64 %88 %90 %506)
(fma.f64 %88 %90 %72)
(fma.f64 #s(literal -1 binary64) %114 %504)
(fma.f64 #s(literal -1 binary64) %114 %506)
(fma.f64 #s(literal -1 binary64) %114 %72)
(fma.f64 #s(literal -1 binary64) %195 %41)
(fma.f64 %45 %21 %41)
(fma.f64 %21 %253 %41)
(fma.f64 %21 %45 %41)
(fma.f64 %21 x %504)
(fma.f64 %21 x %506)
(fma.f64 %21 x %72)
(fma.f64 %41 #s(literal 1 binary64) %504)
(fma.f64 %41 #s(literal 1 binary64) %506)
(fma.f64 %41 #s(literal 1 binary64) %72)
(fma.f64 #s(literal 1 binary64) %72 %41)
(fma.f64 #s(literal 1 binary64) %41 %504)
(fma.f64 #s(literal 1 binary64) %41 %506)
(fma.f64 #s(literal 1 binary64) %41 %72)
(fma.f64 %18 %215 %504)
(fma.f64 %18 %215 %506)
(fma.f64 %18 %215 %72)
(fma.f64 %18 %219 %504)
(fma.f64 %18 %219 %506)
(fma.f64 %18 %219 %72)
(fma.f64 #s(literal 2 binary64) (*.f64 %135 %45) %41)
(fma.f64 #s(literal 2 binary64) %222 %504)
(fma.f64 #s(literal 2 binary64) %222 %506)
(fma.f64 #s(literal 2 binary64) %222 %72)
(fma.f64 #s(literal 2 binary64) %140 %504)
(fma.f64 #s(literal 2 binary64) %140 %506)
(fma.f64 #s(literal 2 binary64) %140 %72)
(fma.f64 y %90 %41)
(fma.f64 x %237 %504)
(fma.f64 x %237 %506)
(fma.f64 x %237 %72)
(fma.f64 x %21 %504)
(fma.f64 x %21 %506)
(fma.f64 x %21 %72)
(-.f64 %72 %114)
(-.f64 %41 %195)
(+.f64 %72 %41)
(+.f64 %41 %504)
(+.f64 %41 %506)
(+.f64 %41 %72)
reconstruct68.0ms (3.5%)
Counts
484 → 97
Compiler
Compiled 484 to 765 computations (-58.1% saved)
eval16.0ms (0.8%)
Compiler
Compiled 94 to 333 computations (-254.3% saved)
prune4.0ms (0.2%)
Pruning
9 alts after pruning (8 fresh and 1 done)
PrunedKeptTotal
New86894
Fresh000
Picked011
Done000
Total86995
Accuracy
100.0%
Counts
95 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
▶90.5%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))))
▶59.1%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) y)))
▶64.3%
(/.f64 (-.f64 x y) (approx (- 2 (+ x y)) (-.f64 #s(literal 2 binary64) x)))
▶42.1%
(/.f64 (-.f64 x y) (approx (- 2 (+ x y)) (*.f64 #s(literal -1 binary64) x)))
▶100.0%
%15 = (+.f64 y x)
(+.f64 (/.f64 x (-.f64 #s(literal 2 binary64) %15)) (/.f64 y (-.f64 %15 #s(literal 2 binary64))))
▶53.3%
(approx (/ (- x y) (- 2 (+ x y))) (/.f64 x (-.f64 #s(literal 2 binary64) x)))
▶36.8%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal 1 binary64))
▶41.7%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Compiler
Compiled 9 to 27 computations (-200.0% saved)
sample-0.0ms (-0.0%)
Calls
Call 1
Inputs
Outputs
series73.0ms (3.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
07203503
Stop Event
1×iter-limit
Counts
31 → 124
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%5 = (+ x y)
%6 = (approx %5 y)
%7 = (*.f64 #s(literal -1 binary64) x)
%9 = (/.f64 y x)
%10 = (+.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x %10)
%12 = (approx %5 %11)
%14 = (- 2 %5)
%15 = (approx %14 %7)
%17 = (/ (- x y) %14)
%19 = (-.f64 #s(literal 2 binary64) x)
%20 = (approx %14 %19)
%21 = (/.f64 x %19)
%24 = (+.f64 y x)
%25 = (-.f64 #s(literal 2 binary64) %24)
%26 = (-.f64 %24 #s(literal 2 binary64))
%27 = (/.f64 x %25)
%28 = (/.f64 y %26)
%32 = (-.f64 #s(literal 2 binary64) %12)
%34 = (-.f64 #s(literal 2 binary64) %6)
x
y
%2
#s(literal 2 binary64)
#s(literal -1 binary64)
%6
%7
#s(literal 1 binary64)
%9
%10
%11
%12
%15
(approx %17 #s(literal -1 binary64))
%19
%20
%21
(approx %17 %21)
(approx %17 #s(literal 1 binary64))
%24
%25
%26
%27
%28
(+.f64 %27 %28)
(/.f64 %2 %20)
(/.f64 %2 %15)
%32
(/.f64 %2 %32)
%34
(/.f64 %2 %34)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%11 = (+ x y)
%13 = (+.f64 x y)
%17 = (*.f64 #s(literal -1 binary64) x)
%19 = (/ y x)
%20 = (/.f64 y x)
%23 = (+ 1 %19)
%27 = (- 2 %11)
%29 = (-.f64 #s(literal 2 binary64) y)
%31 = (+.f64 #s(literal 2 binary64) %17)
%34 = (/ %5 %27)
%35 = (/.f64 y %29)
%39 = (/.f64 #s(literal 1 binary64) %29)
%40 = (pow.f64 %29 #s(literal 2 binary64))
%41 = (/.f64 y %40)
%42 = (-.f64 %39 %41)
%43 = (*.f64 x %42)
%61 = (- 2 x)
%64 = (/ x %61)
%89 = (+ y x)
%90 = (- %89 2)
%91 = (-.f64 y #s(literal 2 binary64))
%96 = (/ x (- 2 %89))
%103 = (/.f64 #s(literal 1 binary64) %40)
%105 = (pow.f64 %29 #s(literal 3 binary64))
%111 = (/.f64 #s(literal 1 binary64) %105)
%120 = (/ y %90)
%121 = (/.f64 y %91)
%123 = (*.f64 x y)
%124 = (pow.f64 %91 #s(literal 2 binary64))
%128 = (pow.f64 %91 #s(literal 3 binary64))
%130 = (/.f64 y %124)
%134 = (pow.f64 %91 #s(literal 4 binary64))
%138 = (*.f64 #s(literal -1 binary64) (/.f64 y %128))
%144 = (+ %96 %120)
%161 = (*.f64 #s(literal -1 binary64) %20)
%165 = (+.f64 #s(literal 1 binary64) %20)
%170 = (/.f64 #s(literal 1 binary64) x)
%171 = (*.f64 #s(literal 2 binary64) %170)
%176 = (*.f64 #s(literal 2 binary64) %20)
%177 = (+.f64 #s(literal 1 binary64) %171)
%181 = (-.f64 (*.f64 #s(literal 2 binary64) y) #s(literal 2 binary64))
%182 = (*.f64 %29 %181)
%183 = (pow.f64 x #s(literal 2 binary64))
%184 = (/.f64 %182 %183)
%188 = (*.f64 %40 %181)
%189 = (pow.f64 x #s(literal 3 binary64))
%219 = (*.f64 %29 %91)
%220 = (/.f64 %219 %183)
%224 = (*.f64 %40 %91)
%231 = (*.f64 y %91)
%232 = (/.f64 %231 x)
%237 = (*.f64 y %124)
%238 = (/.f64 %237 %183)
%243 = (*.f64 y %128)
%256 = (*.f64 #s(literal -1 binary64) %224)
%275 = (*.f64 #s(literal -1 binary64) (/.f64 %29 x))
%316 = (*.f64 #s(literal -1 binary64) %29)
%355 = (+.f64 #s(literal 2 binary64) %7)
%386 = (-.f64 #s(literal 2 binary64) x)
%390 = (/.f64 x %386)
%392 = (pow.f64 %386 #s(literal 2 binary64))
%393 = (/.f64 x %392)
%395 = (fma.f64 #s(literal -1 binary64) %393 (/.f64 #s(literal 1 binary64) %386))
%399 = (pow.f64 %386 #s(literal 3 binary64))
%400 = (/.f64 x %399)
%402 = (fma.f64 #s(literal -1 binary64) %400 (/.f64 #s(literal 1 binary64) %392))
%408 = (pow.f64 %386 #s(literal 4 binary64))
%409 = (/.f64 x %408)
%419 = (-.f64 x #s(literal 2 binary64))
%425 = (*.f64 #s(literal -1 binary64) %393)
%438 = (pow.f64 %419 #s(literal 2 binary64))
%440 = (/.f64 #s(literal 1 binary64) %419)
%444 = (pow.f64 %419 #s(literal 3 binary64))
%446 = (/.f64 #s(literal 1 binary64) %438)
%453 = (/.f64 #s(literal 1 binary64) %444)
%463 = (fma.f64 #s(literal -1 binary64) %400 %446)
%477 = (/.f64 x y)
%481 = (+.f64 #s(literal 1 binary64) %477)
%484 = (/.f64 #s(literal 1 binary64) y)
%488 = (*.f64 #s(literal 2 binary64) %484)
%492 = (*.f64 #s(literal -1 binary64) %477)
%493 = (+.f64 #s(literal 1 binary64) %492)
%495 = (*.f64 #s(literal -1 binary64) (/.f64 %386 y))
%499 = (-.f64 %17 (*.f64 #s(literal -1 binary64) %386))
%501 = (pow.f64 y #s(literal 2 binary64))
%502 = (/.f64 (*.f64 %386 %499) %501)
%508 = (pow.f64 y #s(literal 3 binary64))
%519 = (*.f64 x %386)
%520 = (/.f64 %519 y)
%525 = (*.f64 x %392)
%526 = (/.f64 %525 %501)
%532 = (*.f64 x %399)
%543 = (*.f64 %386 %419)
%544 = (/.f64 %543 %501)
%549 = (*.f64 %386 %438)
%588 = (*.f64 #s(literal 2 binary64) x)
%589 = (-.f64 %588 #s(literal 2 binary64))
%594 = (*.f64 %386 %589)
%614 = (*.f64 #s(literal -1 binary64) (/.f64 %419 y))
%633 = (*.f64 #s(literal -1 binary64) %525)
%648 = (*.f64 #s(literal -1 binary64) %419)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx %11 y)
(approx %11 %13)
(approx (* -1 x) %17)
(approx %19 %20)
(approx %23 (/.f64 %13 x))
(approx %27 %29)
(approx %27 (-.f64 %31 y))
(approx %34 (*.f64 #s(literal -1 binary64) %35))
(approx %34 (fma.f64 #s(literal -1 binary64) %35 %43))
(approx %34 (fma.f64 #s(literal -1 binary64) %35 (*.f64 x (-.f64 (+.f64 %39 (/.f64 %43 %29)) %41))))
(approx %34 (fma.f64 #s(literal -1 binary64) %35 (*.f64 x (-.f64 (fma.f64 x (-.f64 (/.f64 %43 %40) (*.f64 #s(literal -1 binary64) (/.f64 %42 %29))) %39) %41))))
(approx %61 #s(literal 2 binary64))
(approx %61 %31)
(approx %64 (*.f64 #s(literal 1/2 binary64) x))
(approx %64 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/4 binary64) x))))
(approx %64 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/8 binary64) x))))))
(approx %64 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 x (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) x))))))))
(approx %90 %91)
(approx %90 (-.f64 %13 #s(literal 2 binary64)))
(approx %96 (/.f64 x %29))
(approx %96 (*.f64 x (+.f64 %39 (/.f64 x %40))))
(approx %96 (*.f64 x (fma.f64 x (+.f64 %103 (/.f64 x %105)) %39)))
(approx %96 (*.f64 x (fma.f64 x (fma.f64 x (+.f64 %111 (/.f64 x (pow.f64 %29 #s(literal 4 binary64)))) %103) %39)))
(approx %120 %121)
(approx %120 (fma.f64 #s(literal -1 binary64) (/.f64 %123 %124) %121))
(approx %120 (fma.f64 x (-.f64 (/.f64 %123 %128) %130) %121))
(approx %120 (fma.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %123 %134)) %138)) %130) %121))
(approx %144 (fma.f64 x (-.f64 %39 %130) %121))
(approx %144 (fma.f64 x (-.f64 (fma.f64 x (-.f64 %103 %138) %39) %130) %121))
(approx %144 (fma.f64 x (-.f64 (fma.f64 x (-.f64 (fma.f64 x (-.f64 %111 (/.f64 y %134)) %103) %138) %39) %130) %121))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %161)))
(approx %11 (*.f64 x %165))
(approx %23 #s(literal 1 binary64))
(approx %23 %165)
(approx %27 (*.f64 x (-.f64 %171 %165)))
(approx %34 #s(literal -1 binary64))
(approx %34 (-.f64 %176 %177))
(approx %34 (-.f64 (fma.f64 #s(literal 2 binary64) %20 %184) %177))
(approx %34 (-.f64 (fma.f64 #s(literal 2 binary64) %20 (/.f64 %188 %189)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %184 %171))))
(approx %61 (*.f64 x (-.f64 %171 #s(literal 1 binary64))))
(approx %64 (*.f64 #s(literal -1 binary64) %177))
(approx %64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %170)) x)) #s(literal 1 binary64)))
(approx %64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 8 binary64) %170)) %183)) %177))
(approx %90 (*.f64 x (-.f64 %165 %171)))
(approx %96 (-.f64 %20 %177))
(approx %96 (-.f64 (+.f64 %20 %220) %177))
(approx %96 (-.f64 (+.f64 %20 (/.f64 %224 %189)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %220 %171))))
(approx %120 (/.f64 (+.f64 y (*.f64 #s(literal -1 binary64) %232)) x))
(approx %120 (/.f64 (-.f64 (+.f64 y %238) %232) x))
(approx %120 (/.f64 (-.f64 (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 %243 %189))) (fma.f64 #s(literal -1 binary64) %238 %232)) x))
(approx %144 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %219 %231) %183) %176) %177))
(approx %144 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %237 %256) %189) %176) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %220 (fma.f64 #s(literal 2 binary64) %170 (/.f64 %231 %183))))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %20 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %161 #s(literal 1 binary64)))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) %275))))
(approx %34 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %181 (*.f64 #s(literal -1 binary64) (/.f64 %182 x))) x)) #s(literal 1 binary64)))
(approx %34 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %181 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 %29 %181 (/.f64 %188 x)) x))) x)) #s(literal 1 binary64)))
(approx %61 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %171))))
(approx %64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 4 binary64) %170 (/.f64 #s(literal 8 binary64) %183))) x)) #s(literal 1 binary64)))
(approx %90 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %91 x)) #s(literal 1 binary64)))))
(approx %96 (-.f64 %275 #s(literal 1 binary64)))
(approx %96 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %40 x) %316) x)) #s(literal 1 binary64)))
(approx %96 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %105 x)) %40) x)) %316) x)) #s(literal 1 binary64)))
(approx %120 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y %232) x)))
(approx %120 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %237 x) %231) x))) x)))
(approx %120 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %243 x) %237) x)) %231) x))) x)))
(approx %144 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %355 y) x)) #s(literal 1 binary64)))
(approx %144 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %219 %231) x)))) y) x)) #s(literal 1 binary64)))
(approx %144 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 %256 %237) x) %219) %231) x)))) y) x)) #s(literal 1 binary64)))
(approx %5 (+.f64 x %7))
(approx %27 %386)
(approx %27 (-.f64 %355 x))
(approx %34 %390)
(approx %34 (fma.f64 #s(literal -1 binary64) (*.f64 y %395) %390))
(approx %34 (fma.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y %402)) %395) %390))
(approx %34 (fma.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %409 (/.f64 #s(literal 1 binary64) %399)))) %402)) %395) %390))
(approx %90 %419)
(approx %96 (+.f64 %390 (/.f64 %123 %392)))
(approx %96 (fma.f64 y (-.f64 (/.f64 %123 %399) %425) %390))
(approx %96 (fma.f64 y (-.f64 (*.f64 y (-.f64 (/.f64 %123 %408) (*.f64 #s(literal -1 binary64) %400))) %425) %390))
(approx %120 (/.f64 y %419))
(approx %120 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 y %438) %440)))
(approx %120 (*.f64 y (fma.f64 y (-.f64 (/.f64 y %444) %446) %440)))
(approx %120 (*.f64 y (fma.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 y (pow.f64 %419 #s(literal 4 binary64))) %453)) %446) %440)))
(approx %144 (fma.f64 y (-.f64 %440 %425) %390))
(approx %144 (fma.f64 y (-.f64 (fma.f64 #s(literal -1 binary64) (*.f64 y %463) %440) %425) %390))
(approx %144 (fma.f64 y (-.f64 (fma.f64 y (-.f64 (*.f64 y (-.f64 %453 (*.f64 #s(literal -1 binary64) %409))) %463) %440) %425) %390))
(approx %5 (*.f64 y (-.f64 %477 #s(literal 1 binary64))))
(approx %11 (*.f64 y %481))
(approx %23 (*.f64 y (+.f64 %170 %484)))
(approx %27 (*.f64 y (-.f64 %488 %481)))
(approx %34 (-.f64 %493 %495))
(approx %34 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %477 %502)) %495))
(approx %34 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %477 (/.f64 (*.f64 %392 %499) %508))) (fma.f64 #s(literal -1 binary64) %502 %495)))
(approx %90 (*.f64 y (-.f64 %481 %488)))
(approx %96 %492)
(approx %96 (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %520)) y))
(approx %96 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %526)) %520) y))
(approx %96 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %532 %508))) (+.f64 %520 %526)) y))
(approx %120 (-.f64 (+.f64 #s(literal 1 binary64) %488) %477))
(approx %120 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %544 %488)) %477))
(approx %120 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %484 (/.f64 %549 %508))) (+.f64 %477 %544)))
(approx %144 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %477 %488)) %477))
(approx %144 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %477 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 x %386 %543) %501) %488))) %477))
(approx %144 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %477 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %549 %525) %508) %488))) (+.f64 %477 (+.f64 (/.f64 %519 %501) %544))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y %493)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %492 #s(literal 1 binary64)))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %495))))
(approx %34 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %589 y))))
(approx %34 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 %594 y)) #s(literal 2 binary64)) y))))
(approx %34 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %392 %589) y)) %594) y) %588) #s(literal 2 binary64)) y))))
(approx %90 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %614 #s(literal 1 binary64)))))
(approx %96 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x %520) y)))
(approx %96 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %525 y)) %519) y))) y)))
(approx %96 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %532 y) %633) y)) %519) y))) y)))
(approx %120 (+.f64 #s(literal 1 binary64) %614))
(approx %120 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %438 y)) %648) y))))
(approx %120 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %444 y)) (*.f64 #s(literal -1 binary64) %438)) y)) %648) y))))
(approx %144 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %543) %519) y) %588) #s(literal 2 binary64)) y))))
(approx %144 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) %543 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %549) %633) y))) %519) y) %588) #s(literal 2 binary64)) y))))
Calls
6 calls:
TimeVariablePoint
8.0ms
x
inf
7.0ms
y
0
7.0ms
y
-inf
6.0ms
x
0
6.0ms
y
inf
rewrite146.0ms (7.5%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
035221
054222
1234196
2940196
04333196
04791196
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
31 → 719
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%5 = (+ x y)
%6 = (approx %5 y)
%7 = (*.f64 #s(literal -1 binary64) x)
%9 = (/.f64 y x)
%10 = (+.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x %10)
%12 = (approx %5 %11)
%14 = (- 2 %5)
%15 = (approx %14 %7)
%17 = (/ (- x y) %14)
%19 = (-.f64 #s(literal 2 binary64) x)
%20 = (approx %14 %19)
%21 = (/.f64 x %19)
%24 = (+.f64 y x)
%25 = (-.f64 #s(literal 2 binary64) %24)
%26 = (-.f64 %24 #s(literal 2 binary64))
%27 = (/.f64 x %25)
%28 = (/.f64 y %26)
%32 = (-.f64 #s(literal 2 binary64) %12)
%34 = (-.f64 #s(literal 2 binary64) %6)
x
y
%2
#s(literal 2 binary64)
#s(literal -1 binary64)
%6
%7
#s(literal 1 binary64)
%9
%10
%11
%12
%15
(approx %17 #s(literal -1 binary64))
%19
%20
%21
(approx %17 %21)
(approx %17 #s(literal 1 binary64))
%24
%25
%26
%27
%28
(+.f64 %27 %28)
(/.f64 %2 %20)
(/.f64 %2 %15)
%32
(/.f64 %2 %32)
%34
(/.f64 %2 %34)
Outputs
%2 = (-.f64 x y)
%8 = (-.f64 y x)
%10 = (neg.f64 y)
%11 = (neg.f64 x)
%13 = (neg.f64 %10)
%16 = (neg.f64 %13)
%20 = (+ y x)
%21 = (approx %20 y)
%25 = (+.f64 x x)
%29 = (*.f64 x #s(literal -2 binary64))
%32 = (*.f64 #s(literal 1/2 binary64) x)
%37 = (neg.f64 %32)
%41 = (/.f64 #s(literal -1 binary64) x)
%43 = (/.f64 %10 #s(literal -2 binary64))
%44 = (/.f64 #s(literal 1 binary64) x)
%45 = (/.f64 %44 #s(literal 1/2 binary64))
%47 = (/.f64 y #s(literal -2 binary64))
%48 = (/.f64 %41 #s(literal 1/2 binary64))
%50 = (/.f64 y %25)
%52 = (/.f64 y #s(literal 2 binary64))
%53 = (/.f64 #s(literal 1 binary64) %32)
%55 = (/.f64 y #s(literal 1 binary64))
%58 = (*.f64 y #s(literal 1 binary64))
%60 = (/.f64 %10 x)
%64 = (/.f64 y x)
%72 = (*.f64 y #s(literal -1 binary64))
%94 = (+.f64 y x)
%95 = (/.f64 %94 x)
%97 = (/.f64 x #s(literal 1/2 binary64))
%100 = (/.f64 x %32)
%102 = (/.f64 %95 x)
%103 = (/.f64 x #s(literal 1 binary64))
%105 = (/.f64 %95 #s(literal 1 binary64))
%107 = (/.f64 x %25)
%110 = (/.f64 x #s(literal 2 binary64))
%114 = (neg.f64 %94)
%121 = (+.f64 #s(literal -1 binary64) %60)
%125 = (*.f64 x x)
%127 = (*.f64 %10 x)
%128 = (fma.f64 x %11 %127)
%129 = (*.f64 x %11)
%131 = (*.f64 #s(literal 2 binary64) x)
%138 = (*.f64 #s(literal 2 binary64) %11)
%140 = (*.f64 %11 #s(literal 2 binary64))
%165 = (*.f64 x %10)
%166 = (fma.f64 x %11 %165)
%186 = (*.f64 #s(literal 2 binary64) %13)
%192 = (*.f64 #s(literal 2 binary64) %10)
%195 = (*.f64 #s(literal 2 binary64) y)
%204 = (*.f64 x %94)
%209 = (*.f64 %94 x)
%231 = (neg.f64 %95)
%253 = (/.f64 %94 %25)
%254 = (*.f64 %253 %97)
%255 = (/.f64 %94 #s(literal 1 binary64))
%256 = (*.f64 %255 #s(literal 1 binary64))
%257 = (/.f64 %94 #s(literal 2 binary64))
%258 = (*.f64 %257 %100)
%259 = (/.f64 %94 #s(literal 1/2 binary64))
%260 = (*.f64 %107 %259)
%261 = (/.f64 %94 %32)
%262 = (*.f64 %110 %261)
%263 = (*.f64 %103 %95)
%264 = (*.f64 %204 %44)
%265 = (*.f64 %209 %44)
%266 = (*.f64 %95 %103)
%267 = (*.f64 %95 x)
%268 = (*.f64 #s(literal 1 binary64) %255)
%269 = (*.f64 x %95)
%270 = (pow.f64 %94 #s(literal 1 binary64))
%271 = (/.f64 %128 %11)
%272 = (/.f64 %166 %11)
%274 = (/.f64 (neg.f64 %204) %11)
%276 = (/.f64 (neg.f64 %209) %11)
%277 = (/.f64 %204 x)
%278 = (/.f64 %209 x)
%280 = (/.f64 #s(literal 1 binary64) (/.f64 x %204))
%282 = (/.f64 #s(literal 1 binary64) (/.f64 x %209))
%284 = (/.f64 #s(literal 1 binary64) (pow.f64 %94 #s(literal -1 binary64)))
%285 = (neg.f64 %114)
%286 = (/.f64 x #s(literal -1 binary64))
%287 = (fma.f64 %286 %60 x)
%289 = (fma.f64 %107 (/.f64 y #s(literal 1/2 binary64)) x)
%291 = (fma.f64 %110 (/.f64 y %32) x)
%292 = (fma.f64 %50 %97 x)
%293 = (fma.f64 %52 %100 x)
%294 = (fma.f64 %103 %64 x)
%295 = (fma.f64 %165 %41 x)
%296 = (fma.f64 %127 %41 x)
%297 = (fma.f64 %55 #s(literal 1 binary64) x)
%299 = (fma.f64 (*.f64 x y) %44 x)
%301 = (fma.f64 (*.f64 y x) %44 x)
%302 = (fma.f64 %60 %286 x)
%303 = (fma.f64 %64 %103 x)
%304 = (fma.f64 %64 x x)
%305 = (fma.f64 #s(literal 1 binary64) %55 x)
%306 = (fma.f64 y #s(literal 1 binary64) x)
%307 = (fma.f64 x %64 x)
%308 = (-.f64 %58 %11)
%309 = (-.f64 y %11)
%310 = (-.f64 x %16)
%311 = (-.f64 x %72)
%312 = (-.f64 x %10)
%313 = (+.f64 %13 x)
%314 = (+.f64 %58 x)
%315 = (+.f64 x %55)
%316 = (+.f64 x %13)
%317 = (+.f64 x %58)
%318 = (+.f64 x y)
%319 = (approx %20 %94)
%325 = (- (- 2 x) y)
%326 = (approx %325 %11)
%328 = (/.f64 #s(literal 1 binary64) %326)
%332 = (/ (- y x) (- %20 2))
%333 = (approx %332 #s(literal -1 binary64))
%337 = (-.f64 #s(literal 2 binary64) x)
%339 = (-.f64 #s(literal 1 binary64) %32)
%342 = (/.f64 #s(literal 1 binary64) %337)
%344 = (-.f64 x #s(literal 2 binary64))
%361 = (approx %325 %337)
%363 = (/.f64 #s(literal 1 binary64) %361)
%366 = (/.f64 #s(literal 1 binary64) %344)
%368 = (/.f64 x %344)
%371 = (/.f64 x %337)
%385 = (approx %332 %371)
%389 = (approx %332 #s(literal 1 binary64))
%393 = (-.f64 %337 y)
%399 = (/.f64 #s(literal 1 binary64) %393)
%401 = (-.f64 %94 #s(literal 2 binary64))
%403 = (-.f64 #s(literal 2 binary64) y)
%422 = (-.f64 %94 #s(literal 1 binary64))
%439 = (*.f64 %401 x)
%441 = (/.f64 #s(literal 1 binary64) %401)
%457 = (-.f64 %32 #s(literal 1 binary64))
%467 = (-.f64 y #s(literal 2 binary64))
%479 = (/.f64 x %401)
%482 = (/.f64 x %393)
%497 = (/.f64 y %401)
%514 = (/.f64 y %393)
%516 = (*.f64 %2 #s(literal 1 binary64))
%518 = (*.f64 %497 %401)
%519 = (-.f64 %518 x)
%521 = (fma.f64 %497 %393 x)
%524 = (-.f64 (*.f64 %482 %393) y)
%526 = (*.f64 %401 %8)
%527 = (*.f64 %401 %401)
%532 = (fma.f64 %482 %401 y)
%534 = (*.f64 %401 %2)
%535 = (*.f64 %401 %393)
%536 = (/.f64 #s(literal 1 binary64) %535)
%540 = (/.f64 %8 %401)
%542 = (*.f64 %482 %401)
%543 = (/.f64 %542 %401)
%552 = (*.f64 %393 x)
%553 = (/.f64 %552 %527)
%554 = (*.f64 %393 y)
%557 = (*.f64 %58 %401)
%560 = (*.f64 %13 %401)
%565 = (*.f64 %401 y)
%570 = (*.f64 %535 %535)
%589 = (*.f64 %401 %58)
%592 = (*.f64 %401 %13)
%609 = (*.f64 %393 %13)
%620 = (neg.f64 %516)
%658 = (/.f64 %401 %393)
%659 = (/.f64 %565 %527)
%661 = (/.f64 %401 %401)
%663 = (/.f64 %393 %393)
%665 = (/.f64 %393 %401)
%675 = (*.f64 %399 %10)
%717 = (/.f64 x %361)
%718 = (*.f64 %717 %361)
%719 = (-.f64 %718 y)
%721 = (*.f64 x %361)
%722 = (*.f64 %361 y)
%723 = (-.f64 %721 %722)
%724 = (*.f64 %361 %361)
%728 = (/.f64 #s(literal -1 binary64) %361)
%731 = (/.f64 %2 %361)
%733 = (neg.f64 %361)
%739 = (*.f64 %733 %361)
%744 = (*.f64 %733 %10)
%747 = (*.f64 %361 %10)
%770 = (neg.f64 %733)
%791 = (*.f64 %363 x)
%793 = (*.f64 %363 %10)
%796 = (/.f64 %10 %361)
%801 = (/.f64 y %361)
%818 = (/.f64 x %326)
%819 = (*.f64 %818 %326)
%820 = (-.f64 %819 y)
%822 = (*.f64 x %326)
%823 = (*.f64 %326 y)
%824 = (-.f64 %822 %823)
%825 = (*.f64 %326 %326)
%829 = (/.f64 #s(literal -1 binary64) %326)
%832 = (/.f64 %2 %326)
%834 = (neg.f64 %326)
%840 = (*.f64 %834 %326)
%845 = (*.f64 %834 %10)
%848 = (*.f64 %326 %10)
%871 = (neg.f64 %834)
%892 = (*.f64 %328 x)
%894 = (*.f64 %328 %10)
%897 = (/.f64 %10 %326)
%902 = (/.f64 y %326)
%918 = (-.f64 #s(literal 2 binary64) %319)
%920 = (/.f64 #s(literal 1 binary64) %918)
%924 = (-.f64 %319 #s(literal 2 binary64))
%926 = (neg.f64 %319)
%930 = (neg.f64 %926)
%939 = (/.f64 x %918)
%940 = (*.f64 %939 %918)
%941 = (-.f64 %940 y)
%943 = (*.f64 %924 y)
%944 = (fma.f64 x %918 %943)
%945 = (*.f64 %924 %924)
%949 = (/.f64 #s(literal 1 binary64) %924)
%952 = (/.f64 %2 %918)
%959 = (*.f64 %924 %918)
%964 = (*.f64 %924 %10)
%967 = (*.f64 %918 %10)
%1010 = (*.f64 %920 x)
%1012 = (*.f64 %920 %10)
%1015 = (/.f64 y %924)
%1020 = (/.f64 y %918)
%1034 = (-.f64 #s(literal 2 binary64) %21)
%1036 = (/.f64 #s(literal 1 binary64) %1034)
%1040 = (-.f64 %21 #s(literal 2 binary64))
%1042 = (neg.f64 %21)
%1046 = (neg.f64 %1042)
%1055 = (/.f64 x %1034)
%1056 = (*.f64 %1055 %1034)
%1057 = (-.f64 %1056 y)
%1059 = (*.f64 %1040 y)
%1060 = (fma.f64 x %1034 %1059)
%1061 = (*.f64 %1040 %1040)
%1065 = (/.f64 #s(literal 1 binary64) %1040)
%1068 = (/.f64 %2 %1034)
%1075 = (*.f64 %1040 %1034)
%1080 = (*.f64 %1040 %10)
%1083 = (*.f64 %1034 %10)
%1126 = (*.f64 %1036 x)
%1128 = (*.f64 %1036 %10)
%1131 = (/.f64 y %1040)
%1136 = (/.f64 y %1034)
x
y
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %8)
(-.f64 %10 %11)
(-.f64 x %13)
%2
(+.f64 %10 x)
(+.f64 x %16)
(+.f64 x %10)
#s(literal 2 binary64)
#s(literal -1 binary64)
(pow.f64 %21 #s(literal 1 binary64))
%21
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(*.f64 %25 #s(literal -1/2 binary64))
(*.f64 %29 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %32)
(*.f64 %11 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %11)
(*.f64 #s(literal -1 binary64) x)
(*.f64 #s(literal 2 binary64) %37)
(*.f64 x #s(literal -1 binary64))
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %41)
%11
#s(literal 1 binary64)
(*.f64 %43 %45)
(*.f64 %47 %48)
(*.f64 %50 #s(literal 2 binary64))
(*.f64 %52 %53)
(*.f64 %55 %44)
(*.f64 %13 %44)
(*.f64 %58 %44)
(*.f64 %60 #s(literal -1 binary64))
(*.f64 %44 y)
(*.f64 %10 %41)
(*.f64 %64 #s(literal 1 binary64))
(*.f64 y %44)
(pow.f64 %64 #s(literal 1 binary64))
(/.f64 (neg.f64 %55) %11)
(/.f64 %16 %11)
(/.f64 %55 x)
(/.f64 %72 %11)
(/.f64 %13 x)
(/.f64 %58 x)
(/.f64 %60 #s(literal -1 binary64))
(/.f64 %10 %11)
(/.f64 %64 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 x %58))
(/.f64 #s(literal 1 binary64) (/.f64 x %55))
(/.f64 #s(literal 1 binary64) (/.f64 x %13))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %64 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %11 %10))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
%64
(neg.f64 %60)
(*.f64 (/.f64 %95 %25) %97)
(*.f64 (/.f64 %95 #s(literal 2 binary64)) %100)
(*.f64 %102 %103)
(*.f64 %105 #s(literal 1 binary64))
(*.f64 %107 (/.f64 %95 #s(literal 1/2 binary64)))
(*.f64 %110 (/.f64 %95 %32))
(*.f64 %103 %102)
(*.f64 %114 %41)
(*.f64 %94 %44)
(*.f64 #s(literal 1 binary64) %105)
(pow.f64 %95 #s(literal 1 binary64))
(/.f64 (fma.f64 %64 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %121 #s(literal -1 binary64))
(/.f64 (fma.f64 x x (*.f64 %55 x)) %125)
(/.f64 %128 %129)
(/.f64 (fma.f64 %58 #s(literal 2 binary64) %131) %25)
(/.f64 (fma.f64 %55 #s(literal 2 binary64) %131) %25)
(/.f64 (fma.f64 %13 #s(literal 2 binary64) %131) %25)
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %138) %140)
(/.f64 (fma.f64 y #s(literal 2 binary64) %131) %25)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %58 #s(literal 2 binary64))) %131)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %55 #s(literal 2 binary64))) %131)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %13 #s(literal 2 binary64))) %131)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %60 #s(literal 2 binary64))) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %11 (*.f64 %10 #s(literal 2 binary64))) %138)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 y #s(literal 2 binary64))) %131)
(/.f64 (fma.f64 x x (*.f64 x %55)) %125)
(/.f64 %166 %129)
(/.f64 (fma.f64 %58 #s(literal 2 binary64) %25) %25)
(/.f64 (fma.f64 %55 #s(literal 2 binary64) %25) %25)
(/.f64 (fma.f64 %13 #s(literal 2 binary64) %25) %25)
(/.f64 (fma.f64 %60 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %140) %140)
(/.f64 (fma.f64 y #s(literal 2 binary64) %25) %25)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %58)) %131)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %55)) %131)
(/.f64 (fma.f64 #s(literal 2 binary64) x %186) %131)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %60)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %11 %192) %138)
(/.f64 (fma.f64 #s(literal 2 binary64) x %195) %131)
(/.f64 (-.f64 %138 %186) %138)
(/.f64 (-.f64 %131 %192) %131)
(/.f64 (-.f64 %138 %195) %138)
(/.f64 (*.f64 %204 #s(literal 1 binary64)) %125)
(/.f64 (*.f64 %204 #s(literal -1 binary64)) %129)
(/.f64 (*.f64 %209 #s(literal 1 binary64)) %125)
(/.f64 (*.f64 %209 #s(literal -1 binary64)) %129)
(/.f64 %204 %125)
(/.f64 %114 %11)
%95
(/.f64 #s(literal 1 binary64) (/.f64 %11 %114))
(/.f64 #s(literal 1 binary64) (pow.f64 %95 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %94))
(neg.f64 (*.f64 %114 %44))
(neg.f64 (/.f64 %94 %11))
(neg.f64 (/.f64 %114 x))
(neg.f64 (-.f64 #s(literal -1 binary64) %64))
(neg.f64 %121)
(neg.f64 %231)
(fma.f64 %43 %45 #s(literal 1 binary64))
(fma.f64 %47 %48 #s(literal 1 binary64))
(fma.f64 %50 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %52 %53 #s(literal 1 binary64))
(fma.f64 %55 %44 #s(literal 1 binary64))
(fma.f64 %13 %44 #s(literal 1 binary64))
(fma.f64 %58 %44 #s(literal 1 binary64))
(fma.f64 %60 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 %44 y #s(literal 1 binary64))
(fma.f64 %10 %41 #s(literal 1 binary64))
(fma.f64 %64 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 y %44 #s(literal 1 binary64))
(-.f64 %64 (/.f64 x %11))
(-.f64 %64 (/.f64 %11 x))
(-.f64 %64 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %60)
(+.f64 %64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %64)
%254
%256
%258
%260
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%274
%276
%277
%278
%280
%282
%284
%285
%287
%289
%291
%292
%293
%294
%295
%296
%297
%299
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%94
%315
%316
%317
%318
(pow.f64 %319 #s(literal 1 binary64))
%319
(/.f64 #s(literal 1 binary64) (pow.f64 %319 #s(literal -1 binary64)))
(pow.f64 %326 #s(literal 1 binary64))
%326
(/.f64 #s(literal 1 binary64) %328)
(pow.f64 %333 #s(literal 1 binary64))
%333
(/.f64 #s(literal 1 binary64) (pow.f64 %333 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %337)
(*.f64 #s(literal 2 binary64) %339)
(pow.f64 %337 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %342)
(neg.f64 %344)
(fma.f64 %25 #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 %29 #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) %32 #s(literal 2 binary64))
(fma.f64 %11 #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %11 #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) %37 #s(literal 2 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 2 binary64))
(-.f64 %11 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))
%337
(+.f64 %11 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))
(+.f64 #s(literal 2 binary64) %11)
(pow.f64 %361 #s(literal 1 binary64))
%361
(/.f64 #s(literal 1 binary64) %363)
(*.f64 %342 x)
(*.f64 %11 %366)
(*.f64 #s(literal -1 binary64) %368)
(*.f64 x %342)
(pow.f64 %371 #s(literal 1 binary64))
(/.f64 %11 %344)
(/.f64 #s(literal 1 binary64) (pow.f64 %371 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %344 %11))
(/.f64 #s(literal 1 binary64) (/.f64 %337 x))
%371
(neg.f64 (*.f64 %366 x))
(neg.f64 (*.f64 #s(literal 1 binary64) %368))
(neg.f64 %368)
(pow.f64 %385 #s(literal 1 binary64))
%385
(/.f64 #s(literal 1 binary64) (pow.f64 %385 #s(literal -1 binary64)))
(pow.f64 %389 #s(literal 1 binary64))
%389
(/.f64 #s(literal 1 binary64) (pow.f64 %389 #s(literal -1 binary64)))
%254
%256
%258
%260
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%274
%276
%277
%278
%280
%282
%284
%285
%287
%289
%291
%292
%293
%294
%295
%296
%297
%299
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%94
%315
%316
%317
%318
(pow.f64 %393 #s(literal 1 binary64))
(/.f64 (-.f64 %131 %204) x)
(/.f64 (-.f64 %131 %209) x)
(/.f64 #s(literal 1 binary64) %399)
(neg.f64 %401)
(fma.f64 %25 #s(literal -1/2 binary64) %403)
(fma.f64 %29 #s(literal 1/2 binary64) %403)
(fma.f64 %231 x #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) %32 %403)
(fma.f64 %11 %95 #s(literal 2 binary64))
(fma.f64 %11 #s(literal 1 binary64) %403)
(fma.f64 %95 %11 #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) %11 %403)
(fma.f64 #s(literal 1 binary64) %337 %10)
(fma.f64 #s(literal -1 binary64) x %403)
(fma.f64 #s(literal 2 binary64) %339 %10)
(fma.f64 #s(literal 2 binary64) %37 %403)
(fma.f64 x %231 #s(literal 2 binary64))
(fma.f64 x #s(literal -1 binary64) %403)
(-.f64 %403 x)
(-.f64 %114 #s(literal -2 binary64))
(-.f64 %10 %344)
(-.f64 %337 %13)
%393
(-.f64 #s(literal 1 binary64) %422)
(-.f64 #s(literal 2 binary64) %94)
(+.f64 %403 %11)
(+.f64 %114 #s(literal 2 binary64))
(+.f64 %10 %337)
(+.f64 %11 %403)
(+.f64 %337 %10)
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %94))
(+.f64 #s(literal 2 binary64) %114)
(pow.f64 %401 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %204) x)
(/.f64 (-.f64 (*.f64 %422 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %439 x)
(/.f64 #s(literal 1 binary64) %441)
(neg.f64 %393)
(fma.f64 %253 %97 #s(literal -2 binary64))
(fma.f64 %255 #s(literal 1 binary64) #s(literal -2 binary64))
(fma.f64 %257 %100 #s(literal -2 binary64))
(fma.f64 %107 %259 #s(literal -2 binary64))
(fma.f64 %110 %261 #s(literal -2 binary64))
(fma.f64 %103 %95 #s(literal -2 binary64))
(fma.f64 %204 %44 #s(literal -2 binary64))
(fma.f64 %209 %44 #s(literal -2 binary64))
(fma.f64 %95 %103 #s(literal -2 binary64))
(fma.f64 %95 x #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) %255 #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) %344 %13)
(fma.f64 #s(literal 1 binary64) %344 y)
(fma.f64 #s(literal 2 binary64) %457 %13)
(fma.f64 #s(literal 2 binary64) %457 y)
(fma.f64 x %95 #s(literal -2 binary64))
(-.f64 %422 #s(literal 1 binary64))
(-.f64 #s(literal -2 binary64) %114)
(-.f64 %344 %10)
%401
(-.f64 y %337)
(-.f64 x %403)
(+.f64 %422 #s(literal -1 binary64))
(+.f64 %467 x)
(+.f64 %13 %344)
(+.f64 #s(literal -2 binary64) %94)
(+.f64 %344 %13)
(+.f64 %344 y)
(+.f64 %94 #s(literal -2 binary64))
(+.f64 #s(literal -1 binary64) %422)
(+.f64 y %344)
(+.f64 x %467)
(*.f64 %399 x)
(*.f64 %11 %441)
(*.f64 #s(literal -1 binary64) %479)
(*.f64 x %399)
(pow.f64 %482 #s(literal 1 binary64))
(/.f64 %11 %401)
(/.f64 #s(literal 1 binary64) (pow.f64 %482 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %401 %11))
(/.f64 #s(literal 1 binary64) (/.f64 %393 x))
%482
(neg.f64 %479)
(*.f64 %13 %441)
(*.f64 %58 %441)
(*.f64 %441 y)
(*.f64 %10 %399)
(*.f64 y %441)
(pow.f64 %497 #s(literal 1 binary64))
(/.f64 %16 %393)
(/.f64 %72 %393)
(/.f64 %13 %401)
(/.f64 %58 %401)
(/.f64 %10 %393)
(/.f64 #s(literal 1 binary64) (/.f64 %401 %58))
(/.f64 #s(literal 1 binary64) (/.f64 %401 %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %497 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %10))
(/.f64 #s(literal 1 binary64) (/.f64 %401 y))
%497
(neg.f64 %514)
(*.f64 %516 %399)
(*.f64 %519 %441)
(*.f64 %521 %399)
(*.f64 %524 %399)
(*.f64 %526 (/.f64 #s(literal 1 binary64) %527))
(*.f64 %441 %8)
(*.f64 %399 %2)
(*.f64 %532 %441)
(*.f64 %534 %536)
(*.f64 %8 %441)
(*.f64 %2 %399)
(pow.f64 %540 #s(literal 1 binary64))
(/.f64 (fma.f64 %543 %401 %58) %401)
(/.f64 (fma.f64 %543 %401 %13) %401)
(/.f64 (fma.f64 %543 %393 %10) %393)
(/.f64 (fma.f64 %543 %401 y) %401)
(/.f64 (fma.f64 %553 %535 %554) %535)
(/.f64 (fma.f64 %542 %401 %557) %527)
(/.f64 (fma.f64 %542 %401 %560) %527)
(/.f64 (fma.f64 %542 %393 %554) %535)
(/.f64 (fma.f64 %542 %401 %565) %527)
(/.f64 (fma.f64 %439 %535 (*.f64 %554 %535)) %570)
(/.f64 (fma.f64 %58 %401 %552) %527)
(/.f64 (fma.f64 %13 %401 %552) %527)
(/.f64 (fma.f64 %393 x %557) %527)
(/.f64 (fma.f64 %393 x %560) %527)
(/.f64 (fma.f64 %401 x (*.f64 %58 %393)) %535)
(/.f64 (fma.f64 %479 %393 %58) %401)
(/.f64 (fma.f64 y #s(literal 1 binary64) %11) %401)
(/.f64 (+.f64 %11 %58) %401)
(/.f64 (fma.f64 %542 %401 %589) %527)
(/.f64 (fma.f64 %542 %401 %592) %527)
(/.f64 (fma.f64 %439 %535 (*.f64 %535 %554)) %570)
(/.f64 (fma.f64 %58 %393 %439) %535)
(/.f64 (fma.f64 %13 %393 %439) %535)
(/.f64 (fma.f64 %393 x %589) %527)
(/.f64 (fma.f64 %393 x %592) %527)
(/.f64 (fma.f64 %401 x (*.f64 %393 %58)) %535)
(/.f64 (fma.f64 %401 x %609) %535)
(/.f64 (-.f64 %439 %592) %535)
(/.f64 (-.f64 %552 %609) %527)
(/.f64 (neg.f64 %519) %393)
(/.f64 (neg.f64 %521) %401)
(/.f64 %620 %401)
(/.f64 %516 %393)
(/.f64 %519 %401)
(/.f64 %521 %393)
(/.f64 %524 %393)
(/.f64 %526 %527)
(/.f64 %532 %401)
(/.f64 %534 %535)
%540
(/.f64 #s(literal 1 binary64) (/.f64 %393 %516))
(/.f64 #s(literal 1 binary64) (/.f64 %401 %519))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %521))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %524))
(/.f64 #s(literal 1 binary64) (/.f64 %527 %526))
(/.f64 #s(literal 1 binary64) (pow.f64 %540 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %401 %8))
(/.f64 #s(literal 1 binary64) (/.f64 %401 %532))
(/.f64 #s(literal 1 binary64) (/.f64 %535 %534))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %2))
(/.f64 %2 %393)
(neg.f64 (/.f64 %516 %401))
(neg.f64 (/.f64 %519 %393))
(neg.f64 (/.f64 %521 %401))
(neg.f64 (/.f64 %8 %393))
(fma.f64 %658 %479 %659)
(fma.f64 %661 %482 %659)
(fma.f64 %663 %497 %553)
(fma.f64 %665 %514 %553)
(fma.f64 %479 %658 %659)
(fma.f64 %13 %441 %543)
(fma.f64 %13 %441 %482)
(fma.f64 %58 %441 %543)
(fma.f64 %58 %441 %482)
(fma.f64 %441 y %543)
(fma.f64 %441 y %482)
(fma.f64 %399 %10 %482)
(fma.f64 %399 x %675)
(fma.f64 %399 x %497)
(fma.f64 %542 %441 %497)
(fma.f64 %554 %536 %553)
(fma.f64 %514 %665 %553)
(fma.f64 %439 %536 %659)
(fma.f64 %10 %399 %543)
(fma.f64 %10 %399 %482)
(fma.f64 %11 %441 %675)
(fma.f64 %11 %441 %497)
(fma.f64 %497 %663 %553)
(fma.f64 %482 %661 %659)
(fma.f64 #s(literal -1 binary64) %479 %675)
(fma.f64 #s(literal -1 binary64) %479 %497)
(fma.f64 y %441 %543)
(fma.f64 y %441 %482)
(fma.f64 x %399 %675)
(fma.f64 x %399 %497)
(-.f64 %543 %514)
(-.f64 %553 (neg.f64 %659))
(-.f64 %553 (/.f64 %554 %527))
(-.f64 %553 (/.f64 %565 %535))
(-.f64 %497 %479)
(-.f64 %482 %514)
(+.f64 %675 %482)
(+.f64 (/.f64 %518 %401) %482)
(+.f64 (/.f64 (*.f64 %497 %393) %393) %482)
(+.f64 %543 %497)
(+.f64 %659 %553)
(+.f64 %553 %659)
(+.f64 %497 %543)
(+.f64 %497 %482)
(+.f64 %482 %675)
(+.f64 %482 %497)
(*.f64 %516 %363)
(*.f64 %719 %363)
(*.f64 %723 (/.f64 #s(literal 1 binary64) %724))
(*.f64 %363 %2)
(*.f64 %8 %728)
(*.f64 %2 %363)
(pow.f64 %731 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %717 %733) %10) %733)
(/.f64 (fma.f64 %11 %361 (*.f64 %10 %733)) %739)
(/.f64 (fma.f64 x %361 (*.f64 %10 %361)) %724)
(/.f64 (fma.f64 %11 %361 %744) %739)
(/.f64 (fma.f64 x %361 %747) %724)
(/.f64 (-.f64 (*.f64 %11 %733) %744) %724)
(/.f64 (-.f64 (*.f64 %11 %361) (*.f64 %733 y)) %739)
(/.f64 (-.f64 (*.f64 x %733) %747) (*.f64 %361 %733))
(/.f64 (neg.f64 %719) %733)
(/.f64 (neg.f64 %723) (neg.f64 %724))
(/.f64 %620 %733)
(/.f64 %516 %361)
(/.f64 %719 %361)
(/.f64 %723 %724)
(/.f64 %8 (neg.f64 %770))
(/.f64 %8 %733)
(/.f64 #s(literal 1 binary64) (/.f64 %361 %516))
(/.f64 #s(literal 1 binary64) (/.f64 %361 %719))
(/.f64 #s(literal 1 binary64) (/.f64 %724 %723))
(/.f64 #s(literal 1 binary64) (/.f64 %770 %2))
(/.f64 #s(literal 1 binary64) (pow.f64 %731 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %733 %8))
(/.f64 #s(literal 1 binary64) (/.f64 %361 %2))
(/.f64 %2 %770)
%731
(neg.f64 (/.f64 %8 %361))
(fma.f64 %363 %10 %791)
(fma.f64 %363 x %793)
(fma.f64 %10 %363 %717)
(fma.f64 %11 %728 %796)
(fma.f64 y %728 %717)
(fma.f64 x %363 %796)
(-.f64 (/.f64 %718 %361) %801)
(-.f64 (/.f64 %721 %724) (/.f64 %722 %724))
(-.f64 %796 (/.f64 x %733))
(-.f64 %717 (/.f64 y %770))
(-.f64 %717 (/.f64 %13 %361))
(-.f64 %717 %801)
(+.f64 %793 %791)
(+.f64 %791 %793)
(+.f64 %796 %717)
(+.f64 %717 %796)
(*.f64 %516 %328)
(*.f64 %820 %328)
(*.f64 %824 (/.f64 #s(literal 1 binary64) %825))
(*.f64 %328 %2)
(*.f64 %8 %829)
(*.f64 %2 %328)
(pow.f64 %832 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %818 %834) %10) %834)
(/.f64 (fma.f64 %11 %326 (*.f64 %10 %834)) %840)
(/.f64 (fma.f64 x %326 (*.f64 %10 %326)) %825)
(/.f64 (fma.f64 %11 %326 %845) %840)
(/.f64 (fma.f64 x %326 %848) %825)
(/.f64 (-.f64 (*.f64 %11 %834) %845) %825)
(/.f64 (-.f64 (*.f64 %11 %326) (*.f64 %834 y)) %840)
(/.f64 (-.f64 (*.f64 x %834) %848) (*.f64 %326 %834))
(/.f64 (neg.f64 %820) %834)
(/.f64 (neg.f64 %824) (neg.f64 %825))
(/.f64 %620 %834)
(/.f64 %516 %326)
(/.f64 %820 %326)
(/.f64 %824 %825)
(/.f64 %8 (neg.f64 %871))
(/.f64 %8 %834)
(/.f64 #s(literal 1 binary64) (/.f64 %326 %516))
(/.f64 #s(literal 1 binary64) (/.f64 %326 %820))
(/.f64 #s(literal 1 binary64) (/.f64 %825 %824))
(/.f64 #s(literal 1 binary64) (/.f64 %871 %2))
(/.f64 #s(literal 1 binary64) (pow.f64 %832 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %834 %8))
(/.f64 #s(literal 1 binary64) (/.f64 %326 %2))
(/.f64 %2 %871)
%832
(neg.f64 (/.f64 %8 %326))
(fma.f64 %328 %10 %892)
(fma.f64 %328 x %894)
(fma.f64 %10 %328 %818)
(fma.f64 %11 %829 %897)
(fma.f64 y %829 %818)
(fma.f64 x %328 %897)
(-.f64 (/.f64 %819 %326) %902)
(-.f64 (/.f64 %822 %825) (/.f64 %823 %825))
(-.f64 %897 (/.f64 x %834))
(-.f64 %818 (/.f64 y %871))
(-.f64 %818 (/.f64 %13 %326))
(-.f64 %818 %902)
(+.f64 %894 %892)
(+.f64 %892 %894)
(+.f64 %897 %818)
(+.f64 %818 %897)
(pow.f64 %918 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %920)
(neg.f64 (+.f64 #s(literal -2 binary64) %319))
(neg.f64 %924)
(-.f64 %926 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 %319 #s(literal 1 binary64)))
(-.f64 #s(literal 2 binary64) %930)
%918
(+.f64 %926 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %319))
(+.f64 #s(literal 2 binary64) (neg.f64 %930))
(+.f64 #s(literal 2 binary64) %926)
(*.f64 %516 %920)
(*.f64 %941 %920)
(*.f64 %944 (/.f64 #s(literal 1 binary64) %945))
(*.f64 %920 %2)
(*.f64 %8 %949)
(*.f64 %2 %920)
(pow.f64 %952 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %939 %924) %10) %924)
(/.f64 (fma.f64 %11 %918 (*.f64 %10 %924)) %959)
(/.f64 (fma.f64 x %918 (*.f64 %10 %918)) %945)
(/.f64 (fma.f64 %11 %918 %964) %959)
(/.f64 (fma.f64 x %918 %967) %945)
(/.f64 (-.f64 (*.f64 %11 %924) %964) %945)
(/.f64 (-.f64 (*.f64 %11 %918) %943) %959)
(/.f64 (-.f64 (*.f64 x %924) %967) (*.f64 %918 %924))
(/.f64 %620 %924)
(/.f64 (neg.f64 %941) %924)
(/.f64 (neg.f64 %944) (neg.f64 %945))
(/.f64 %516 %918)
(/.f64 %941 %918)
(/.f64 %944 %945)
(/.f64 %8 %924)
(/.f64 #s(literal 1 binary64) (/.f64 %918 %516))
(/.f64 #s(literal 1 binary64) (/.f64 %918 %941))
(/.f64 #s(literal 1 binary64) (/.f64 %945 %944))
(/.f64 #s(literal 1 binary64) (pow.f64 %952 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %924 %8))
(/.f64 #s(literal 1 binary64) (/.f64 %918 %2))
%952
(neg.f64 (*.f64 %949 %2))
(neg.f64 (/.f64 %516 %924))
(neg.f64 (/.f64 %941 %924))
(neg.f64 (/.f64 %8 %918))
(fma.f64 %920 %10 %1010)
(fma.f64 %920 x %1012)
(fma.f64 %10 %920 %939)
(fma.f64 %11 %949 %1015)
(fma.f64 y %949 %939)
(fma.f64 x %920 %1015)
(-.f64 (/.f64 %940 %918) %1020)
(-.f64 (/.f64 (*.f64 x %918) %945) (/.f64 (*.f64 %918 y) %945))
(-.f64 %1015 (/.f64 x %924))
(-.f64 %939 %1020)
(+.f64 %1012 %1010)
(+.f64 %1010 %1012)
(+.f64 %1015 %939)
(+.f64 %939 %1015)
(pow.f64 %1034 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %1036)
(neg.f64 (+.f64 #s(literal -2 binary64) %21))
(neg.f64 %1040)
(-.f64 %1042 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 %21 #s(literal 1 binary64)))
(-.f64 #s(literal 2 binary64) %1046)
%1034
(+.f64 %1042 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %21))
(+.f64 #s(literal 2 binary64) (neg.f64 %1046))
(+.f64 #s(literal 2 binary64) %1042)
(*.f64 %516 %1036)
(*.f64 %1057 %1036)
(*.f64 %1060 (/.f64 #s(literal 1 binary64) %1061))
(*.f64 %1036 %2)
(*.f64 %8 %1065)
(*.f64 %2 %1036)
(pow.f64 %1068 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %1055 %1040) %10) %1040)
(/.f64 (fma.f64 %11 %1034 (*.f64 %10 %1040)) %1075)
(/.f64 (fma.f64 x %1034 (*.f64 %10 %1034)) %1061)
(/.f64 (fma.f64 %11 %1034 %1080) %1075)
(/.f64 (fma.f64 x %1034 %1083) %1061)
(/.f64 (-.f64 (*.f64 %11 %1040) %1080) %1061)
(/.f64 (-.f64 (*.f64 %11 %1034) %1059) %1075)
(/.f64 (-.f64 (*.f64 x %1040) %1083) (*.f64 %1034 %1040))
(/.f64 (neg.f64 %1057) %1040)
(/.f64 (neg.f64 %1060) (neg.f64 %1061))
(/.f64 %620 %1040)
(/.f64 %516 %1034)
(/.f64 %1057 %1034)
(/.f64 %1060 %1061)
(/.f64 %8 %1040)
(/.f64 #s(literal 1 binary64) (/.f64 %1034 %516))
(/.f64 #s(literal 1 binary64) (/.f64 %1034 %1057))
(/.f64 #s(literal 1 binary64) (/.f64 %1061 %1060))
(/.f64 #s(literal 1 binary64) (pow.f64 %1068 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %1040 %8))
(/.f64 #s(literal 1 binary64) (/.f64 %1034 %2))
%1068
(neg.f64 (*.f64 %1065 %2))
(neg.f64 (/.f64 %516 %1040))
(neg.f64 (/.f64 %1057 %1040))
(neg.f64 (/.f64 %8 %1034))
(fma.f64 %1036 %10 %1126)
(fma.f64 %1036 x %1128)
(fma.f64 %10 %1036 %1055)
(fma.f64 %11 %1065 %1131)
(fma.f64 y %1065 %1055)
(fma.f64 x %1036 %1131)
(-.f64 (/.f64 %1056 %1034) %1136)
(-.f64 (/.f64 (*.f64 x %1034) %1061) (/.f64 (*.f64 %1034 y) %1061))
(-.f64 %1131 (/.f64 x %1040))
(-.f64 %1055 %1136)
(+.f64 %1128 %1126)
(+.f64 %1126 %1128)
(+.f64 %1131 %1055)
(+.f64 %1055 %1131)
reconstruct122.0ms (6.3%)
Counts
843 → 278
Compiler
Compiled 843 to 1 657 computations (-96.6% saved)
eval64.0ms (3.3%)
Compiler
Compiled 289 to 1 111 computations (-284.4% saved)
prune10.0ms (0.5%)
Pruning
10 alts after pruning (3 fresh and 7 done)
PrunedKeptTotal
New2863289
Fresh000
Picked268
Done011
Total28810298
Accuracy
100.0%
Counts
298 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
✓90.5%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))))
✓59.1%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) y)))
▶42.1%
(/.f64 (-.f64 x y) (approx (- (- 2 x) y) (neg.f64 x)))
▶24.0%
(/.f64 (-.f64 x y) (approx (- 2 (+ x y)) (approx (- 2 x) #s(literal 2 binary64))))
✓100.0%
%21 = (+.f64 y x)
(+.f64 (/.f64 x (-.f64 #s(literal 2 binary64) %21)) (/.f64 y (-.f64 %21 #s(literal 2 binary64))))
✓53.3%
(approx (/ (- x y) (- 2 (+ x y))) (/.f64 x (-.f64 #s(literal 2 binary64) x)))
▶13.7%
(approx (/ (- x y) (- 2 (+ x y))) (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) x)))
✓36.8%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal 1 binary64))
✓41.7%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Compiler
Compiled 10 to 29 computations (-190.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series27.0ms (1.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02761190
Stop Event
1×iter-limit
Counts
14 → 52
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%5 = (neg.f64 x)
%7 = (- 2 x)
%8 = (approx %7 #s(literal 2 binary64))
%9 = (*.f64 #s(literal 1/2 binary64) x)
%11 = (approx (/ x %7) %9)
%13 = (approx (- %7 y) %5)
%16 = (- 2 (+ x y))
%17 = (approx %16 %8)
x
y
%2
#s(literal 2 binary64)
#s(literal 1/2 binary64)
%5
%8
%9
%11
%13
(/.f64 %2 %13)
%17
(/.f64 %2 %17)
(approx (/ (- x y) %16) %11)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%12 = (*.f64 #s(literal -1 binary64) x)
%15 = (- 2 x)
%18 = (+.f64 #s(literal 2 binary64) %12)
%25 = (/ x %15)
%47 = (- %15 y)
%48 = (-.f64 #s(literal 2 binary64) y)
%52 = (/ %5 %47)
%53 = (/.f64 y %48)
%57 = (/.f64 #s(literal 1 binary64) %48)
%58 = (pow.f64 %48 #s(literal 2 binary64))
%59 = (/.f64 y %58)
%60 = (-.f64 %57 %59)
%61 = (*.f64 x %60)
%79 = (/.f64 y x)
%84 = (/.f64 #s(literal 1 binary64) x)
%85 = (*.f64 #s(literal 2 binary64) %84)
%90 = (+.f64 #s(literal 1 binary64) %85)
%103 = (pow.f64 x #s(literal 2 binary64))
%116 = (-.f64 (*.f64 #s(literal 2 binary64) y) #s(literal 2 binary64))
%117 = (*.f64 %48 %116)
%118 = (/.f64 %117 %103)
%122 = (*.f64 %58 %116)
%171 = (-.f64 #s(literal 2 binary64) x)
%176 = (/.f64 x %171)
%178 = (pow.f64 %171 #s(literal 2 binary64))
%181 = (fma.f64 #s(literal -1 binary64) (/.f64 x %178) (/.f64 #s(literal 1 binary64) %171))
%185 = (pow.f64 %171 #s(literal 3 binary64))
%188 = (fma.f64 #s(literal -1 binary64) (/.f64 x %185) (/.f64 #s(literal 1 binary64) %178))
%205 = (/.f64 x y)
%217 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %205))
%219 = (*.f64 #s(literal -1 binary64) (/.f64 %171 y))
%223 = (-.f64 %12 (*.f64 #s(literal -1 binary64) %171))
%226 = (/.f64 (*.f64 %171 %223) (pow.f64 y #s(literal 2 binary64)))
%246 = (*.f64 #s(literal 2 binary64) x)
%247 = (-.f64 %246 #s(literal 2 binary64))
%252 = (*.f64 %171 %247)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx (neg x) %12)
(approx %15 #s(literal 2 binary64))
(approx %15 %18)
(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
(approx %25 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/4 binary64) x))))
(approx %25 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/8 binary64) x))))))
(approx %25 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 x (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) x))))))))
(approx %47 %48)
(approx %47 (-.f64 %18 y))
(approx %52 (*.f64 #s(literal -1 binary64) %53))
(approx %52 (fma.f64 #s(literal -1 binary64) %53 %61))
(approx %52 (fma.f64 #s(literal -1 binary64) %53 (*.f64 x (-.f64 (+.f64 %57 (/.f64 %61 %48)) %59))))
(approx %52 (fma.f64 #s(literal -1 binary64) %53 (*.f64 x (-.f64 (fma.f64 x (-.f64 (/.f64 %61 %58) (*.f64 #s(literal -1 binary64) (/.f64 %60 %48))) %57) %59))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %79))))
(approx %15 (*.f64 x (-.f64 %85 #s(literal 1 binary64))))
(approx %25 #s(literal -1 binary64))
(approx %25 (*.f64 #s(literal -1 binary64) %90))
(approx %25 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %84)) x)) #s(literal 1 binary64)))
(approx %25 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 8 binary64) %84)) %103)) %90))
(approx %47 (*.f64 x (-.f64 %85 (+.f64 #s(literal 1 binary64) %79))))
(approx %52 (-.f64 (*.f64 #s(literal 2 binary64) %79) %90))
(approx %52 (-.f64 (fma.f64 #s(literal 2 binary64) %79 %118) %90))
(approx %52 (-.f64 (fma.f64 #s(literal 2 binary64) %79 (/.f64 %122 (pow.f64 x #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %118 %85))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %79 #s(literal 1 binary64)))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %85))))
(approx %25 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 4 binary64) %84 (/.f64 #s(literal 8 binary64) %103))) x)) #s(literal 1 binary64)))
(approx %47 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %48 x))))))
(approx %52 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %116 (*.f64 #s(literal -1 binary64) (/.f64 %117 x))) x)) #s(literal 1 binary64)))
(approx %52 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %116 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 %48 %116 (/.f64 %122 x)) x))) x)) #s(literal 1 binary64)))
(approx y y)
(approx %5 (+.f64 x %7))
(approx %47 %171)
(approx %47 (-.f64 (+.f64 #s(literal 2 binary64) %7) x))
(approx %52 %176)
(approx %52 (fma.f64 #s(literal -1 binary64) (*.f64 y %181) %176))
(approx %52 (fma.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y %188)) %181) %176))
(approx %52 (fma.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 %171 #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %185)))) %188)) %181) %176))
(approx %5 (*.f64 y (-.f64 %205 #s(literal 1 binary64))))
(approx %47 (*.f64 y (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) y)) (+.f64 #s(literal 1 binary64) %205))))
(approx %52 #s(literal 1 binary64))
(approx %52 (-.f64 %217 %219))
(approx %52 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %205 %226)) %219))
(approx %52 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %205 (/.f64 (*.f64 %178 %223) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) %226 %219)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y %217)))
(approx %47 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %219))))
(approx %52 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %247 y))))
(approx %52 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 %252 y)) #s(literal 2 binary64)) y))))
(approx %52 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %178 %247) y)) %252) y) %246) #s(literal 2 binary64)) y))))
Calls
6 calls:
TimeVariablePoint
3.0ms
x
inf
3.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
0
rewrite164.0ms (8.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02191
02691
110191
235991
3129691
0404191
0456091
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
14 → 427
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%5 = (neg.f64 x)
%7 = (- 2 x)
%8 = (approx %7 #s(literal 2 binary64))
%9 = (*.f64 #s(literal 1/2 binary64) x)
%11 = (approx (/ x %7) %9)
%13 = (approx (- %7 y) %5)
%16 = (- 2 (+ x y))
%17 = (approx %16 %8)
x
y
%2
#s(literal 2 binary64)
#s(literal 1/2 binary64)
%5
%8
%9
%11
%13
(/.f64 %2 %13)
%17
(/.f64 %2 %17)
(approx (/ (- x y) %16) %11)
Outputs
%2 = (-.f64 x y)
%14 = (-.f64 y x)
%15 = (*.f64 %14 #s(literal 1 binary64))
%18 = (neg.f64 y)
%19 = (neg.f64 x)
%27 = (- 2 x)
%28 = (approx %27 #s(literal 2 binary64))
%32 = (*.f64 #s(literal 1/2 binary64) x)
%38 = (approx (/ x %27) %32)
%42 = (- %27 y)
%43 = (approx %42 %19)
%45 = (/.f64 #s(literal 1 binary64) %43)
%47 = (neg.f64 %43)
%49 = (*.f64 %2 #s(literal -1 binary64))
%50 = (/.f64 #s(literal -1 binary64) %43)
%52 = (*.f64 #s(literal -1 binary64) %2)
%54 = (*.f64 %43 y)
%56 = (-.f64 x (/.f64 %54 %43))
%59 = (*.f64 %43 x)
%60 = (-.f64 %54 %59)
%61 = (*.f64 %43 %43)
%62 = (neg.f64 %61)
%65 = (/.f64 x %43)
%66 = (fma.f64 %65 %47 y)
%68 = (*.f64 %18 %47)
%69 = (fma.f64 %19 %43 %68)
%70 = (*.f64 %47 %43)
%71 = (/.f64 #s(literal 1 binary64) %70)
%73 = (*.f64 %18 %43)
%74 = (fma.f64 %43 x %73)
%75 = (/.f64 #s(literal 1 binary64) %61)
%77 = (*.f64 %47 %18)
%78 = (fma.f64 %19 %43 %77)
%80 = (*.f64 %43 %18)
%81 = (fma.f64 %43 x %80)
%83 = (*.f64 %19 %47)
%84 = (-.f64 %83 %77)
%86 = (*.f64 %19 %43)
%87 = (*.f64 %47 y)
%88 = (-.f64 %86 %87)
%90 = (*.f64 x %47)
%91 = (-.f64 %90 %80)
%92 = (*.f64 %43 %47)
%96 = (-.f64 %59 %54)
%100 = (/.f64 %2 %43)
%104 = (*.f64 %45 %18)
%105 = (*.f64 x #s(literal -1 binary64))
%112 = (/.f64 %18 %43)
%119 = (/.f64 %59 %61)
%126 = (*.f64 %65 %47)
%127 = (*.f64 y #s(literal -1 binary64))
%130 = (*.f64 %105 %43)
%135 = (*.f64 %105 %47)
%144 = (*.f64 y %47)
%149 = (+.f64 y %105)
%151 = (fma.f64 x #s(literal -1 binary64) y)
%153 = (-.f64 %105 %127)
%155 = (-.f64 %19 %127)
%157 = (*.f64 y #s(literal 1 binary64))
%158 = (-.f64 x %157)
%160 = (-.f64 %105 %18)
%176 = (*.f64 %47 x)
%196 = (*.f64 %47 %127)
%199 = (*.f64 %47 %157)
%217 = (*.f64 #s(literal 2 binary64) %43)
%220 = (*.f64 #s(literal 2 binary64) %47)
%223 = (*.f64 #s(literal 2 binary64) %70)
%226 = (*.f64 #s(literal 2 binary64) %61)
%244 = (*.f64 #s(literal 2 binary64) %49)
%246 = (*.f64 #s(literal 2 binary64) %52)
%248 = (*.f64 #s(literal 2 binary64) %15)
%250 = (*.f64 #s(literal 2 binary64) %14)
%252 = (*.f64 #s(literal 2 binary64) %2)
%259 = (neg.f64 %70)
%274 = (neg.f64 %49)
%276 = (neg.f64 %52)
%331 = (fabs.f64 %43)
%332 = (/.f64 %43 %331)
%333 = (/.f64 x %331)
%334 = (/.f64 %54 %61)
%335 = (neg.f64 %334)
%337 = (/.f64 %73 %61)
%339 = (/.f64 %80 %61)
%342 = (/.f64 (neg.f64 %54) %61)
%344 = (/.f64 %87 %61)
%351 = (/.f64 %43 %47)
%352 = (/.f64 %19 %43)
%358 = (/.f64 %43 %43)
%391 = (/.f64 y %43)
%399 = (/.f64 %86 %70)
%402 = (neg.f64 %65)
%424 = (approx %42 %28)
%426 = (/.f64 #s(literal 1 binary64) %424)
%428 = (neg.f64 %424)
%430 = (/.f64 #s(literal -1 binary64) %424)
%433 = (*.f64 %424 y)
%435 = (-.f64 x (/.f64 %433 %424))
%438 = (*.f64 %424 x)
%439 = (-.f64 %433 %438)
%440 = (*.f64 %424 %424)
%441 = (neg.f64 %440)
%444 = (/.f64 x %424)
%445 = (fma.f64 %444 %428 y)
%447 = (*.f64 %18 %428)
%448 = (fma.f64 %19 %424 %447)
%449 = (*.f64 %428 %424)
%450 = (/.f64 #s(literal 1 binary64) %449)
%452 = (*.f64 %18 %424)
%453 = (fma.f64 %424 x %452)
%454 = (/.f64 #s(literal 1 binary64) %440)
%456 = (*.f64 %428 %18)
%457 = (fma.f64 %19 %424 %456)
%459 = (*.f64 %424 %18)
%460 = (fma.f64 %424 x %459)
%462 = (*.f64 %19 %428)
%463 = (-.f64 %462 %456)
%465 = (*.f64 %19 %424)
%466 = (*.f64 %428 y)
%467 = (-.f64 %465 %466)
%469 = (*.f64 x %428)
%470 = (-.f64 %469 %459)
%471 = (*.f64 %424 %428)
%475 = (-.f64 %438 %433)
%479 = (/.f64 %2 %424)
%483 = (*.f64 %426 %18)
%490 = (/.f64 %18 %424)
%497 = (/.f64 %438 %440)
%504 = (*.f64 %444 %428)
%507 = (*.f64 %105 %424)
%512 = (*.f64 %105 %428)
%521 = (*.f64 y %428)
%546 = (*.f64 %428 x)
%566 = (*.f64 %428 %127)
%569 = (*.f64 %428 %157)
%587 = (*.f64 #s(literal 2 binary64) %424)
%590 = (*.f64 #s(literal 2 binary64) %428)
%593 = (*.f64 #s(literal 2 binary64) %449)
%596 = (*.f64 #s(literal 2 binary64) %440)
%624 = (neg.f64 %449)
%694 = (fabs.f64 %424)
%695 = (/.f64 %424 %694)
%696 = (/.f64 x %694)
%697 = (/.f64 %433 %440)
%698 = (neg.f64 %697)
%700 = (/.f64 %452 %440)
%702 = (/.f64 %459 %440)
%705 = (/.f64 (neg.f64 %433) %440)
%707 = (/.f64 %466 %440)
%714 = (/.f64 %424 %428)
%715 = (/.f64 %19 %424)
%721 = (/.f64 %424 %424)
%754 = (/.f64 y %424)
%762 = (/.f64 %465 %449)
%765 = (neg.f64 %444)
%789 = (approx (/ (- x y) %42) %38)
x
y
(*.f64 (*.f64 %2 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %15)
(neg.f64 %14)
(-.f64 %18 %19)
%2
(+.f64 %18 x)
(+.f64 x %18)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
%19
(pow.f64 %28 #s(literal 1 binary64))
%28
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
%32
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %32 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %32 #s(literal -1 binary64)))
(pow.f64 %38 #s(literal 1 binary64))
%38
(/.f64 #s(literal 1 binary64) (pow.f64 %38 #s(literal -1 binary64)))
(pow.f64 %43 #s(literal 1 binary64))
%43
(/.f64 #s(literal 1 binary64) %45)
(neg.f64 %47)
(*.f64 %49 %50)
(*.f64 %52 %50)
(*.f64 %56 %45)
(*.f64 %15 %50)
(*.f64 %60 (/.f64 #s(literal 1 binary64) %62))
(*.f64 %66 %50)
(*.f64 %69 %71)
(*.f64 %74 %75)
(*.f64 %78 %71)
(*.f64 %81 %75)
(*.f64 %84 %75)
(*.f64 %88 %71)
(*.f64 %91 (/.f64 #s(literal 1 binary64) %92))
(*.f64 %50 %14)
(*.f64 %96 %75)
(*.f64 %45 %2)
(*.f64 %14 %50)
(*.f64 #s(literal 1 binary64) %100)
(*.f64 %2 %45)
(pow.f64 %100 #s(literal 1 binary64))
(/.f64 (fma.f64 %104 %47 %105) %47)
(/.f64 (fma.f64 %104 %47 %19) %47)
(/.f64 (fma.f64 %104 %43 x) %43)
(/.f64 (fma.f64 %112 %47 %105) %47)
(/.f64 (fma.f64 %112 %47 %19) %47)
(/.f64 (fma.f64 %112 %43 x) %43)
(/.f64 (-.f64 (*.f64 %119 %61) %54) %61)
(/.f64 (-.f64 (*.f64 %112 %47) x) %47)
(/.f64 (-.f64 %126 %127) %47)
(/.f64 (fma.f64 %18 %47 %130) %92)
(/.f64 (fma.f64 %18 %47 %86) %92)
(/.f64 (fma.f64 y %47 %135) %61)
(/.f64 (fma.f64 y %47 %83) %61)
(/.f64 (fma.f64 %43 y %90) %70)
(/.f64 (fma.f64 %105 %43 %68) %70)
(/.f64 (fma.f64 %105 %47 %144) %61)
(/.f64 (fma.f64 %19 %47 %144) %61)
(/.f64 %149 %47)
(/.f64 %151 %47)
(/.f64 %153 %47)
(/.f64 %155 %47)
(/.f64 %158 %43)
(/.f64 %160 %47)
(/.f64 (fma.f64 %18 %47 (*.f64 %43 %105)) %92)
(/.f64 (fma.f64 %18 %47 (*.f64 %43 %19)) %92)
(/.f64 (fma.f64 %18 %43 %59) %61)
(/.f64 (fma.f64 y %47 (*.f64 %47 %105)) %61)
(/.f64 (fma.f64 y %47 (*.f64 %47 %19)) %61)
(/.f64 (fma.f64 %43 y %176) %70)
(/.f64 (fma.f64 %105 %43 %77) %70)
(/.f64 (fma.f64 %105 %47 %87) %61)
(/.f64 (fma.f64 %19 %47 %87) %61)
(/.f64 (fma.f64 x %47 %54) %92)
(/.f64 (-.f64 (*.f64 %59 %61) (*.f64 %61 %54)) (*.f64 %61 %61))
(/.f64 (-.f64 %68 %59) %92)
(/.f64 (-.f64 %144 %176) %61)
(/.f64 (-.f64 %135 %196) %61)
(/.f64 (-.f64 %130 %199) %70)
(/.f64 (-.f64 %135 %77) %61)
(/.f64 (-.f64 %130 %87) %70)
(/.f64 (-.f64 %83 %196) %61)
(/.f64 (-.f64 %86 %199) %70)
(/.f64 (-.f64 %90 (*.f64 %43 %127)) %92)
(/.f64 (-.f64 %59 (*.f64 %43 %157)) %61)
(/.f64 (*.f64 #s(literal 2 binary64) %56) %217)
(/.f64 (*.f64 #s(literal 2 binary64) %66) %220)
(/.f64 (*.f64 #s(literal 2 binary64) %69) %223)
(/.f64 (*.f64 #s(literal 2 binary64) %74) %226)
(/.f64 (*.f64 #s(literal 2 binary64) %78) %223)
(/.f64 (*.f64 #s(literal 2 binary64) %81) %226)
(/.f64 (*.f64 #s(literal 2 binary64) %84) %226)
(/.f64 (*.f64 #s(literal 2 binary64) %88) %223)
(/.f64 (*.f64 #s(literal 2 binary64) %91) (*.f64 #s(literal 2 binary64) %92))
(/.f64 (*.f64 #s(literal 2 binary64) %60) (*.f64 #s(literal 2 binary64) %62))
(/.f64 (*.f64 #s(literal 2 binary64) %96) %226)
(/.f64 %244 %220)
(/.f64 %246 %220)
(/.f64 %248 %220)
(/.f64 %250 %220)
(/.f64 %252 %217)
(/.f64 (neg.f64 %56) %47)
(/.f64 (neg.f64 %66) %43)
(/.f64 (neg.f64 %69) %259)
(/.f64 (neg.f64 %74) %62)
(/.f64 (neg.f64 %78) %259)
(/.f64 (neg.f64 %81) %62)
(/.f64 (neg.f64 %84) %62)
(/.f64 (neg.f64 %88) %259)
(/.f64 (neg.f64 %91) (neg.f64 %92))
(/.f64 %274 %43)
(/.f64 %276 %43)
(/.f64 %49 %47)
(/.f64 %52 %47)
(/.f64 %56 %43)
(/.f64 %15 %47)
(/.f64 %60 %62)
(/.f64 %66 %47)
(/.f64 %69 %70)
(/.f64 %74 %61)
(/.f64 %78 %70)
(/.f64 %81 %61)
(/.f64 %84 %61)
(/.f64 %88 %70)
(/.f64 %91 %92)
(/.f64 %96 (neg.f64 %62))
(/.f64 %96 %61)
(/.f64 %14 %47)
(/.f64 #s(literal 1 binary64) (/.f64 %47 %49))
(/.f64 #s(literal 1 binary64) (/.f64 %47 %52))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %56))
(/.f64 #s(literal 1 binary64) (/.f64 %47 %15))
(/.f64 #s(literal 1 binary64) (/.f64 %47 %66))
(/.f64 #s(literal 1 binary64) (/.f64 %70 %69))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %74))
(/.f64 #s(literal 1 binary64) (/.f64 %70 %78))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %81))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %84))
(/.f64 #s(literal 1 binary64) (/.f64 %70 %88))
(/.f64 #s(literal 1 binary64) (/.f64 %92 %91))
(/.f64 #s(literal 1 binary64) (/.f64 %62 %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %100 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %96))
(/.f64 #s(literal 1 binary64) (/.f64 %47 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %2))
%100
(neg.f64 (/.f64 %14 %43))
(fma.f64 %332 %333 %335)
(fma.f64 %332 %333 %337)
(fma.f64 %332 %333 %339)
(fma.f64 %332 %333 %342)
(fma.f64 %332 %333 %344)
(fma.f64 %333 %332 %335)
(fma.f64 %333 %332 %337)
(fma.f64 %333 %332 %339)
(fma.f64 %333 %332 %342)
(fma.f64 %333 %332 %344)
(fma.f64 %351 %352 %335)
(fma.f64 %351 %352 %337)
(fma.f64 %351 %352 %339)
(fma.f64 %351 %352 %342)
(fma.f64 %351 %352 %344)
(fma.f64 %358 %65 %335)
(fma.f64 %358 %65 %337)
(fma.f64 %358 %65 %339)
(fma.f64 %358 %65 %342)
(fma.f64 %358 %65 %344)
(fma.f64 %105 %50 %104)
(fma.f64 %105 %50 %112)
(fma.f64 %352 %351 %335)
(fma.f64 %352 %351 %337)
(fma.f64 %352 %351 %339)
(fma.f64 %352 %351 %342)
(fma.f64 %352 %351 %344)
(fma.f64 %59 %75 %335)
(fma.f64 %59 %75 %337)
(fma.f64 %59 %75 %339)
(fma.f64 %59 %75 %342)
(fma.f64 %59 %75 %344)
(fma.f64 %18 %45 %65)
(fma.f64 %45 %18 %65)
(fma.f64 %45 x %104)
(fma.f64 %45 x %112)
(fma.f64 %65 %358 %335)
(fma.f64 %65 %358 %337)
(fma.f64 %65 %358 %339)
(fma.f64 %65 %358 %342)
(fma.f64 %65 %358 %344)
(fma.f64 %19 %50 %104)
(fma.f64 %19 %50 %112)
(fma.f64 y %50 %65)
(fma.f64 x %45 %104)
(fma.f64 x %45 %112)
(-.f64 (/.f64 %126 %47) %391)
(-.f64 (/.f64 %83 %61) (/.f64 %77 %61))
(-.f64 (/.f64 %90 %92) (/.f64 %80 %92))
(-.f64 %399 (/.f64 %87 %70))
(-.f64 %104 %402)
(-.f64 %104 %352)
(-.f64 %119 %334)
(-.f64 %112 %402)
(-.f64 %112 %352)
(-.f64 %65 (neg.f64 %104))
(-.f64 %65 %391)
(+.f64 %399 (/.f64 %68 %70))
(+.f64 %399 (/.f64 %77 %70))
(+.f64 %104 %65)
(+.f64 %119 %335)
(+.f64 %119 %337)
(+.f64 %119 %339)
(+.f64 %119 %342)
(+.f64 %119 %344)
(+.f64 %112 %65)
(+.f64 %65 %104)
(+.f64 %65 %112)
(pow.f64 %424 #s(literal 1 binary64))
%424
(/.f64 #s(literal 1 binary64) %426)
(neg.f64 %428)
(*.f64 %49 %430)
(*.f64 %52 %430)
(*.f64 %435 %426)
(*.f64 %15 %430)
(*.f64 %439 (/.f64 #s(literal 1 binary64) %441))
(*.f64 %445 %430)
(*.f64 %448 %450)
(*.f64 %453 %454)
(*.f64 %457 %450)
(*.f64 %460 %454)
(*.f64 %463 %454)
(*.f64 %467 %450)
(*.f64 %470 (/.f64 #s(literal 1 binary64) %471))
(*.f64 %430 %14)
(*.f64 %475 %454)
(*.f64 %426 %2)
(*.f64 %14 %430)
(*.f64 #s(literal 1 binary64) %479)
(*.f64 %2 %426)
(pow.f64 %479 #s(literal 1 binary64))
(/.f64 (fma.f64 %483 %428 %105) %428)
(/.f64 (fma.f64 %483 %428 %19) %428)
(/.f64 (fma.f64 %483 %424 x) %424)
(/.f64 (fma.f64 %490 %428 %105) %428)
(/.f64 (fma.f64 %490 %428 %19) %428)
(/.f64 (fma.f64 %490 %424 x) %424)
(/.f64 (-.f64 (*.f64 %497 %440) %433) %440)
(/.f64 (-.f64 (*.f64 %490 %428) x) %428)
(/.f64 (-.f64 %504 %127) %428)
(/.f64 (fma.f64 %18 %428 %507) %471)
(/.f64 (fma.f64 %18 %428 %465) %471)
(/.f64 (fma.f64 y %428 %512) %440)
(/.f64 (fma.f64 y %428 %462) %440)
(/.f64 (fma.f64 %424 y %469) %449)
(/.f64 (fma.f64 %105 %424 %447) %449)
(/.f64 (fma.f64 %105 %428 %521) %440)
(/.f64 (fma.f64 %19 %428 %521) %440)
(/.f64 %149 %428)
(/.f64 %151 %428)
(/.f64 %153 %428)
(/.f64 %155 %428)
(/.f64 %158 %424)
(/.f64 %160 %428)
(/.f64 (fma.f64 %18 %428 (*.f64 %424 %105)) %471)
(/.f64 (fma.f64 %18 %428 (*.f64 %424 %19)) %471)
(/.f64 (fma.f64 %18 %424 %438) %440)
(/.f64 (fma.f64 y %428 (*.f64 %428 %105)) %440)
(/.f64 (fma.f64 y %428 (*.f64 %428 %19)) %440)
(/.f64 (fma.f64 %424 y %546) %449)
(/.f64 (fma.f64 %105 %424 %456) %449)
(/.f64 (fma.f64 %105 %428 %466) %440)
(/.f64 (fma.f64 %19 %428 %466) %440)
(/.f64 (fma.f64 x %428 %433) %471)
(/.f64 (-.f64 (*.f64 %438 %440) (*.f64 %440 %433)) (*.f64 %440 %440))
(/.f64 (-.f64 %447 %438) %471)
(/.f64 (-.f64 %521 %546) %440)
(/.f64 (-.f64 %512 %566) %440)
(/.f64 (-.f64 %507 %569) %449)
(/.f64 (-.f64 %512 %456) %440)
(/.f64 (-.f64 %507 %466) %449)
(/.f64 (-.f64 %462 %566) %440)
(/.f64 (-.f64 %465 %569) %449)
(/.f64 (-.f64 %469 (*.f64 %424 %127)) %471)
(/.f64 (-.f64 %438 (*.f64 %424 %157)) %440)
(/.f64 (*.f64 #s(literal 2 binary64) %435) %587)
(/.f64 (*.f64 #s(literal 2 binary64) %445) %590)
(/.f64 (*.f64 #s(literal 2 binary64) %448) %593)
(/.f64 (*.f64 #s(literal 2 binary64) %453) %596)
(/.f64 (*.f64 #s(literal 2 binary64) %457) %593)
(/.f64 (*.f64 #s(literal 2 binary64) %460) %596)
(/.f64 (*.f64 #s(literal 2 binary64) %463) %596)
(/.f64 (*.f64 #s(literal 2 binary64) %467) %593)
(/.f64 (*.f64 #s(literal 2 binary64) %470) (*.f64 #s(literal 2 binary64) %471))
(/.f64 (*.f64 #s(literal 2 binary64) %439) (*.f64 #s(literal 2 binary64) %441))
(/.f64 (*.f64 #s(literal 2 binary64) %475) %596)
(/.f64 %244 %590)
(/.f64 %246 %590)
(/.f64 %248 %590)
(/.f64 %250 %590)
(/.f64 %252 %587)
(/.f64 (neg.f64 %435) %428)
(/.f64 (neg.f64 %445) %424)
(/.f64 (neg.f64 %448) %624)
(/.f64 (neg.f64 %453) %441)
(/.f64 (neg.f64 %457) %624)
(/.f64 (neg.f64 %460) %441)
(/.f64 (neg.f64 %463) %441)
(/.f64 (neg.f64 %467) %624)
(/.f64 (neg.f64 %470) (neg.f64 %471))
(/.f64 %274 %424)
(/.f64 %276 %424)
(/.f64 %49 %428)
(/.f64 %52 %428)
(/.f64 %435 %424)
(/.f64 %15 %428)
(/.f64 %439 %441)
(/.f64 %445 %428)
(/.f64 %448 %449)
(/.f64 %453 %440)
(/.f64 %457 %449)
(/.f64 %460 %440)
(/.f64 %463 %440)
(/.f64 %467 %449)
(/.f64 %470 %471)
(/.f64 %475 (neg.f64 %441))
(/.f64 %475 %440)
(/.f64 %14 %428)
(/.f64 #s(literal 1 binary64) (/.f64 %428 %49))
(/.f64 #s(literal 1 binary64) (/.f64 %428 %52))
(/.f64 #s(literal 1 binary64) (/.f64 %424 %435))
(/.f64 #s(literal 1 binary64) (/.f64 %428 %15))
(/.f64 #s(literal 1 binary64) (/.f64 %428 %445))
(/.f64 #s(literal 1 binary64) (/.f64 %449 %448))
(/.f64 #s(literal 1 binary64) (/.f64 %440 %453))
(/.f64 #s(literal 1 binary64) (/.f64 %449 %457))
(/.f64 #s(literal 1 binary64) (/.f64 %440 %460))
(/.f64 #s(literal 1 binary64) (/.f64 %440 %463))
(/.f64 #s(literal 1 binary64) (/.f64 %449 %467))
(/.f64 #s(literal 1 binary64) (/.f64 %471 %470))
(/.f64 #s(literal 1 binary64) (/.f64 %441 %439))
(/.f64 #s(literal 1 binary64) (pow.f64 %479 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %440 %475))
(/.f64 #s(literal 1 binary64) (/.f64 %428 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %424 %2))
%479
(neg.f64 (/.f64 %14 %424))
(fma.f64 %695 %696 %698)
(fma.f64 %695 %696 %700)
(fma.f64 %695 %696 %702)
(fma.f64 %695 %696 %705)
(fma.f64 %695 %696 %707)
(fma.f64 %696 %695 %698)
(fma.f64 %696 %695 %700)
(fma.f64 %696 %695 %702)
(fma.f64 %696 %695 %705)
(fma.f64 %696 %695 %707)
(fma.f64 %714 %715 %698)
(fma.f64 %714 %715 %700)
(fma.f64 %714 %715 %702)
(fma.f64 %714 %715 %705)
(fma.f64 %714 %715 %707)
(fma.f64 %721 %444 %698)
(fma.f64 %721 %444 %700)
(fma.f64 %721 %444 %702)
(fma.f64 %721 %444 %705)
(fma.f64 %721 %444 %707)
(fma.f64 %105 %430 %483)
(fma.f64 %105 %430 %490)
(fma.f64 %715 %714 %698)
(fma.f64 %715 %714 %700)
(fma.f64 %715 %714 %702)
(fma.f64 %715 %714 %705)
(fma.f64 %715 %714 %707)
(fma.f64 %438 %454 %698)
(fma.f64 %438 %454 %700)
(fma.f64 %438 %454 %702)
(fma.f64 %438 %454 %705)
(fma.f64 %438 %454 %707)
(fma.f64 %18 %426 %444)
(fma.f64 %426 %18 %444)
(fma.f64 %426 x %483)
(fma.f64 %426 x %490)
(fma.f64 %444 %721 %698)
(fma.f64 %444 %721 %700)
(fma.f64 %444 %721 %702)
(fma.f64 %444 %721 %705)
(fma.f64 %444 %721 %707)
(fma.f64 %19 %430 %483)
(fma.f64 %19 %430 %490)
(fma.f64 y %430 %444)
(fma.f64 x %426 %483)
(fma.f64 x %426 %490)
(-.f64 (/.f64 %504 %428) %754)
(-.f64 (/.f64 %462 %440) (/.f64 %456 %440))
(-.f64 (/.f64 %469 %471) (/.f64 %459 %471))
(-.f64 %762 (/.f64 %466 %449))
(-.f64 %483 %765)
(-.f64 %483 %715)
(-.f64 %497 %697)
(-.f64 %490 %765)
(-.f64 %490 %715)
(-.f64 %444 (neg.f64 %483))
(-.f64 %444 %754)
(+.f64 %762 (/.f64 %447 %449))
(+.f64 %762 (/.f64 %456 %449))
(+.f64 %483 %444)
(+.f64 %497 %698)
(+.f64 %497 %700)
(+.f64 %497 %702)
(+.f64 %497 %705)
(+.f64 %497 %707)
(+.f64 %490 %444)
(+.f64 %444 %483)
(+.f64 %444 %490)
(pow.f64 %789 #s(literal 1 binary64))
%789
(/.f64 #s(literal 1 binary64) (pow.f64 %789 #s(literal -1 binary64)))
reconstruct65.0ms (3.4%)
Counts
478 → 86
Compiler
Compiled 478 to 984 computations (-105.9% saved)
eval17.0ms (0.9%)
Compiler
Compiled 87 to 300 computations (-244.8% saved)
prune5.0ms (0.3%)
Pruning
11 alts after pruning (1 fresh and 10 done)
PrunedKeptTotal
New86187
Fresh000
Picked033
Done077
Total861197
Accuracy
100.0%
Counts
97 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
✓90.5%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))))
✓59.1%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) y)))
✓42.1%
(/.f64 (-.f64 x y) (approx (- (- 2 x) y) (neg.f64 x)))
✓24.0%
(/.f64 (-.f64 x y) (approx (- 2 (+ x y)) (approx (- 2 x) #s(literal 2 binary64))))
✓100.0%
%26 = (+.f64 y x)
(+.f64 (/.f64 x (-.f64 #s(literal 2 binary64) %26)) (/.f64 y (-.f64 %26 #s(literal 2 binary64))))
✓53.3%
(approx (/ (- x y) (- 2 (+ x y))) (/.f64 x (-.f64 #s(literal 2 binary64) x)))
▶3.4%
(approx (/ (- x y) (- 2 (+ x y))) (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
✓13.7%
(approx (/ (- x y) (- 2 (+ x y))) (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) x)))
✓36.8%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal 1 binary64))
✓41.7%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Compiler
Compiled 11 to 31 computations (-181.8% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0218944
Stop Event
1×iter-limit
Counts
7 → 31
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%4 = (*.f64 #s(literal 1/2 binary64) %2)
%8 = (approx (/ x (- 2 x)) %4)
x
#s(literal 0 binary64)
%2
#s(literal 1/2 binary64)
%4
%8
(approx (/ (- x y) (- 2 (+ x y))) %8)
Outputs
%11 = (/ x (- 2 x))
%37 = (/ (- x y) (- 2 (+ x y)))
%40 = (-.f64 #s(literal 2 binary64) y)
%41 = (/.f64 y %40)
%45 = (/.f64 #s(literal 1 binary64) %40)
%46 = (pow.f64 %40 #s(literal 2 binary64))
%47 = (/.f64 y %46)
%48 = (-.f64 %45 %47)
%49 = (*.f64 x %48)
%68 = (/.f64 #s(literal 1 binary64) x)
%69 = (*.f64 #s(literal 2 binary64) %68)
%70 = (+.f64 #s(literal 1 binary64) %69)
%83 = (pow.f64 x #s(literal 2 binary64))
%88 = (/.f64 y x)
%93 = (-.f64 (*.f64 #s(literal 2 binary64) y) #s(literal 2 binary64))
%94 = (*.f64 %40 %93)
%95 = (/.f64 %94 %83)
%99 = (*.f64 %46 %93)
%131 = (-.f64 #s(literal 2 binary64) x)
%132 = (/.f64 x %131)
%134 = (pow.f64 %131 #s(literal 2 binary64))
%137 = (fma.f64 #s(literal -1 binary64) (/.f64 x %134) (/.f64 #s(literal 1 binary64) %131))
%141 = (pow.f64 %131 #s(literal 3 binary64))
%144 = (fma.f64 #s(literal -1 binary64) (/.f64 x %141) (/.f64 #s(literal 1 binary64) %134))
%162 = (/.f64 x y)
%166 = (*.f64 #s(literal -1 binary64) (/.f64 %131 y))
%171 = (-.f64 (*.f64 #s(literal -1 binary64) x) (*.f64 #s(literal -1 binary64) %131))
%174 = (/.f64 (*.f64 %131 %171) (pow.f64 y #s(literal 2 binary64)))
%187 = (*.f64 #s(literal 2 binary64) x)
%188 = (-.f64 %187 #s(literal 2 binary64))
%193 = (*.f64 %131 %188)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/4 binary64) x))))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/8 binary64) x))))))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (+.f64 #s(literal 1/4 binary64) (*.f64 x (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) x))))))))
(approx %37 (*.f64 #s(literal -1 binary64) %41))
(approx %37 (fma.f64 #s(literal -1 binary64) %41 %49))
(approx %37 (fma.f64 #s(literal -1 binary64) %41 (*.f64 x (-.f64 (+.f64 %45 (/.f64 %49 %40)) %47))))
(approx %37 (fma.f64 #s(literal -1 binary64) %41 (*.f64 x (-.f64 (fma.f64 x (-.f64 (/.f64 %49 %46) (*.f64 #s(literal -1 binary64) (/.f64 %48 %40))) %45) %47))))
(approx %11 #s(literal -1 binary64))
(approx %11 (*.f64 #s(literal -1 binary64) %70))
(approx %11 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %68)) x)) #s(literal 1 binary64)))
(approx %11 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 8 binary64) %68)) %83)) %70))
(approx %37 (-.f64 (*.f64 #s(literal 2 binary64) %88) %70))
(approx %37 (-.f64 (fma.f64 #s(literal 2 binary64) %88 %95) %70))
(approx %37 (-.f64 (fma.f64 #s(literal 2 binary64) %88 (/.f64 %99 (pow.f64 x #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %95 %69))))
(approx %11 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 4 binary64) %68 (/.f64 #s(literal 8 binary64) %83))) x)) #s(literal 1 binary64)))
(approx %37 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %93 (*.f64 #s(literal -1 binary64) (/.f64 %94 x))) x)) #s(literal 1 binary64)))
(approx %37 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %93 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 %40 %93 (/.f64 %99 x)) x))) x)) #s(literal 1 binary64)))
(approx %37 %132)
(approx %37 (fma.f64 #s(literal -1 binary64) (*.f64 y %137) %132))
(approx %37 (fma.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y %144)) %137) %132))
(approx %37 (fma.f64 y (-.f64 (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 %131 #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %141)))) %144)) %137) %132))
(approx %37 #s(literal 1 binary64))
(approx %37 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %162)) %166))
(approx %37 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %162 %174)) %166))
(approx %37 (-.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) %162 (/.f64 (*.f64 %134 %171) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 #s(literal -1 binary64) %174 %166)))
(approx %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %188 y))))
(approx %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 %193 y)) #s(literal 2 binary64)) y))))
(approx %37 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %134 %188) y)) %193) y) %187) #s(literal 2 binary64)) y))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
0.0ms
y
inf
0.0ms
y
0
rewrite68.0ms (3.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01543
01643
16643
222243
374243
0423143
0442143
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 20
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%4 = (*.f64 #s(literal 1/2 binary64) %2)
%8 = (approx (/ x (- 2 x)) %4)
x
#s(literal 0 binary64)
%2
#s(literal 1/2 binary64)
%4
%8
(approx (/ (- x y) (- 2 (+ x y))) %8)
Outputs
%2 = (approx x #s(literal 0 binary64))
%9 = (*.f64 #s(literal 1/2 binary64) %2)
%22 = (- 2 x)
%24 = (approx (/ x %22) %9)
%32 = (approx (/ (- x y) (- %22 y)) %24)
x
#s(literal 0 binary64)
(pow.f64 %2 #s(literal 1 binary64))
%2
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) %9)
%9
(*.f64 %2 #s(literal 1/2 binary64))
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 (*.f64 %2 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %2) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(/.f64 %2 #s(literal 2 binary64))
(pow.f64 %24 #s(literal 1 binary64))
%24
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(pow.f64 %32 #s(literal 1 binary64))
%32
(/.f64 #s(literal 1 binary64) (pow.f64 %32 #s(literal -1 binary64)))
reconstruct5.0ms (0.2%)
Counts
51 → 37
Compiler
Compiled 51 to 192 computations (-276.5% saved)
eval4.0ms (0.2%)
Compiler
Compiled 31 to 173 computations (-458.1% saved)
prune2.0ms (0.1%)
Pruning
11 alts after pruning (0 fresh and 11 done)
PrunedKeptTotal
New31031
Fresh000
Picked011
Done01010
Total311142
Accuracy
100.0%
Counts
42 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
✓90.5%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 y x))))))
✓59.1%
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (approx (+ x y) y)))
✓42.1%
(/.f64 (-.f64 x y) (approx (- (- 2 x) y) (neg.f64 x)))
✓24.0%
(/.f64 (-.f64 x y) (approx (- 2 (+ x y)) (approx (- 2 x) #s(literal 2 binary64))))
✓100.0%
%26 = (+.f64 y x)
(+.f64 (/.f64 x (-.f64 #s(literal 2 binary64) %26)) (/.f64 y (-.f64 %26 #s(literal 2 binary64))))
✓53.3%
(approx (/ (- x y) (- 2 (+ x y))) (/.f64 x (-.f64 #s(literal 2 binary64) x)))
✓3.4%
(approx (/ (- x y) (- 2 (+ x y))) (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
✓13.7%
(approx (/ (- x y) (- 2 (+ x y))) (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) x)))
✓36.8%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal 1 binary64))
✓41.7%
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Compiler
Compiled 11 to 31 computations (-181.8% saved)
regimes23.0ms (1.2%)
Accuracy
Total 0.6b remaining (0.8%)
Threshold costs 0.6b (0.8%)
0.2b99.4%
0.2b99.2%
0.2b99.4%
0.1b99.7%
0.0b100.0%
Counts
1 → 1
2 → 2
3 → 3
5 → 2
6 → 3
8 → 2
9 → 2
11 → 1
Calls
Call 1
Inputs
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Outputs
(approx (/ (- x y) (- 2 (+ x y))) #s(literal -1 binary64))
Call 2
Inputs
%6 = (/ (- x y) (- 2 (+ x y)))
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
Outputs
%6 = (/ (- x y) (- 2 (+ x y)))
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
Call 3
Inputs
%6 = (/ (- x y) (- 2 (+ x y)))
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) x)))
Outputs
%6 = (/ (- x y) (- 2 (+ x y)))
(approx %6 #s(literal -1 binary64))
(approx %6 (approx (/ x (- 2 x)) (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 #s(literal 1 binary64))
Call 4
Inputs
%6 = (/ (- x y) (- 2 (+ x y)))
%12 = (/ x (- 2 x))
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
(approx %6 (/.f64 x (-.f64 #s(literal 2 binary64) x)))
Outputs
%6 = (/ (- x y) (- 2 (+ x y)))
(approx %6 (/.f64 x (-.f64 #s(literal 2 binary64) x)))
(approx %6 #s(literal 1 binary64))
Call 5
Inputs
%5 = (- 2 (+ x y))
%6 = (/ (- x y) %5)
%11 = (- 2 x)
%12 = (/ x %11)
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
(approx %6 (/.f64 x (-.f64 #s(literal 2 binary64) x)))
(/.f64 (-.f64 x y) (approx %5 (approx %11 #s(literal 2 binary64))))
Outputs
%5 = (- 2 (+ x y))
%6 = (/ (- x y) %5)
(approx %6 (/.f64 x (-.f64 #s(literal 2 binary64) x)))
(/.f64 (-.f64 x y) (approx %5 (approx (- 2 x) #s(literal 2 binary64))))
(approx %6 #s(literal 1 binary64))
Call 6
Inputs
%5 = (- 2 (+ x y))
%6 = (/ (- x y) %5)
%11 = (- 2 x)
%12 = (/ x %11)
%23 = (-.f64 #s(literal 2 binary64) x)
%26 = (-.f64 x y)
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
(approx %6 (/.f64 x %23))
(/.f64 %26 (approx %5 (approx %11 #s(literal 2 binary64))))
(/.f64 %26 (approx (- %11 y) (neg.f64 x)))
(/.f64 %26 (approx %5 %23))
Outputs
%5 = (- 2 (+ x y))
(/.f64 (-.f64 x y) (approx %5 (-.f64 #s(literal 2 binary64) x)))
(approx (/ (- x y) %5) #s(literal 1 binary64))
Call 7
Inputs
%4 = (+ x y)
%5 = (- 2 %4)
%6 = (/ (- x y) %5)
%11 = (- 2 x)
%12 = (/ x %11)
%23 = (-.f64 #s(literal 2 binary64) x)
%26 = (-.f64 x y)
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
(approx %6 (/.f64 x %23))
(/.f64 %26 (approx %5 (approx %11 #s(literal 2 binary64))))
(/.f64 %26 (approx (- %11 y) (neg.f64 x)))
(/.f64 %26 (approx %5 %23))
(/.f64 %26 (-.f64 #s(literal 2 binary64) (approx %4 y)))
Outputs
%2 = (-.f64 x y)
%4 = (+ x y)
(/.f64 %2 (approx (- 2 %4) (-.f64 #s(literal 2 binary64) x)))
(/.f64 %2 (-.f64 #s(literal 2 binary64) (approx %4 y)))
Call 8
Inputs
%4 = (+ x y)
%5 = (- 2 %4)
%6 = (/ (- x y) %5)
%11 = (- 2 x)
%12 = (/ x %11)
%23 = (-.f64 #s(literal 2 binary64) x)
%26 = (-.f64 x y)
(approx %6 #s(literal -1 binary64))
(approx %6 #s(literal 1 binary64))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) x)))
(approx %6 (approx %12 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64)))))
(approx %6 (/.f64 x %23))
(/.f64 %26 (approx %5 (approx %11 #s(literal 2 binary64))))
(/.f64 %26 (approx (- %11 y) (neg.f64 x)))
(/.f64 %26 (approx %5 %23))
(/.f64 %26 (-.f64 #s(literal 2 binary64) (approx %4 y)))
(/.f64 %26 (approx %5 (*.f64 #s(literal -1 binary64) x)))
(/.f64 %26 (-.f64 #s(literal 2 binary64) (+.f64 x y)))
Outputs
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
Calls
3 calls:
8.0ms
x
7.0ms
y
5.0ms
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
Results
AccuracySegmentsBranch
41.7%1
y
41.7%1
x
41.7%1
(/.f64 (-.f64 x y) (-.f64 #s(literal 2 binary64) (+.f64 x y)))
Compiler
Compiled 16 to 41 computations (-156.3% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
0.004410819836873282
0.9433460715207614
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
0.004410819836873282
0.9433460715207614
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
0.004410819836873282
0.9433460715207614
0.0ms
-2.246879128308271e-7
-5.003292147480439e-22
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch1.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
0.004410819836873282
0.9433460715207614
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
0.004410819836873282
0.9433460715207614
0.0ms
-0.9999999999999932
-2.246879128308271e-7
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch11.0ms (0.6%)
Algorithm
1×binary-search
Stop Event
1×narrow-enough
Steps
TimeLeftRight
9.0ms
-8.329101837680334e-225
7.819165351822896e-245
Samples
4.0ms208×0valid
Compiler
Compiled 14 to 19 computations (-35.7% 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)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations6.0ms (0.3%)
Stop Event
1×done
Compiler
Compiled 8 to 33 computations (-312.5% saved)
preprocess28.0ms (1.5%)
Compiler
Compiled 9 to 40 computations (-344.4% saved)
end0.0ms (0.0%)
gc379ms (19.5%)
Allocations
AllocatedPercentPhase
910.9 MiB34.1%rewrite
658.6 MiB24.7%sample
411.3 MiB15.4%reconstruct
326.4 MiB12.2%series
123.9 MiB4.6%eval
94.1 MiB3.5%preprocess
41.2 MiB1.5%regimes
40.9 MiB1.5%analyze
36.4 MiB1.4%prune
18.7 MiB0.7%bsearch
8.0 MiB0.3%derivations
0.3 MiB0.0%start
0.0 MiB0.0%end
2 670.7 MiB100.0%total
Profiling
Loading profile data...