AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, B

Time bar (total: 993.0ms)

start0.0ms (0.0%)

analyze18.0ms (1.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
76.6%76.5%23.4%0.1%0.0%0.0%0.0%7
82.0%82.0%18.0%0.1%0.0%0.0%0.0%8
87.9%87.8%12.1%0.1%0.0%0.0%0.0%9
90.8%90.7%9.2%0.1%0.0%0.0%0.0%10
93.8%93.8%6.1%0.1%0.0%0.0%0.0%11
95.4%95.3%4.6%0.1%0.0%0.0%0.0%12
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample174.0ms (17.6%)

Samples
245.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Div: 4.0ms (57.3% of total, 0.0 MiB)
Add: 3.0ms (43.0% of total, 0.0 MiB)
Bogosity

preprocess32.0ms (3.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01436
17230
221030
338630
4105130
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 x (+.f64 y x))
Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series13.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0153478
Stop Event
1×iter-limit
Counts
4 → 26
Calls
Call 1
Inputs
%2 = (+.f64 y x)
x
y
%2
(/.f64 x %2)
Outputs
%5 = (+ y x)
%9 = (/ x %5)
%10 = (/.f64 x y)
%14 = (pow.f64 y #s(literal 2 binary64))
%17 = (/.f64 #s(literal 1 binary64) y)
%22 = (pow.f64 y #s(literal 3 binary64))
%24 = (/.f64 #s(literal 1 binary64) %14)
%39 = (/.f64 y x)
%44 = (*.f64 #s(literal -1 binary64) %39)
%47 = (pow.f64 x #s(literal 2 binary64))
%48 = (/.f64 %14 %47)
%52 = (pow.f64 x #s(literal 3 binary64))
%65 = (*.f64 #s(literal -1 binary64) y)
%83 = (/.f64 #s(literal 1 binary64) x)
%99 = (/.f64 %47 y)
%104 = (/.f64 %52 %14)
%109 = (pow.f64 x #s(literal 4 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %9 %10)
(approx %9 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x %14) %17)))
(approx %9 (*.f64 x (fma.f64 x (-.f64 (/.f64 x %22) %24) %17)))
(approx %9 (*.f64 x (fma.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 y #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %22))) %24) %17)))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %39)))
(approx %9 #s(literal 1 binary64))
(approx %9 (+.f64 #s(literal 1 binary64) %44))
(approx %9 (-.f64 (+.f64 #s(literal 1 binary64) %48) %39))
(approx %9 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %22 %52))) (fma.f64 #s(literal -1 binary64) %48 %39)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %44 #s(literal 1 binary64)))))
(approx %9 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %14 x)) %65) x))))
(approx %9 (+.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 %22 x)) (*.f64 #s(literal -1 binary64) %14)) x)) %65) x))))
(approx %9 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (/.f64 y %47) %83))))
(approx %9 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 y %52) (/.f64 #s(literal 1 binary64) %47))) %83))))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %10)))
(approx %9 (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) %99)) y))
(approx %9 (/.f64 (-.f64 (+.f64 x %104) %99) y))
(approx %9 (/.f64 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 %109 %22))) (fma.f64 #s(literal -1 binary64) %104 %99)) y))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %10) #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %99) y)))
(approx %9 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %52 y) %47) y))) y)))
(approx %9 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %109 y) %52) y)) %47) y))) y)))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
0
rewrite156.0ms (15.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0410
0610
12110
26210
315410
448310
5395910
0429310
0444310
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 359
Calls
Call 1
Inputs
%2 = (+.f64 y x)
x
y
%2
(/.f64 x %2)
Outputs
%3 = (+.f64 y x)
%9 = (*.f64 #s(literal -2 binary64) x)
%12 = (*.f64 #s(literal 2 binary64) %3)
%14 = (/.f64 #s(literal 1 binary64) %3)
%16 = (neg.f64 %3)
%19 = (*.f64 #s(literal 1/2 binary64) x)
%20 = (*.f64 #s(literal 1/2 binary64) %19)
%21 = (fma.f64 #s(literal 1/2 binary64) x y)
%23 = (neg.f64 y)
%24 = (-.f64 %19 %23)
%29 = (+.f64 x x)
%36 = (*.f64 %19 #s(literal 1/2 binary64))
%46 = (*.f64 #s(literal -1/2 binary64) x)
%50 = (neg.f64 x)
%63 = (/.f64 x %3)
%64 = (*.f64 %63 #s(literal 1/4 binary64))
%67 = (*.f64 %63 #s(literal 4 binary64))
%69 = (*.f64 %63 #s(literal -2 binary64))
%71 = (/.f64 #s(literal 2 binary64) %3)
%72 = (*.f64 x %71)
%74 = (/.f64 %29 %3)
%76 = (/.f64 %74 #s(literal 8 binary64))
%79 = (/.f64 #s(literal -1 binary64) %3)
%80 = (*.f64 %79 %29)
%82 = (/.f64 #s(literal 1/2 binary64) %3)
%83 = (*.f64 %82 x)
%85 = (/.f64 #s(literal -2 binary64) %3)
%91 = (*.f64 #s(literal 4 binary64) %63)
%93 = (/.f64 #s(literal -1/2 binary64) %3)
%95 = (*.f64 #s(literal 1/4 binary64) %63)
%97 = (/.f64 %63 #s(literal 4 binary64))
%102 = (*.f64 %19 %79)
%104 = (*.f64 #s(literal -1/2 binary64) %63)
%106 = (*.f64 %82 %50)
%108 = (/.f64 %50 %3)
%109 = (*.f64 #s(literal 1/2 binary64) %108)
%111 = (*.f64 %93 x)
%113 = (/.f64 %19 %16)
%115 = (*.f64 #s(literal 2 binary64) %108)
%130 = (E.f64 )
%158 = (*.f64 #s(literal 2 binary64) %16)
%200 = (*.f64 #s(literal 2 binary64) %9)
%201 = (*.f64 #s(literal 2 binary64) %158)
%203 = (*.f64 %158 #s(literal 2 binary64))
%205 = (*.f64 %9 #s(literal -2 binary64))
%208 = (*.f64 #s(literal 2 binary64) %12)
%210 = (*.f64 %9 #s(literal 2 binary64))
%225 = (*.f64 #s(literal -2 binary64) %9)
%228 = (*.f64 %12 #s(literal 2 binary64))
%236 = (*.f64 #s(literal -2 binary64) %29)
%240 = (*.f64 #s(literal 2 binary64) %29)
%249 = (*.f64 %29 #s(literal -2 binary64))
%253 = (*.f64 %29 #s(literal 2 binary64))
%288 = (*.f64 %74 #s(literal 0 binary64))
%290 = (*.f64 %63 #s(literal 0 binary64))
%292 = (*.f64 #s(literal 0 binary64) %74)
%294 = (*.f64 #s(literal 0 binary64) %63)
x
y
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal 2 binary64)) %9) #s(literal 2 binary64))
(/.f64 %12 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %14)
(neg.f64 %16)
(fma.f64 %20 #s(literal 2 binary64) %21)
(fma.f64 %20 #s(literal 2 binary64) %24)
(fma.f64 %19 #s(literal 1 binary64) %21)
(fma.f64 %19 #s(literal 1 binary64) %24)
(fma.f64 #s(literal 1/4 binary64) %29 %21)
(fma.f64 #s(literal 1/4 binary64) %29 %24)
(fma.f64 %29 #s(literal 1/4 binary64) %21)
(fma.f64 %29 #s(literal 1/4 binary64) %24)
(fma.f64 #s(literal 1/2 binary64) x %21)
(fma.f64 #s(literal 1/2 binary64) x %24)
(fma.f64 #s(literal 2 binary64) %36 %21)
(fma.f64 #s(literal 2 binary64) %36 %24)
(fma.f64 #s(literal 1 binary64) %19 %21)
(fma.f64 #s(literal 1 binary64) %19 %24)
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %21)
(fma.f64 x #s(literal 1/2 binary64) %24)
(-.f64 (-.f64 y %46) %46)
(-.f64 %3 #s(literal 0 binary64))
(-.f64 y %50)
(-.f64 x %23)
(+.f64 (+.f64 y %19) %19)
(+.f64 %19 %21)
(+.f64 %19 %24)
(+.f64 %3 #s(literal 0 binary64))
%3
(+.f64 x (+.f64 #s(literal 0 binary64) y))
(+.f64 x (-.f64 #s(literal 0 binary64) %23))
(+.f64 x y)
(*.f64 %64 #s(literal 4 binary64))
(*.f64 %67 #s(literal 1/4 binary64))
(*.f64 %69 #s(literal -1/2 binary64))
(*.f64 %72 #s(literal 1/2 binary64))
(*.f64 %76 #s(literal 4 binary64))
(*.f64 %80 #s(literal -1/2 binary64))
(*.f64 %83 #s(literal 2 binary64))
(*.f64 %85 %46)
(*.f64 %71 %19)
(*.f64 %74 #s(literal 1/2 binary64))
(*.f64 %46 %85)
(*.f64 %19 %71)
(*.f64 #s(literal 1/4 binary64) %91)
(*.f64 %9 %93)
(*.f64 #s(literal 4 binary64) %95)
(*.f64 #s(literal 4 binary64) %97)
(*.f64 %29 %82)
(*.f64 %82 %29)
(*.f64 %93 %9)
(*.f64 #s(literal -2 binary64) %102)
(*.f64 #s(literal -2 binary64) %104)
(*.f64 #s(literal -2 binary64) %106)
(*.f64 #s(literal -2 binary64) %109)
(*.f64 #s(literal -2 binary64) %111)
(*.f64 #s(literal -2 binary64) %113)
(*.f64 #s(literal -1/2 binary64) %115)
(*.f64 #s(literal 1/2 binary64) %74)
(*.f64 #s(literal 2 binary64) %83)
(*.f64 %108 #s(literal -1 binary64))
(*.f64 %79 %50)
(*.f64 #s(literal -1 binary64) %108)
(*.f64 %14 x)
(*.f64 %50 %79)
(*.f64 #s(literal 1 binary64) %63)
(*.f64 %63 #s(literal 1 binary64))
(*.f64 x %14)
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 (*.f64 %50 %85) #s(literal 2 binary64))
(/.f64 (*.f64 %63 %130) %130)
(/.f64 %67 #s(literal 4 binary64))
(/.f64 %69 #s(literal -2 binary64))
(/.f64 %72 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %83) #s(literal 4 binary64))
(/.f64 (*.f64 %130 %63) %130)
(/.f64 %91 #s(literal 4 binary64))
(/.f64 (/.f64 %74 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %74 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %63) #s(literal -2 binary64))
(/.f64 %115 #s(literal -2 binary64))
(/.f64 (*.f64 %85 %9) #s(literal 4 binary64))
(/.f64 (*.f64 %71 %29) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %85) #s(literal 4 binary64))
(/.f64 (*.f64 %130 %74) (*.f64 %130 #s(literal 2 binary64)))
(/.f64 (*.f64 %130 %9) (*.f64 %130 %158))
(/.f64 (*.f64 %74 %130) (*.f64 #s(literal 2 binary64) %130))
(/.f64 (*.f64 %74 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %74 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %74 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %130) (*.f64 %158 %130))
(/.f64 (*.f64 %29 %71) #s(literal 4 binary64))
(/.f64 (*.f64 %9 #s(literal 4 binary64)) (*.f64 %158 #s(literal 4 binary64)))
(/.f64 (*.f64 #s(literal 4 binary64) %74) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %9) (*.f64 #s(literal 4 binary64) %158))
(/.f64 (*.f64 %50 %130) (*.f64 %16 %130))
(/.f64 (*.f64 %50 #s(literal 4 binary64)) (*.f64 %16 #s(literal 4 binary64)))
(/.f64 (*.f64 x %130) (*.f64 %3 %130))
(/.f64 (*.f64 x #s(literal 4 binary64)) (*.f64 %3 #s(literal 4 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %74) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %74) #s(literal 4 binary64))
(/.f64 %200 %201)
(/.f64 %200 %203)
(/.f64 %205 (*.f64 %158 #s(literal -2 binary64)))
(/.f64 %205 %208)
(/.f64 %210 %201)
(/.f64 %210 %203)
(/.f64 (*.f64 %130 %50) (*.f64 %130 %16))
(/.f64 (*.f64 %130 x) (*.f64 %130 %3))
(/.f64 (*.f64 #s(literal 4 binary64) %50) (*.f64 #s(literal 4 binary64) %16))
(/.f64 (*.f64 #s(literal 4 binary64) x) (*.f64 #s(literal 4 binary64) %3))
(/.f64 %225 (*.f64 #s(literal -2 binary64) %158))
(/.f64 %225 %228)
(/.f64 (*.f64 %130 %29) (*.f64 %130 %12))
(/.f64 (*.f64 #s(literal 4 binary64) %29) (*.f64 #s(literal 4 binary64) %12))
(/.f64 %236 (*.f64 #s(literal -2 binary64) %12))
(/.f64 %236 %203)
(/.f64 %240 %208)
(/.f64 %240 %228)
(/.f64 (*.f64 %29 %130) (*.f64 %12 %130))
(/.f64 (*.f64 %29 #s(literal 4 binary64)) (*.f64 %12 #s(literal 4 binary64)))
(/.f64 %249 (*.f64 %12 #s(literal -2 binary64)))
(/.f64 %249 %201)
(/.f64 %253 %208)
(/.f64 %253 %228)
(/.f64 (neg.f64 %74) #s(literal -2 binary64))
(/.f64 %74 #s(literal 2 binary64))
(/.f64 %9 (*.f64 %3 #s(literal -2 binary64)))
(/.f64 %9 (*.f64 #s(literal -2 binary64) %3))
(/.f64 %9 %158)
(/.f64 %29 (*.f64 %16 #s(literal -2 binary64)))
(/.f64 %29 (*.f64 #s(literal -2 binary64) %16))
(/.f64 %29 %12)
(/.f64 %50 (*.f64 %16 #s(literal 1 binary64)))
(/.f64 %50 %16)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %74))
(/.f64 #s(literal 1 binary64) (/.f64 %158 %9))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %29))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %16 %50))
(/.f64 #s(literal 1 binary64) (/.f64 %3 x))
(/.f64 %63 #s(literal 1 binary64))
(/.f64 x (*.f64 %3 #s(literal 1 binary64)))
%63
(neg.f64 %108)
(fma.f64 %64 #s(literal 4 binary64) %288)
(fma.f64 %64 #s(literal 4 binary64) %290)
(fma.f64 %64 #s(literal 4 binary64) %292)
(fma.f64 %64 #s(literal 4 binary64) %294)
(fma.f64 %64 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %67 #s(literal 1/4 binary64) %288)
(fma.f64 %67 #s(literal 1/4 binary64) %290)
(fma.f64 %67 #s(literal 1/4 binary64) %292)
(fma.f64 %67 #s(literal 1/4 binary64) %294)
(fma.f64 %67 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %69 #s(literal -1/2 binary64) %288)
(fma.f64 %69 #s(literal -1/2 binary64) %290)
(fma.f64 %69 #s(literal -1/2 binary64) %292)
(fma.f64 %69 #s(literal -1/2 binary64) %294)
(fma.f64 %69 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %72 #s(literal 1/2 binary64) %288)
(fma.f64 %72 #s(literal 1/2 binary64) %290)
(fma.f64 %72 #s(literal 1/2 binary64) %292)
(fma.f64 %72 #s(literal 1/2 binary64) %294)
(fma.f64 %72 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %76 #s(literal 4 binary64) %288)
(fma.f64 %76 #s(literal 4 binary64) %290)
(fma.f64 %76 #s(literal 4 binary64) %292)
(fma.f64 %76 #s(literal 4 binary64) %294)
(fma.f64 %76 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %82 %19) #s(literal 2 binary64) %83)
(fma.f64 (*.f64 %93 %46) #s(literal 2 binary64) %83)
(fma.f64 (*.f64 %82 #s(literal 1/2 binary64)) %29 %83)
(fma.f64 %80 #s(literal -1/2 binary64) %288)
(fma.f64 %80 #s(literal -1/2 binary64) %290)
(fma.f64 %80 #s(literal -1/2 binary64) %292)
(fma.f64 %80 #s(literal -1/2 binary64) %294)
(fma.f64 %80 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %111 #s(literal -1 binary64) %83)
(fma.f64 %83 #s(literal 2 binary64) %288)
(fma.f64 %83 #s(literal 2 binary64) %290)
(fma.f64 %83 #s(literal 2 binary64) %292)
(fma.f64 %83 #s(literal 2 binary64) %294)
(fma.f64 %83 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %83 #s(literal 1 binary64) %83)
(fma.f64 %85 %46 %288)
(fma.f64 %85 %46 %290)
(fma.f64 %85 %46 %292)
(fma.f64 %85 %46 %294)
(fma.f64 %85 %46 #s(literal 0 binary64))
(fma.f64 %71 %19 %288)
(fma.f64 %71 %19 %290)
(fma.f64 %71 %19 %292)
(fma.f64 %71 %19 %294)
(fma.f64 %71 %19 #s(literal 0 binary64))
(fma.f64 %74 #s(literal 1/2 binary64) %288)
(fma.f64 %74 #s(literal 1/2 binary64) %290)
(fma.f64 %74 #s(literal 1/2 binary64) %292)
(fma.f64 %74 #s(literal 1/2 binary64) %294)
(fma.f64 %74 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %46 %85 %288)
(fma.f64 %46 %85 %290)
(fma.f64 %46 %85 %292)
(fma.f64 %46 %85 %294)
(fma.f64 %46 %85 #s(literal 0 binary64))
(fma.f64 %46 %79 %83)
(fma.f64 %19 %71 %288)
(fma.f64 %19 %71 %290)
(fma.f64 %19 %71 %292)
(fma.f64 %19 %71 %294)
(fma.f64 %19 %71 #s(literal 0 binary64))
(fma.f64 %19 %14 %83)
(fma.f64 #s(literal 1/4 binary64) %91 %288)
(fma.f64 #s(literal 1/4 binary64) %91 %290)
(fma.f64 #s(literal 1/4 binary64) %91 %292)
(fma.f64 #s(literal 1/4 binary64) %91 %294)
(fma.f64 #s(literal 1/4 binary64) %91 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %74 %83)
(fma.f64 %9 %93 %288)
(fma.f64 %9 %93 %290)
(fma.f64 %9 %93 %292)
(fma.f64 %9 %93 %294)
(fma.f64 %9 %93 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %95 %288)
(fma.f64 #s(literal 4 binary64) %95 %290)
(fma.f64 #s(literal 4 binary64) %95 %292)
(fma.f64 #s(literal 4 binary64) %95 %294)
(fma.f64 #s(literal 4 binary64) %95 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %97 %288)
(fma.f64 #s(literal 4 binary64) %97 %290)
(fma.f64 #s(literal 4 binary64) %97 %292)
(fma.f64 #s(literal 4 binary64) %97 %294)
(fma.f64 #s(literal 4 binary64) %97 #s(literal 0 binary64))
(fma.f64 %29 %82 %288)
(fma.f64 %29 %82 %290)
(fma.f64 %29 %82 %292)
(fma.f64 %29 %82 %294)
(fma.f64 %29 %82 #s(literal 0 binary64))
(fma.f64 %82 %29 %288)
(fma.f64 %82 %29 %290)
(fma.f64 %82 %29 %292)
(fma.f64 %82 %29 %294)
(fma.f64 %82 %29 #s(literal 0 binary64))
(fma.f64 %82 x %83)
(fma.f64 %93 %9 %288)
(fma.f64 %93 %9 %290)
(fma.f64 %93 %9 %292)
(fma.f64 %93 %9 %294)
(fma.f64 %93 %9 #s(literal 0 binary64))
(fma.f64 %93 %50 %83)
(fma.f64 #s(literal -2 binary64) %102 %288)
(fma.f64 #s(literal -2 binary64) %102 %290)
(fma.f64 #s(literal -2 binary64) %102 %292)
(fma.f64 #s(literal -2 binary64) %102 %294)
(fma.f64 #s(literal -2 binary64) %102 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %104 %288)
(fma.f64 #s(literal -2 binary64) %104 %290)
(fma.f64 #s(literal -2 binary64) %104 %292)
(fma.f64 #s(literal -2 binary64) %104 %294)
(fma.f64 #s(literal -2 binary64) %104 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %106 %288)
(fma.f64 #s(literal -2 binary64) %106 %290)
(fma.f64 #s(literal -2 binary64) %106 %292)
(fma.f64 #s(literal -2 binary64) %106 %294)
(fma.f64 #s(literal -2 binary64) %106 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %109 %288)
(fma.f64 #s(literal -2 binary64) %109 %290)
(fma.f64 #s(literal -2 binary64) %109 %292)
(fma.f64 #s(literal -2 binary64) %109 %294)
(fma.f64 #s(literal -2 binary64) %109 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %111 %288)
(fma.f64 #s(literal -2 binary64) %111 %290)
(fma.f64 #s(literal -2 binary64) %111 %292)
(fma.f64 #s(literal -2 binary64) %111 %294)
(fma.f64 #s(literal -2 binary64) %111 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %113 %288)
(fma.f64 #s(literal -2 binary64) %113 %290)
(fma.f64 #s(literal -2 binary64) %113 %292)
(fma.f64 #s(literal -2 binary64) %113 %294)
(fma.f64 #s(literal -2 binary64) %113 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %115 %288)
(fma.f64 #s(literal -1/2 binary64) %115 %290)
(fma.f64 #s(literal -1/2 binary64) %115 %292)
(fma.f64 #s(literal -1/2 binary64) %115 %294)
(fma.f64 #s(literal -1/2 binary64) %115 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %108 %83)
(fma.f64 #s(literal 1/2 binary64) %74 %288)
(fma.f64 #s(literal 1/2 binary64) %74 %290)
(fma.f64 #s(literal 1/2 binary64) %74 %292)
(fma.f64 #s(literal 1/2 binary64) %74 %294)
(fma.f64 #s(literal 1/2 binary64) %74 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %63 %83)
(fma.f64 #s(literal 2 binary64) %83 %288)
(fma.f64 #s(literal 2 binary64) %83 %290)
(fma.f64 #s(literal 2 binary64) %83 %292)
(fma.f64 #s(literal 2 binary64) %83 %294)
(fma.f64 #s(literal 2 binary64) %83 #s(literal 0 binary64))
(fma.f64 %108 #s(literal -1/2 binary64) %83)
(fma.f64 %108 #s(literal -1 binary64) %288)
(fma.f64 %108 #s(literal -1 binary64) %290)
(fma.f64 %108 #s(literal -1 binary64) %292)
(fma.f64 %108 #s(literal -1 binary64) %294)
(fma.f64 %108 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %79 %46 %83)
(fma.f64 %79 %50 %288)
(fma.f64 %79 %50 %290)
(fma.f64 %79 %50 %292)
(fma.f64 %79 %50 %294)
(fma.f64 %79 %50 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %108 %288)
(fma.f64 #s(literal -1 binary64) %108 %290)
(fma.f64 #s(literal -1 binary64) %108 %292)
(fma.f64 #s(literal -1 binary64) %108 %294)
(fma.f64 #s(literal -1 binary64) %108 #s(literal 0 binary64))
(fma.f64 %14 %19 %83)
(fma.f64 %14 x %288)
(fma.f64 %14 x %290)
(fma.f64 %14 x %292)
(fma.f64 %14 x %294)
(fma.f64 %14 x #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %63 %63)
(fma.f64 %50 %93 %83)
(fma.f64 %50 %79 %288)
(fma.f64 %50 %79 %290)
(fma.f64 %50 %79 %292)
(fma.f64 %50 %79 %294)
(fma.f64 %50 %79 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %83 %83)
(fma.f64 #s(literal 1 binary64) %63 %288)
(fma.f64 #s(literal 1 binary64) %63 %290)
(fma.f64 #s(literal 1 binary64) %63 %292)
(fma.f64 #s(literal 1 binary64) %63 %294)
(fma.f64 #s(literal 1 binary64) %63 #s(literal 0 binary64))
(fma.f64 %63 #s(literal 1/2 binary64) %83)
(fma.f64 %63 #s(literal 0 binary64) %63)
(fma.f64 %63 #s(literal 1 binary64) %288)
(fma.f64 %63 #s(literal 1 binary64) %290)
(fma.f64 %63 #s(literal 1 binary64) %292)
(fma.f64 %63 #s(literal 1 binary64) %294)
(fma.f64 %63 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 x %82 %83)
(fma.f64 x %14 %288)
(fma.f64 x %14 %290)
(fma.f64 x %14 %292)
(fma.f64 x %14 %294)
(fma.f64 x %14 #s(literal 0 binary64))
(+.f64 %290 %63)
(+.f64 %294 %63)
(+.f64 %83 %83)
(+.f64 %63 %288)
(+.f64 %63 %290)
(+.f64 %63 %292)
(+.f64 %63 %294)
(+.f64 %63 #s(literal 0 binary64))
reconstruct28.0ms (2.9%)
Counts
385 → 42
Compiler
Compiled 385 to 613 computations (-59.2% saved)
eval2.0ms (0.2%)
Compiler
Compiled 40 to 161 computations (-302.5% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (4 fresh and 1 done)
PrunedKeptTotal
New36440
Fresh000
Picked011
Done000
Total36541
Accuracy
100.0%
Counts
41 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (+.f64 y x))
▶88.5%
(/.f64 x (approx (+ y x) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y)))))
▶52.0%
(/.f64 x (approx (+ y x) y))
▶49.8%
(approx (/ x (+ y x)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 y x))))
▶50.3%
(approx (/ x (+ y x)) #s(literal 1 binary64))
Compiler
Compiled 5 to 14 computations (-180.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series18.0ms (1.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0171582
Stop Event
1×iter-limit
Counts
16 → 34
Calls
Call 1
Inputs
%2 = (+ y x)
%3 = (approx %2 y)
%4 = (/.f64 x y)
%7 = (/.f64 y x)
%8 = (/ x %2)
%10 = (*.f64 #s(literal -1 binary64) %7)
%11 = (+.f64 #s(literal 1 binary64) %10)
%13 = (+.f64 #s(literal 1 binary64) %4)
%14 = (*.f64 y %13)
%15 = (approx %2 %14)
x
y
%3
%4
#s(literal -1 binary64)
#s(literal 1 binary64)
%7
(approx %8 #s(literal 1 binary64))
%10
%11
(approx %8 %11)
%13
%14
%15
(/.f64 x %15)
(/.f64 x %3)
Outputs
%5 = (+ y x)
%7 = (+.f64 x y)
%9 = (/ x y)
%10 = (/.f64 x y)
%12 = (/ y x)
%13 = (/.f64 y x)
%15 = (/ x %5)
%18 = (pow.f64 y #s(literal 2 binary64))
%21 = (/.f64 #s(literal 1 binary64) y)
%26 = (pow.f64 y #s(literal 3 binary64))
%28 = (/.f64 #s(literal 1 binary64) %18)
%44 = (* -1 %12)
%45 = (*.f64 #s(literal -1 binary64) %13)
%48 = (+ 1 %44)
%49 = (*.f64 #s(literal -1 binary64) y)
%53 = (+ 1 %9)
%55 = (+.f64 #s(literal 1 binary64) %10)
%62 = (pow.f64 x #s(literal 2 binary64))
%63 = (/.f64 %18 %62)
%67 = (pow.f64 x #s(literal 3 binary64))
%74 = (/.f64 #s(literal 1 binary64) x)
%117 = (/.f64 %62 y)
%122 = (/.f64 %67 %18)
%127 = (pow.f64 x #s(literal 4 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 %7)
(approx %9 %10)
(approx %12 %13)
(approx %15 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x %18) %21)))
(approx %15 (*.f64 x (fma.f64 x (-.f64 (/.f64 x %26) %28) %21)))
(approx %15 (*.f64 x (fma.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 y #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %26))) %28) %21)))
(approx %44 %45)
(approx %48 (/.f64 (+.f64 x %49) x))
(approx %53 #s(literal 1 binary64))
(approx %53 %55)
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %13)))
(approx %15 (+.f64 #s(literal 1 binary64) %45))
(approx %15 (-.f64 (+.f64 #s(literal 1 binary64) %63) %13))
(approx %15 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %26 %67))) (fma.f64 #s(literal -1 binary64) %63 %13)))
(approx %53 (*.f64 x (+.f64 %74 %21)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %45 #s(literal 1 binary64)))))
(approx %15 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %18 x)) %49) x))))
(approx %15 (+.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 %26 x)) (*.f64 #s(literal -1 binary64) %18)) x)) %49) x))))
(approx %15 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (/.f64 y %62) %74))))
(approx %15 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 y %67) (/.f64 #s(literal 1 binary64) %62))) %74))))
(approx %53 (/.f64 %7 y))
(approx %5 (*.f64 y %55))
(approx %15 (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) %117)) y))
(approx %15 (/.f64 (-.f64 (+.f64 x %122) %117) y))
(approx %15 (/.f64 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 %127 %26))) (fma.f64 #s(literal -1 binary64) %122 %117)) y))
(approx %48 (*.f64 y (-.f64 %21 %74)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %10) #s(literal 1 binary64)))))
(approx %15 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %117) y)))
(approx %15 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %67 y) %62) y))) y)))
(approx %15 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %127 y) %67) y)) %62) y))) y)))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %74 %21))))
Calls
6 calls:
TimeVariablePoint
3.0ms
y
inf
2.0ms
x
0
2.0ms
y
0
2.0ms
x
-inf
2.0ms
y
-inf
rewrite81.0ms (8.2%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01890
02687
110473
240273
3191673
0414673
0501873
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
16 → 457
Calls
Call 1
Inputs
%2 = (+ y x)
%3 = (approx %2 y)
%4 = (/.f64 x y)
%7 = (/.f64 y x)
%8 = (/ x %2)
%10 = (*.f64 #s(literal -1 binary64) %7)
%11 = (+.f64 #s(literal 1 binary64) %10)
%13 = (+.f64 #s(literal 1 binary64) %4)
%14 = (*.f64 y %13)
%15 = (approx %2 %14)
x
y
%3
%4
#s(literal -1 binary64)
#s(literal 1 binary64)
%7
(approx %8 #s(literal 1 binary64))
%10
%11
(approx %8 %11)
%13
%14
%15
(/.f64 x %15)
(/.f64 x %3)
Outputs
%3 = (+ y x)
%4 = (approx %3 y)
%8 = (/.f64 #s(literal -1 binary64) y)
%9 = (*.f64 %8 y)
%12 = (/.f64 #s(literal 1 binary64) y)
%13 = (neg.f64 y)
%14 = (*.f64 %12 %13)
%17 = (/.f64 %13 y)
%20 = (/.f64 #s(literal 1 binary64) %4)
%22 = (neg.f64 %4)
%24 = (+.f64 y y)
%25 = (/.f64 x %24)
%28 = (/.f64 x #s(literal 2 binary64))
%30 = (*.f64 #s(literal 1/2 binary64) y)
%31 = (/.f64 #s(literal 1 binary64) %30)
%33 = (*.f64 x #s(literal 2 binary64))
%34 = (/.f64 #s(literal 1/2 binary64) y)
%36 = (neg.f64 x)
%38 = (*.f64 %34 x)
%42 = (/.f64 x y)
%51 = (neg.f64 %30)
%53 = (/.f64 %36 y)
%54 = (*.f64 %13 %53)
%56 = (*.f64 %53 %13)
%73 = (/.f64 y x)
%77 = (/.f64 #s(literal 1 binary64) x)
%78 = (*.f64 %77 %24)
%80 = (*.f64 %77 #s(literal 2 binary64))
%82 = (neg.f64 %73)
%84 = (*.f64 %82 #s(literal -2 binary64))
%86 = (*.f64 %73 #s(literal 2 binary64))
%88 = (/.f64 #s(literal 1/2 binary64) x)
%90 = (*.f64 %88 y)
%92 = (*.f64 #s(literal 1/2 binary64) %82)
%94 = (/.f64 #s(literal -1 binary64) x)
%96 = (*.f64 #s(literal 2 binary64) %73)
%100 = (*.f64 %94 #s(literal 1 binary64))
%107 = (*.f64 %94 #s(literal -1 binary64))
%115 = (*.f64 #s(literal 2 binary64) %13)
%116 = (neg.f64 %115)
%117 = (*.f64 #s(literal 2 binary64) %36)
%118 = (neg.f64 %117)
%121 = (neg.f64 %24)
%122 = (neg.f64 %33)
%124 = (*.f64 #s(literal 2 binary64) x)
%125 = (neg.f64 %124)
%128 = (*.f64 %13 #s(literal 2 binary64))
%129 = (*.f64 %36 #s(literal 2 binary64))
%132 = (neg.f64 %129)
%150 = (*.f64 %73 #s(literal 0 binary64))
%152 = (*.f64 #s(literal 0 binary64) %73)
%203 = (/ x %3)
%204 = (approx %203 #s(literal 1 binary64))
%215 = (*.f64 %73 #s(literal -2 binary64))
%218 = (*.f64 #s(literal 1/2 binary64) %94)
%220 = (/.f64 #s(literal -1/2 binary64) x)
%224 = (*.f64 %90 #s(literal -1 binary64))
%226 = (*.f64 %30 %94)
%228 = (/.f64 %51 x)
%230 = (neg.f64 %90)
%254 = (-.f64 x y)
%256 = (-.f64 #s(literal 1/2 binary64) %90)
%258 = (/.f64 %254 x)
%261 = (fma.f64 %82 #s(literal 2 binary64) #s(literal 2 binary64))
%264 = (+.f64 %36 y)
%267 = (-.f64 %36 %13)
%270 = (fma.f64 %13 #s(literal 2 binary64) %124)
%273 = (fma.f64 #s(literal 2 binary64) y %117)
%276 = (fma.f64 #s(literal 2 binary64) x %128)
%279 = (fma.f64 #s(literal 2 binary64) %36 %24)
%282 = (fma.f64 %13 #s(literal 2 binary64) %33)
%285 = (fma.f64 #s(literal 2 binary64) y %129)
%288 = (fma.f64 #s(literal 2 binary64) x %115)
%291 = (-.f64 %117 %115)
%294 = (-.f64 %124 %24)
%297 = (neg.f64 %254)
%363 = (approx %203 %258)
%374 = (+.f64 y x)
%375 = (*.f64 %374 #s(literal 2 binary64))
%377 = (/.f64 %374 y)
%378 = (/.f64 %377 %24)
%379 = (/.f64 y #s(literal 1/2 binary64))
%381 = (/.f64 %377 #s(literal 2 binary64))
%382 = (/.f64 y %30)
%384 = (/.f64 y %24)
%385 = (/.f64 %377 #s(literal 1/2 binary64))
%387 = (/.f64 y #s(literal 2 binary64))
%388 = (/.f64 %377 %30)
%390 = (/.f64 %377 y)
%393 = (neg.f64 %374)
%398 = (*.f64 %377 %12)
%402 = (*.f64 %374 #s(literal -1 binary64))
%405 = (fma.f64 %42 #s(literal 2 binary64) #s(literal 2 binary64))
%408 = (fma.f64 #s(literal 2 binary64) %13 %129)
%411 = (fma.f64 #s(literal 2 binary64) y %33)
%414 = (fma.f64 %36 #s(literal 2 binary64) %115)
%417 = (/.f64 %374 %24)
%420 = (/.f64 %374 #s(literal 2 binary64))
%423 = (fma.f64 #s(literal 2 binary64) %13 %117)
%426 = (fma.f64 #s(literal 2 binary64) y %124)
%429 = (fma.f64 %36 #s(literal 2 binary64) %128)
%432 = (fma.f64 x #s(literal 2 binary64) %24)
%435 = (-.f64 %24 %117)
%438 = (-.f64 %115 %124)
%441 = (*.f64 %374 y)
%442 = (*.f64 %441 #s(literal -1 binary64))
%444 = (*.f64 y %13)
%445 = (neg.f64 %444)
%448 = (fma.f64 y %13 (*.f64 %36 y))
%449 = (neg.f64 %448)
%452 = (*.f64 %393 %12)
%457 = (*.f64 %374 %8)
%462 = (+.f64 #s(literal -1 binary64) %53)
%467 = (/.f64 %393 y)
%472 = (-.f64 #s(literal -1 binary64) %42)
%491 = (neg.f64 %441)
%492 = (*.f64 y y)
%496 = (neg.f64 %377)
%580 = (/.f64 %441 %24)
%583 = (/.f64 %441 #s(literal 2 binary64))
%586 = (/.f64 %441 #s(literal 1 binary64))
%623 = (approx %3 %374)
%632 = (/.f64 #s(literal 1 binary64) %623)
%634 = (neg.f64 %623)
%636 = (/.f64 #s(literal 1/2 binary64) %623)
%638 = (/.f64 #s(literal -1 binary64) %623)
%644 = (/.f64 x %623)
%667 = (/.f64 #s(literal 1/2 binary64) %4)
%669 = (/.f64 #s(literal -1 binary64) %4)
%675 = (/.f64 x %4)
x
y
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 %17))
(/.f64 #s(literal 1 binary64) %20)
(neg.f64 %22)
(*.f64 %25 #s(literal 2 binary64))
(*.f64 %28 %31)
(*.f64 %33 %34)
(*.f64 %8 %36)
(*.f64 #s(literal 2 binary64) %38)
(*.f64 %12 x)
(*.f64 %36 %8)
(*.f64 #s(literal 1 binary64) %42)
(*.f64 %42 #s(literal 1 binary64))
(*.f64 x %12)
(pow.f64 %42 #s(literal 1 binary64))
(/.f64 (neg.f64 %25) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %28) %51)
(/.f64 %54 y)
(/.f64 %56 y)
(/.f64 %25 #s(literal 1/2 binary64))
(/.f64 %28 %30)
(/.f64 %53 %9)
(/.f64 %53 %14)
(/.f64 %53 %17)
(/.f64 %53 #s(literal -1 binary64))
(/.f64 %36 %13)
(/.f64 #s(literal 1 binary64) (pow.f64 %42 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %73)
(/.f64 %42 #s(literal 1 binary64))
%42
(neg.f64 %53)
#s(literal -1 binary64)
#s(literal 1 binary64)
(*.f64 %78 #s(literal 1/2 binary64))
(*.f64 %80 %30)
(*.f64 %84 #s(literal 1/2 binary64))
(*.f64 %86 #s(literal 1/2 binary64))
(*.f64 %24 %88)
(*.f64 %90 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %92)
(*.f64 %94 %13)
(*.f64 #s(literal 1/2 binary64) %96)
(*.f64 #s(literal 2 binary64) %90)
(*.f64 %77 y)
(*.f64 %13 %100)
(*.f64 %13 %94)
(*.f64 %82 #s(literal -1 binary64))
(*.f64 %73 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %73)
(*.f64 #s(literal -1 binary64) %82)
(*.f64 y %107)
(*.f64 y %77)
(pow.f64 %73 #s(literal 1 binary64))
(/.f64 (neg.f64 %96) #s(literal -2 binary64))
(/.f64 (neg.f64 %86) #s(literal -2 binary64))
(/.f64 %116 %118)
(/.f64 %96 #s(literal 2 binary64))
(/.f64 %121 %122)
(/.f64 %121 %125)
(/.f64 %86 #s(literal 2 binary64))
(/.f64 %128 %129)
(/.f64 %115 %117)
(/.f64 %24 %132)
(/.f64 %24 %33)
(/.f64 %24 %124)
(/.f64 %13 %36)
(/.f64 #s(literal 1 binary64) (pow.f64 %73 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %73 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %42)
(/.f64 y %54)
(/.f64 y %56)
%73
(neg.f64 %82)
(fma.f64 %78 #s(literal 1/2 binary64) %150)
(fma.f64 %78 #s(literal 1/2 binary64) %152)
(fma.f64 %80 %30 %150)
(fma.f64 %80 %30 %152)
(fma.f64 %84 #s(literal 1/2 binary64) %150)
(fma.f64 %84 #s(literal 1/2 binary64) %152)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %13) %94 %90)
(fma.f64 %92 #s(literal -1 binary64) %90)
(fma.f64 %86 #s(literal 1/2 binary64) %150)
(fma.f64 %86 #s(literal 1/2 binary64) %152)
(fma.f64 #s(literal -1/2 binary64) %82 %90)
(fma.f64 %24 %88 %150)
(fma.f64 %24 %88 %152)
(fma.f64 %90 #s(literal 2 binary64) %150)
(fma.f64 %90 #s(literal 2 binary64) %152)
(fma.f64 %90 #s(literal 1 binary64) %90)
(fma.f64 %30 %77 %90)
(fma.f64 %88 y %90)
(fma.f64 #s(literal -2 binary64) %92 %150)
(fma.f64 #s(literal -2 binary64) %92 %152)
(fma.f64 %94 %13 %150)
(fma.f64 %94 %13 %152)
(fma.f64 #s(literal 1/2 binary64) %96 %150)
(fma.f64 #s(literal 1/2 binary64) %96 %152)
(fma.f64 #s(literal 1/2 binary64) %73 %90)
(fma.f64 #s(literal 2 binary64) %90 %150)
(fma.f64 #s(literal 2 binary64) %90 %152)
(fma.f64 %77 y %150)
(fma.f64 %77 y %152)
(fma.f64 %13 %100 %150)
(fma.f64 %13 %100 %152)
(fma.f64 %13 %94 %150)
(fma.f64 %13 %94 %152)
(fma.f64 %82 #s(literal -1 binary64) %150)
(fma.f64 %82 #s(literal -1 binary64) %152)
(fma.f64 %73 #s(literal 1/2 binary64) %90)
(fma.f64 %73 #s(literal 1 binary64) %150)
(fma.f64 %73 #s(literal 1 binary64) %152)
(fma.f64 #s(literal 1 binary64) %90 %90)
(fma.f64 #s(literal 1 binary64) %73 %150)
(fma.f64 #s(literal 1 binary64) %73 %152)
(fma.f64 #s(literal -1 binary64) %82 %150)
(fma.f64 #s(literal -1 binary64) %82 %152)
(fma.f64 y %107 %150)
(fma.f64 y %107 %152)
(fma.f64 y %77 %150)
(fma.f64 y %77 %152)
(+.f64 %90 %90)
(+.f64 %73 %150)
(+.f64 %73 %152)
(*.f64 #s(literal 1 binary64) %204)
(pow.f64 %204 #s(literal 1 binary64))
%204
(/.f64 #s(literal 1 binary64) (pow.f64 %204 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 #s(literal -1 binary64)))
(*.f64 %215 #s(literal 1/2 binary64))
(*.f64 %128 %88)
(*.f64 %24 %218)
(*.f64 %24 %220)
(*.f64 #s(literal -2 binary64) %90)
(*.f64 %94 y)
(*.f64 #s(literal 2 binary64) %224)
(*.f64 #s(literal 2 binary64) %226)
(*.f64 #s(literal 2 binary64) %228)
(*.f64 #s(literal 2 binary64) %230)
(*.f64 %77 %13)
(*.f64 %13 %107)
(*.f64 %13 %77)
(*.f64 %82 #s(literal 1 binary64))
(*.f64 %73 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %82)
(*.f64 #s(literal -1 binary64) %73)
(*.f64 y %94)
(pow.f64 %82 #s(literal 1 binary64))
(/.f64 %13 %54)
(/.f64 %13 %56)
(/.f64 %13 x)
(/.f64 #s(literal 1 binary64) (pow.f64 %82 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %82 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %82 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %82 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %53)
(/.f64 y %36)
%82
(*.f64 %254 %77)
(*.f64 #s(literal 2 binary64) %256)
(*.f64 #s(literal 1 binary64) %258)
(pow.f64 %258 #s(literal 1 binary64))
(/.f64 (neg.f64 %261) #s(literal -2 binary64))
(/.f64 (neg.f64 %264) x)
(/.f64 (neg.f64 %267) x)
(/.f64 (neg.f64 %270) %122)
(/.f64 (neg.f64 %273) %132)
(/.f64 (neg.f64 %276) %125)
(/.f64 (neg.f64 %279) %118)
(/.f64 (neg.f64 %282) %122)
(/.f64 (neg.f64 %285) %132)
(/.f64 (neg.f64 %288) %125)
(/.f64 (neg.f64 %291) %118)
(/.f64 (neg.f64 %294) %125)
(/.f64 (neg.f64 %297) x)
(/.f64 %261 #s(literal 2 binary64))
(/.f64 %264 %36)
(/.f64 %267 %36)
(/.f64 %270 %33)
(/.f64 %273 %129)
(/.f64 %276 %124)
(/.f64 %279 %117)
(/.f64 %282 %33)
(/.f64 %285 %129)
(/.f64 %288 %124)
(/.f64 %291 %117)
(/.f64 %294 %124)
(/.f64 %297 %36)
(/.f64 %254 %54)
(/.f64 %254 %56)
%258
(/.f64 #s(literal 1 binary64) (pow.f64 %258 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %258 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %258 %17))
(/.f64 #s(literal 1 binary64) (/.f64 x %254))
(/.f64 #s(literal 1 binary64) (pow.f64 %258 #s(literal -1 binary64)))
(neg.f64 (-.f64 %73 #s(literal 1 binary64)))
(fma.f64 %215 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %128 %88 #s(literal 1 binary64))
(fma.f64 %24 %218 #s(literal 1 binary64))
(fma.f64 %24 %220 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %90 #s(literal 1 binary64))
(fma.f64 %94 y #s(literal 1 binary64))
(fma.f64 %254 %77 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %224 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %226 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %228 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %256 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %230 #s(literal 1 binary64))
(fma.f64 %77 %13 #s(literal 1 binary64))
(fma.f64 %13 %107 #s(literal 1 binary64))
(fma.f64 %13 %77 #s(literal 1 binary64))
(fma.f64 %82 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %73 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %258 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %82 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %73 #s(literal 1 binary64))
(fma.f64 y %94 #s(literal 1 binary64))
(-.f64 %82 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %73)
(+.f64 (+.f64 %82 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %82))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %73))
(+.f64 %258 #s(literal 0 binary64))
(+.f64 %82 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %82))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %73))
(+.f64 #s(literal 1 binary64) %82)
(*.f64 #s(literal 1 binary64) %363)
(pow.f64 %363 #s(literal 1 binary64))
%363
(/.f64 #s(literal 1 binary64) (pow.f64 %363 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %363 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %363 %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %363 #s(literal -1 binary64)))
(*.f64 %375 %34)
(*.f64 %378 %379)
(*.f64 %381 %382)
(*.f64 %384 %385)
(*.f64 %387 %388)
(*.f64 %390 y)
(*.f64 %12 %374)
(*.f64 %393 %8)
(*.f64 %377 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %377)
(*.f64 %374 %12)
(*.f64 y %398)
(*.f64 y %390)
(pow.f64 %377 #s(literal 1 binary64))
(/.f64 (neg.f64 %402) y)
(/.f64 (neg.f64 %405) #s(literal -2 binary64))
(/.f64 (neg.f64 %408) %116)
(/.f64 (neg.f64 %411) %121)
(/.f64 (neg.f64 %414) %24)
(/.f64 (neg.f64 %417) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %420) %51)
(/.f64 (neg.f64 %423) %116)
(/.f64 (neg.f64 %426) %121)
(/.f64 (neg.f64 %429) %24)
(/.f64 (neg.f64 %432) %121)
(/.f64 (neg.f64 %435) %121)
(/.f64 (neg.f64 %438) %116)
(/.f64 (neg.f64 %442) %445)
(/.f64 %449 %445)
(/.f64 %402 %13)
(/.f64 %452 %9)
(/.f64 %452 %14)
(/.f64 %452 %17)
(/.f64 %452 #s(literal -1 binary64))
(/.f64 %457 %9)
(/.f64 %457 %14)
(/.f64 %457 %17)
(/.f64 %457 #s(literal -1 binary64))
(/.f64 %462 %9)
(/.f64 %462 %14)
(/.f64 %462 %17)
(/.f64 %462 #s(literal -1 binary64))
(/.f64 %467 %9)
(/.f64 %467 %14)
(/.f64 %467 %17)
(/.f64 %467 #s(literal -1 binary64))
(/.f64 %472 %9)
(/.f64 %472 %14)
(/.f64 %472 %17)
(/.f64 %472 #s(literal -1 binary64))
(/.f64 %405 #s(literal 2 binary64))
(/.f64 %408 %115)
(/.f64 %411 %24)
(/.f64 %414 %128)
(/.f64 %417 #s(literal 1/2 binary64))
(/.f64 %420 %30)
(/.f64 %448 %444)
(/.f64 %423 %115)
(/.f64 %426 %24)
(/.f64 %429 %128)
(/.f64 %432 %24)
(/.f64 %435 %24)
(/.f64 %438 %115)
(/.f64 %442 %444)
(/.f64 %491 (neg.f64 %492))
(/.f64 %441 %492)
(/.f64 %496 %9)
(/.f64 %496 %14)
(/.f64 %496 %17)
(/.f64 %496 #s(literal -1 binary64))
(/.f64 %393 %13)
(/.f64 %377 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %377 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %377 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %377 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %13 %393))
(/.f64 #s(literal 1 binary64) (/.f64 y %374))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %377))
%377
(neg.f64 %452)
(neg.f64 %457)
(neg.f64 %462)
(neg.f64 %467)
(neg.f64 %472)
(neg.f64 %496)
(fma.f64 %375 %34 #s(literal 0 binary64))
(fma.f64 %25 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %28 %31 #s(literal 1 binary64))
(fma.f64 %378 %379 #s(literal 0 binary64))
(fma.f64 %381 %382 #s(literal 0 binary64))
(fma.f64 %384 %385 #s(literal 0 binary64))
(fma.f64 %387 %388 #s(literal 0 binary64))
(fma.f64 %390 y #s(literal 0 binary64))
(fma.f64 %33 %34 #s(literal 1 binary64))
(fma.f64 %8 %36 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %38 #s(literal 1 binary64))
(fma.f64 %12 %374 #s(literal 0 binary64))
(fma.f64 %12 x #s(literal 1 binary64))
(fma.f64 %393 %8 #s(literal 0 binary64))
(fma.f64 %36 %8 #s(literal 1 binary64))
(fma.f64 %377 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %377 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %42 #s(literal 1 binary64))
(fma.f64 %42 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %374 %12 #s(literal 0 binary64))
(fma.f64 y %398 #s(literal 0 binary64))
(fma.f64 y %390 #s(literal 0 binary64))
(fma.f64 x %12 #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) %53)
(-.f64 %42 %17)
(-.f64 %42 #s(literal -1 binary64))
(+.f64 (+.f64 %42 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %42))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %53))
(+.f64 %377 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %42))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %53))
(+.f64 #s(literal 1 binary64) %42)
(+.f64 %42 #s(literal 1 binary64))
(*.f64 (*.f64 %377 %24) #s(literal 1/2 binary64))
(*.f64 (*.f64 %377 #s(literal 2 binary64)) %30)
(*.f64 %417 %379)
(*.f64 %420 %382)
(*.f64 %384 (/.f64 %374 #s(literal 1/2 binary64)))
(*.f64 %387 (/.f64 %374 %30))
(*.f64 %24 (*.f64 #s(literal 1/2 binary64) %377))
(*.f64 %441 %12)
(*.f64 #s(literal 2 binary64) (*.f64 %30 %377))
(*.f64 %377 y)
(*.f64 #s(literal 1 binary64) %374)
(*.f64 %374 #s(literal 1 binary64))
(*.f64 y %377)
(pow.f64 %374 #s(literal 1 binary64))
(/.f64 (neg.f64 %580) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %583) %51)
(/.f64 (neg.f64 %586) %13)
(/.f64 %449 y)
(/.f64 (neg.f64 %491) y)
(/.f64 %580 #s(literal 1/2 binary64))
(/.f64 %583 %30)
(/.f64 %586 y)
(/.f64 (*.f64 %13 %374) %13)
(/.f64 (*.f64 %393 y) %13)
(/.f64 (*.f64 y %393) %13)
(/.f64 (*.f64 %374 %13) %13)
(/.f64 %448 %13)
(/.f64 %491 %13)
(/.f64 %441 y)
(/.f64 %393 %9)
(/.f64 %393 %14)
(/.f64 %393 %17)
(/.f64 %393 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %374 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %374 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %374 %17))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %374))
(/.f64 %374 #s(literal 1 binary64))
(neg.f64 %393)
(-.f64 y %36)
(-.f64 x %13)
%374
(+.f64 x y)
(*.f64 #s(literal 1 binary64) %623)
(pow.f64 %623 #s(literal 1 binary64))
%623
(/.f64 #s(literal 1 binary64) (pow.f64 %623 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %623 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %623 %17))
(/.f64 #s(literal 1 binary64) %632)
(neg.f64 %634)
(*.f64 %33 %636)
(*.f64 %638 %36)
(*.f64 #s(literal 2 binary64) (*.f64 %636 x))
(*.f64 %632 x)
(*.f64 %36 %638)
(*.f64 #s(literal 1 binary64) %644)
(*.f64 x %632)
(pow.f64 %644 #s(literal 1 binary64))
(/.f64 %54 %623)
(/.f64 %56 %623)
(/.f64 %36 %634)
(/.f64 #s(literal 1 binary64) (pow.f64 %644 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %644 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %644 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %634 %36))
(/.f64 #s(literal 1 binary64) (pow.f64 %644 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %623 x))
%644
(neg.f64 (*.f64 %638 x))
(neg.f64 (/.f64 %36 %623))
(*.f64 %33 %667)
(*.f64 %669 %36)
(*.f64 #s(literal 2 binary64) (*.f64 %667 x))
(*.f64 %20 x)
(*.f64 %36 %669)
(*.f64 #s(literal 1 binary64) %675)
(*.f64 x %20)
(pow.f64 %675 #s(literal 1 binary64))
(/.f64 %54 %4)
(/.f64 %56 %4)
(/.f64 %36 %22)
(/.f64 #s(literal 1 binary64) (pow.f64 %675 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %675 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %675 %17))
(/.f64 #s(literal 1 binary64) (/.f64 %22 %36))
(/.f64 #s(literal 1 binary64) (pow.f64 %675 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %4 x))
%675
(neg.f64 (*.f64 %669 x))
(neg.f64 (/.f64 %36 %4))
reconstruct36.0ms (3.6%)
Counts
490 → 118
Compiler
Compiled 490 to 806 computations (-64.5% saved)
eval10.0ms (1.0%)
Compiler
Compiled 112 to 395 computations (-252.7% saved)
prune2.0ms (0.2%)
Pruning
5 alts after pruning (1 fresh and 4 done)
PrunedKeptTotal
New1111112
Fresh000
Picked134
Done011
Total1125117
Accuracy
100.0%
Counts
117 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (+.f64 y x))
✓88.5%
(/.f64 x (approx (+ y x) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y)))))
✓52.0%
(/.f64 x (approx (+ y x) y))
▶49.8%
(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
✓50.3%
(approx (/ x (+ y x)) #s(literal 1 binary64))
Compiler
Compiled 5 to 12 computations (-140.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series10.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0149478
Stop Event
1×iter-limit
Counts
6 → 26
Calls
Call 1
Inputs
%3 = (/.f64 y x)
%4 = (-.f64 #s(literal 1 binary64) %3)
x
y
#s(literal 1 binary64)
%3
%4
(approx (/ x (+ y x)) %4)
Outputs
%5 = (/ y x)
%6 = (/.f64 y x)
%9 = (- 1 %5)
%11 = (*.f64 #s(literal -1 binary64) %6)
%17 = (/ x (+ y x))
%21 = (pow.f64 y #s(literal 2 binary64))
%24 = (/.f64 #s(literal 1 binary64) y)
%29 = (pow.f64 y #s(literal 3 binary64))
%31 = (/.f64 #s(literal 1 binary64) %21)
%49 = (pow.f64 x #s(literal 2 binary64))
%50 = (/.f64 %21 %49)
%54 = (pow.f64 x #s(literal 3 binary64))
%63 = (*.f64 #s(literal -1 binary64) y)
%82 = (/.f64 #s(literal 1 binary64) x)
%98 = (/.f64 %49 y)
%103 = (/.f64 %54 %21)
%108 = (pow.f64 x #s(literal 4 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %9 %11)
(approx %9 (/.f64 (-.f64 x y) x))
(approx %17 (/.f64 x y))
(approx %17 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x %21) %24)))
(approx %17 (*.f64 x (fma.f64 x (-.f64 (/.f64 x %29) %31) %24)))
(approx %17 (*.f64 x (fma.f64 x (-.f64 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 x (pow.f64 y #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) %29))) %31) %24)))
(approx %9 #s(literal 1 binary64))
(approx %9 (+.f64 #s(literal 1 binary64) %11))
(approx %17 (-.f64 (+.f64 #s(literal 1 binary64) %50) %6))
(approx %17 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %29 %54))) (fma.f64 #s(literal -1 binary64) %50 %6)))
(approx %17 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %21 x)) %63) x))))
(approx %17 (+.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 %29 x)) (*.f64 #s(literal -1 binary64) %21)) x)) %63) x))))
(approx y y)
(approx %17 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (/.f64 y %49) %82))))
(approx %17 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 y %54) (/.f64 #s(literal 1 binary64) %49))) %82))))
(approx %9 (*.f64 y (-.f64 %24 %82)))
(approx %17 (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) %98)) y))
(approx %17 (/.f64 (-.f64 (+.f64 x %103) %98) y))
(approx %17 (/.f64 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 %108 %29))) (fma.f64 #s(literal -1 binary64) %103 %98)) y))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %82 %24))))
(approx %17 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %98) y)))
(approx %17 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %54 y) %49) y))) y)))
(approx %17 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 %108 y) %54) y)) %49) y))) y)))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
x
0
1.0ms
y
0
rewrite89.0ms (8.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0822
01022
14622
215022
366522
0407322
0423222
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 483
Calls
Call 1
Inputs
%3 = (/.f64 y x)
%4 = (-.f64 #s(literal 1 binary64) %3)
x
y
#s(literal 1 binary64)
%3
%4
(approx (/ x (+ y x)) %4)
Outputs
%4 = (*.f64 y #s(literal 1/2 binary64))
%6 = (/.f64 #s(literal 2 binary64) x)
%8 = (/.f64 y #s(literal 1 binary64))
%9 = (/.f64 #s(literal 1 binary64) x)
%11 = (*.f64 y #s(literal 2 binary64))
%12 = (/.f64 #s(literal 1/2 binary64) x)
%15 = (/.f64 #s(literal -1 binary64) x)
%16 = (neg.f64 y)
%18 = (*.f64 %12 y)
%22 = (/.f64 y x)
%27 = (*.f64 %16 #s(literal 1 binary64))
%28 = (*.f64 #s(literal 1/2 binary64) x)
%29 = (*.f64 %27 %28)
%30 = (neg.f64 x)
%31 = (*.f64 %30 %28)
%33 = (*.f64 y #s(literal -1 binary64))
%36 = (*.f64 #s(literal -1 binary64) y)
%40 = (*.f64 %28 %28)
%43 = (*.f64 x %28)
%45 = (*.f64 %16 %28)
%49 = (*.f64 y %28)
%51 = (*.f64 %28 %27)
%52 = (*.f64 %28 %30)
%54 = (*.f64 %28 %33)
%56 = (*.f64 %28 %36)
%58 = (*.f64 %28 %4)
%60 = (*.f64 %28 %8)
%61 = (*.f64 %28 x)
%63 = (*.f64 %28 %16)
%65 = (*.f64 %28 %22)
%67 = (*.f64 %28 y)
%75 = (*.f64 %30 #s(literal 2 binary64))
%80 = (*.f64 %27 #s(literal -2 binary64))
%81 = (*.f64 %30 #s(literal -2 binary64))
%83 = (*.f64 %27 %30)
%84 = (*.f64 x x)
%86 = (*.f64 %27 #s(literal 1 binary64))
%88 = (*.f64 %27 x)
%89 = (*.f64 %30 x)
%108 = (*.f64 %28 #s(literal -2 binary64))
%117 = (*.f64 x #s(literal -2 binary64))
%120 = (*.f64 x %30)
%126 = (*.f64 %16 #s(literal -2 binary64))
%128 = (*.f64 %16 %30)
%130 = (*.f64 %16 x)
%138 = (*.f64 y #s(literal -2 binary64))
%139 = (*.f64 #s(literal 2 binary64) %30)
%143 = (*.f64 y %30)
%145 = (*.f64 y x)
%147 = (*.f64 #s(literal -2 binary64) %27)
%148 = (*.f64 #s(literal -2 binary64) %30)
%150 = (*.f64 #s(literal -2 binary64) %33)
%152 = (*.f64 #s(literal -2 binary64) %36)
%154 = (*.f64 #s(literal -2 binary64) %4)
%156 = (*.f64 #s(literal -2 binary64) %8)
%157 = (*.f64 #s(literal -2 binary64) x)
%159 = (*.f64 #s(literal -2 binary64) %16)
%161 = (*.f64 #s(literal -2 binary64) %22)
%163 = (*.f64 #s(literal -2 binary64) y)
%165 = (*.f64 #s(literal 2 binary64) %27)
%167 = (*.f64 #s(literal 2 binary64) %33)
%169 = (*.f64 #s(literal 2 binary64) %36)
%171 = (*.f64 #s(literal 2 binary64) %4)
%173 = (*.f64 #s(literal 2 binary64) %8)
%174 = (*.f64 #s(literal 2 binary64) x)
%176 = (*.f64 #s(literal 2 binary64) %22)
%178 = (*.f64 %30 %27)
%180 = (*.f64 %30 %33)
%182 = (*.f64 %30 %36)
%184 = (*.f64 %30 %4)
%186 = (*.f64 %30 %8)
%188 = (*.f64 %30 %16)
%190 = (*.f64 %30 %22)
%192 = (*.f64 %30 y)
%194 = (*.f64 #s(literal 1 binary64) %27)
%196 = (*.f64 #s(literal 1 binary64) %33)
%198 = (*.f64 #s(literal 1 binary64) %36)
%200 = (*.f64 #s(literal 1 binary64) %4)
%202 = (*.f64 #s(literal 1 binary64) %8)
%204 = (*.f64 x %27)
%206 = (*.f64 x %33)
%208 = (*.f64 x %36)
%210 = (*.f64 x %4)
%212 = (*.f64 x %8)
%214 = (*.f64 x %22)
%223 = (*.f64 %139 #s(literal 2 binary64))
%226 = (*.f64 %174 #s(literal 2 binary64))
%229 = (*.f64 x #s(literal 2 binary64))
%241 = (*.f64 %27 #s(literal 2 binary64))
%256 = (neg.f64 %28)
%267 = (*.f64 x %16)
%269 = (*.f64 x y)
%271 = (*.f64 #s(literal 2 binary64) %16)
%273 = (*.f64 #s(literal 2 binary64) y)
%275 = (*.f64 %16 #s(literal 2 binary64))
%280 = (/.f64 %16 x)
%293 = (/.f64 (*.f64 y #s(literal 0 binary64)) x)
%296 = (/.f64 (*.f64 #s(literal 0 binary64) y) x)
%316 = (/.f64 %4 x)
%319 = (/.f64 (*.f64 #s(literal 1/2 binary64) y) x)
%323 = (-.f64 x y)
%324 = (*.f64 %323 #s(literal 2 binary64))
%326 = (*.f64 %323 #s(literal 1 binary64))
%328 = (-.f64 y x)
%332 = (/.f64 %323 x)
%335 = (*.f64 %16 #s(literal -1 binary64))
%352 = (/.f64 y #s(literal -2 binary64))
%359 = (/.f64 y #s(literal -1 binary64))
%380 = (*.f64 %323 #s(literal -1 binary64))
%381 = (*.f64 #s(literal 0 binary64) %30)
%384 = (*.f64 #s(literal 0 binary64) x)
%387 = (/.f64 %328 #s(literal -2 binary64))
%391 = (/.f64 %328 #s(literal -1 binary64))
%394 = (fma.f64 %16 #s(literal 2 binary64) %174)
%395 = (*.f64 #s(literal 0 binary64) %229)
%397 = (*.f64 %229 #s(literal 2 binary64))
%399 = (fma.f64 y #s(literal 2 binary64) %139)
%400 = (*.f64 #s(literal 0 binary64) %75)
%402 = (*.f64 %75 #s(literal 2 binary64))
%404 = (fma.f64 #s(literal 2 binary64) x %275)
%405 = (*.f64 #s(literal 0 binary64) %174)
%408 = (fma.f64 #s(literal 2 binary64) %30 %11)
%409 = (*.f64 #s(literal 0 binary64) %139)
%412 = (fma.f64 %16 #s(literal 2 binary64) %229)
%415 = (fma.f64 y #s(literal 2 binary64) %75)
%418 = (fma.f64 #s(literal 2 binary64) x %271)
%421 = (fma.f64 #s(literal 2 binary64) %30 %273)
%424 = (-.f64 %120 %267)
%427 = (*.f64 %120 #s(literal 2 binary64))
%429 = (-.f64 %84 %269)
%432 = (*.f64 %84 #s(literal 2 binary64))
%434 = (-.f64 %139 %271)
%437 = (-.f64 %174 %273)
%462 = (*.f64 %335 #s(literal -2 binary64))
%467 = (*.f64 %352 #s(literal -2 binary64))
%470 = (*.f64 %359 #s(literal -2 binary64))
%473 = (*.f64 %280 #s(literal -2 binary64))
%480 = (*.f64 %335 #s(literal 2 binary64))
%485 = (*.f64 %352 #s(literal 2 binary64))
%488 = (*.f64 %359 #s(literal 2 binary64))
%491 = (*.f64 %280 #s(literal 2 binary64))
%546 = (fma.f64 %280 #s(literal 2 binary64) #s(literal 2 binary64))
%635 = (*.f64 %30 #s(literal 0 binary64))
%638 = (*.f64 x #s(literal 0 binary64))
%648 = (*.f64 %229 #s(literal 0 binary64))
%651 = (*.f64 %75 #s(literal 0 binary64))
%654 = (*.f64 %174 #s(literal 0 binary64))
%657 = (*.f64 %139 #s(literal 0 binary64))
%902 = (neg.f64 %229)
%905 = (neg.f64 %75)
%908 = (neg.f64 %174)
%911 = (neg.f64 %139)
%951 = (/.f64 %328 x)
%980 = (/.f64 %275 %229)
%984 = (/.f64 %11 %75)
%1004 = (+.f64 #s(literal 0 binary64) %280)
%1013 = (approx (/ x (+ y x)) %332)
x
y
#s(literal 1 binary64)
(*.f64 %4 %6)
(*.f64 %8 %9)
(*.f64 %11 %12)
(*.f64 %15 %16)
(*.f64 #s(literal 2 binary64) %18)
(*.f64 %9 y)
(*.f64 %16 %15)
(*.f64 %22 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %22)
(*.f64 y %9)
(pow.f64 %22 #s(literal 1 binary64))
(/.f64 %29 %31)
(/.f64 (*.f64 %33 %28) %31)
(/.f64 (*.f64 %36 %28) %31)
(/.f64 (*.f64 %4 %28) %40)
(/.f64 (*.f64 %8 %28) %43)
(/.f64 %45 %31)
(/.f64 (*.f64 %22 %28) %28)
(/.f64 %49 %43)
(/.f64 %51 %52)
(/.f64 %54 %52)
(/.f64 %56 %52)
(/.f64 %58 %40)
(/.f64 %60 %61)
(/.f64 %63 %52)
(/.f64 %65 %28)
(/.f64 %67 %61)
(/.f64 (*.f64 y %6) #s(literal 2 binary64))
(/.f64 (*.f64 %6 %11) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %11) %75)
(/.f64 (*.f64 %9 %11) #s(literal 2 binary64))
(/.f64 %80 %81)
(/.f64 %83 %84)
(/.f64 %86 %30)
(/.f64 %88 %89)
(/.f64 (*.f64 %33 #s(literal -2 binary64)) %81)
(/.f64 (*.f64 %33 %30) %84)
(/.f64 (*.f64 %33 #s(literal 1 binary64)) %30)
(/.f64 (*.f64 %33 x) %89)
(/.f64 (*.f64 %36 #s(literal -2 binary64)) %81)
(/.f64 (*.f64 %36 %30) %84)
(/.f64 (*.f64 %36 #s(literal 1 binary64)) %30)
(/.f64 (*.f64 %36 x) %89)
(/.f64 (*.f64 %4 #s(literal -2 binary64)) %108)
(/.f64 (*.f64 %4 %30) %52)
(/.f64 (*.f64 %4 #s(literal 1 binary64)) %28)
(/.f64 (*.f64 %4 x) %61)
(/.f64 (*.f64 %8 #s(literal -2 binary64)) %117)
(/.f64 (*.f64 %8 %30) %120)
(/.f64 (*.f64 %8 #s(literal 1 binary64)) x)
(/.f64 (*.f64 %8 x) %84)
(/.f64 %126 %81)
(/.f64 %128 %84)
(/.f64 %130 %89)
(/.f64 (*.f64 %22 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %22 %30) %30)
(/.f64 (*.f64 %22 x) x)
(/.f64 %138 (*.f64 #s(literal 1 binary64) %139))
(/.f64 %138 %117)
(/.f64 %143 %120)
(/.f64 %145 %84)
(/.f64 %147 %148)
(/.f64 %150 %148)
(/.f64 %152 %148)
(/.f64 %154 %30)
(/.f64 %156 %157)
(/.f64 %159 %148)
(/.f64 %161 #s(literal -2 binary64))
(/.f64 %163 %157)
(/.f64 %165 %139)
(/.f64 %167 %139)
(/.f64 %169 %139)
(/.f64 %171 x)
(/.f64 %173 %174)
(/.f64 %176 #s(literal 2 binary64))
(/.f64 %178 %84)
(/.f64 %180 %84)
(/.f64 %182 %84)
(/.f64 %184 %31)
(/.f64 %186 %89)
(/.f64 %188 %84)
(/.f64 %190 %30)
(/.f64 %192 %89)
(/.f64 %194 %30)
(/.f64 %196 %30)
(/.f64 %198 %30)
(/.f64 %200 %28)
(/.f64 %202 x)
(/.f64 %204 %120)
(/.f64 %206 %120)
(/.f64 %208 %120)
(/.f64 %210 %43)
(/.f64 %212 %84)
(/.f64 %214 x)
(/.f64 (*.f64 %11 %6) #s(literal 4 binary64))
(/.f64 (*.f64 %11 #s(literal -1 binary64)) %139)
(/.f64 (*.f64 %11 %9) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %11) %223)
(/.f64 (*.f64 #s(literal 2 binary64) %11) %226)
(/.f64 (*.f64 #s(literal 1 binary64) %11) %229)
(/.f64 (*.f64 %11 #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) %139))
(/.f64 (*.f64 %11 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %174))
(/.f64 (*.f64 %11 #s(literal 1 binary64)) %174)
(/.f64 (*.f64 #s(literal 1/2 binary64) %11) x)
(/.f64 %241 %75)
(/.f64 (*.f64 %33 #s(literal 2 binary64)) %75)
(/.f64 (*.f64 %36 #s(literal 2 binary64)) %75)
(/.f64 (*.f64 %8 #s(literal 2 binary64)) %229)
(/.f64 (neg.f64 %27) x)
(/.f64 (neg.f64 %33) x)
(/.f64 (neg.f64 %36) x)
(/.f64 (neg.f64 %4) %256)
(/.f64 (neg.f64 %8) %30)
(/.f64 %27 %30)
(/.f64 %33 %30)
(/.f64 %36 %30)
(/.f64 (*.f64 %22 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %4 %28)
(/.f64 %8 x)
(/.f64 %267 %120)
(/.f64 %269 %84)
(/.f64 %271 %139)
(/.f64 %273 %174)
(/.f64 %275 %75)
(/.f64 %11 (*.f64 #s(literal 1 binary64) %174))
(/.f64 %11 %229)
(/.f64 %280 #s(literal -1 binary64))
(/.f64 %16 %30)
(/.f64 %22 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %16))
(/.f64 #s(literal 1 binary64) (/.f64 x y))
%22
(neg.f64 %280)
(fma.f64 %4 %6 %293)
(fma.f64 %4 %6 %296)
(fma.f64 %8 %9 %293)
(fma.f64 %8 %9 %296)
(fma.f64 %11 %12 %293)
(fma.f64 %11 %12 %296)
(fma.f64 %15 %16 %293)
(fma.f64 %15 %16 %296)
(fma.f64 #s(literal 2 binary64) %18 %293)
(fma.f64 #s(literal 2 binary64) %18 %296)
(fma.f64 %9 y %293)
(fma.f64 %9 y %296)
(fma.f64 %16 %15 %293)
(fma.f64 %16 %15 %296)
(fma.f64 %22 #s(literal 1 binary64) %293)
(fma.f64 %22 #s(literal 1 binary64) %296)
(fma.f64 #s(literal 1 binary64) %22 %293)
(fma.f64 #s(literal 1 binary64) %22 %296)
(fma.f64 y %9 %293)
(fma.f64 y %9 %296)
(+.f64 %316 %316)
(+.f64 %319 %319)
(+.f64 %22 %293)
(+.f64 %22 %296)
(*.f64 %324 %12)
(*.f64 %326 %9)
(*.f64 %328 %15)
(*.f64 %9 %323)
(*.f64 %323 %9)
(*.f64 #s(literal 1 binary64) %332)
(pow.f64 %332 #s(literal 1 binary64))
(/.f64 (fma.f64 %335 %28 %52) %31)
(/.f64 (fma.f64 %335 #s(literal -2 binary64) %148) %81)
(/.f64 (fma.f64 %335 #s(literal 2 binary64) %139) %75)
(/.f64 (fma.f64 %335 x %120) %89)
(/.f64 (fma.f64 %27 %28 %61) %43)
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %157) %117)
(/.f64 (fma.f64 %27 #s(literal 2 binary64) %174) %229)
(/.f64 (fma.f64 %27 %30 %89) %120)
(/.f64 (fma.f64 %352 #s(literal -2 binary64) %30) %108)
(/.f64 (fma.f64 %352 %30 %31) %52)
(/.f64 (fma.f64 %352 x %43) %61)
(/.f64 (fma.f64 %359 %28 %61) %43)
(/.f64 (fma.f64 %359 #s(literal -2 binary64) %157) %117)
(/.f64 (fma.f64 %359 #s(literal 2 binary64) %174) %229)
(/.f64 (fma.f64 %359 %30 %89) %120)
(/.f64 (fma.f64 %16 %28 %61) %43)
(/.f64 (fma.f64 %16 #s(literal -2 binary64) %157) %117)
(/.f64 (fma.f64 %16 %30 %89) %120)
(/.f64 (fma.f64 y %28 %52) %31)
(/.f64 (fma.f64 y #s(literal -2 binary64) %148) %81)
(/.f64 (fma.f64 y x %120) %89)
(/.f64 (fma.f64 %380 #s(literal 2 binary64) %381) %75)
(/.f64 (fma.f64 %326 #s(literal 2 binary64) %384) %229)
(/.f64 (fma.f64 %387 #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) %28)) x)
(/.f64 (fma.f64 %391 #s(literal 2 binary64) %384) %229)
(/.f64 (fma.f64 %394 #s(literal 2 binary64) %395) %397)
(/.f64 (fma.f64 %399 #s(literal 2 binary64) %400) %402)
(/.f64 (fma.f64 %404 #s(literal 2 binary64) %405) %226)
(/.f64 (fma.f64 %408 #s(literal 2 binary64) %409) %223)
(/.f64 (fma.f64 %412 #s(literal 2 binary64) %395) %397)
(/.f64 (fma.f64 %415 #s(literal 2 binary64) %400) %402)
(/.f64 (fma.f64 %418 #s(literal 2 binary64) %405) %226)
(/.f64 (fma.f64 %421 #s(literal 2 binary64) %409) %223)
(/.f64 (fma.f64 %424 #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) %120)) %427)
(/.f64 (fma.f64 %429 #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) %84)) %432)
(/.f64 (fma.f64 %434 #s(literal 2 binary64) %409) %223)
(/.f64 (fma.f64 %437 #s(literal 2 binary64) %405) %226)
(/.f64 (fma.f64 %328 #s(literal 2 binary64) %381) %75)
(/.f64 (fma.f64 %323 #s(literal 2 binary64) %384) %229)
(/.f64 (fma.f64 %28 %30 (*.f64 %335 %28)) %52)
(/.f64 (fma.f64 %28 x %29) %61)
(/.f64 (fma.f64 %28 %28 (*.f64 %352 %28)) %40)
(/.f64 (fma.f64 %28 x (*.f64 %359 %28)) %61)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %280 %28)) %28)
(/.f64 (fma.f64 %28 x %45) %61)
(/.f64 (fma.f64 %28 %30 %49) %52)
(/.f64 (fma.f64 #s(literal -2 binary64) %30 %462) %148)
(/.f64 (fma.f64 #s(literal -2 binary64) x %80) %157)
(/.f64 (+.f64 %30 %467) %30)
(/.f64 (fma.f64 #s(literal -2 binary64) x %470) %157)
(/.f64 (+.f64 #s(literal -2 binary64) %473) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %126) %157)
(/.f64 (fma.f64 #s(literal -2 binary64) %30 %138) %148)
(/.f64 (fma.f64 #s(literal 2 binary64) %30 %480) %139)
(/.f64 (fma.f64 #s(literal 2 binary64) x %241) %174)
(/.f64 (+.f64 x %485) x)
(/.f64 (fma.f64 #s(literal 2 binary64) x %488) %174)
(/.f64 (+.f64 #s(literal 2 binary64) %491) #s(literal 2 binary64))
(/.f64 (fma.f64 x x (*.f64 %335 %30)) %84)
(/.f64 (fma.f64 %30 x %83) %89)
(/.f64 (fma.f64 %30 %28 (*.f64 %352 %30)) %31)
(/.f64 (fma.f64 %30 x (*.f64 %359 %30)) %89)
(/.f64 (+.f64 %30 (*.f64 %280 %30)) %30)
(/.f64 (fma.f64 %30 x %128) %89)
(/.f64 (fma.f64 x x %143) %84)
(/.f64 (+.f64 %30 (*.f64 %335 #s(literal 1 binary64))) %30)
(/.f64 (+.f64 x %86) x)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %352 #s(literal 1 binary64))) %28)
(/.f64 (+.f64 x (*.f64 %359 #s(literal 1 binary64))) x)
(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %280 #s(literal 1 binary64))) #s(literal 1 binary64))
(/.f64 (fma.f64 x %30 (*.f64 %335 x)) %120)
(/.f64 (fma.f64 x x %88) %84)
(/.f64 (fma.f64 x %28 (*.f64 %352 x)) %43)
(/.f64 (fma.f64 x x (*.f64 %359 x)) %84)
(/.f64 (+.f64 x (*.f64 %280 x)) x)
(/.f64 (fma.f64 x x %130) %84)
(/.f64 (fma.f64 x %30 %145) %120)
(/.f64 (fma.f64 %16 #s(literal -1 binary64) %30) %30)
(/.f64 (+.f64 %546 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %30 %335) %30)
(/.f64 (+.f64 x %27) x)
(/.f64 (-.f64 %30 %27) %30)
(/.f64 (-.f64 %30 %33) %30)
(/.f64 (-.f64 %30 %36) %30)
(/.f64 (fma.f64 %335 %28 %31) %31)
(/.f64 (fma.f64 %335 #s(literal -2 binary64) %81) %81)
(/.f64 (fma.f64 %335 #s(literal 2 binary64) %75) %75)
(/.f64 (fma.f64 %335 %30 %84) %84)
(/.f64 (fma.f64 %335 #s(literal 1 binary64) %30) %30)
(/.f64 (fma.f64 %335 x %89) %89)
(/.f64 (fma.f64 %27 %28 %43) %43)
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %117) %117)
(/.f64 (fma.f64 %27 #s(literal 2 binary64) %229) %229)
(/.f64 (fma.f64 %27 %30 %120) %120)
(/.f64 (fma.f64 %27 #s(literal 1 binary64) x) x)
(/.f64 (fma.f64 %27 x %84) %84)
(/.f64 (fma.f64 %352 %28 %40) %40)
(/.f64 (fma.f64 %352 #s(literal -2 binary64) %108) %108)
(/.f64 (fma.f64 %352 #s(literal 2 binary64) x) x)
(/.f64 (fma.f64 %352 %30 %52) %52)
(/.f64 (fma.f64 %352 #s(literal 1 binary64) %28) %28)
(/.f64 (fma.f64 %352 x %61) %61)
(/.f64 (fma.f64 %359 %28 %43) %43)
(/.f64 (fma.f64 %359 #s(literal -2 binary64) %117) %117)
(/.f64 (fma.f64 %359 #s(literal 2 binary64) %229) %229)
(/.f64 (fma.f64 %359 %30 %120) %120)
(/.f64 (fma.f64 %359 #s(literal 1 binary64) x) x)
(/.f64 (fma.f64 %359 x %84) %84)
(/.f64 (fma.f64 %280 %28 %28) %28)
(/.f64 (fma.f64 %280 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %280 %30 %30) %30)
(/.f64 (fma.f64 %280 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %280 x x) x)
(/.f64 (fma.f64 %16 %28 %43) %43)
(/.f64 (fma.f64 %16 #s(literal -2 binary64) %117) %117)
(/.f64 (fma.f64 %16 %30 %120) %120)
(/.f64 (fma.f64 %16 #s(literal 1 binary64) x) x)
(/.f64 (fma.f64 %16 x %84) %84)
(/.f64 (fma.f64 y %28 %31) %31)
(/.f64 (fma.f64 y #s(literal -2 binary64) %81) %81)
(/.f64 (fma.f64 y %30 %84) %84)
(/.f64 (fma.f64 y x %89) %89)
(/.f64 (fma.f64 %380 #s(literal 2 binary64) %635) %75)
(/.f64 (fma.f64 %326 #s(literal 2 binary64) %638) %229)
(/.f64 (fma.f64 %387 #s(literal 2 binary64) (*.f64 %28 #s(literal 0 binary64))) x)
(/.f64 (fma.f64 %391 #s(literal 2 binary64) %638) %229)
(/.f64 (fma.f64 %546 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %394 #s(literal 2 binary64) %648) %397)
(/.f64 (fma.f64 %399 #s(literal 2 binary64) %651) %402)
(/.f64 (fma.f64 %404 #s(literal 2 binary64) %654) %226)
(/.f64 (fma.f64 %408 #s(literal 2 binary64) %657) %223)
(/.f64 (fma.f64 %412 #s(literal 2 binary64) %648) %397)
(/.f64 (fma.f64 %415 #s(literal 2 binary64) %651) %402)
(/.f64 (fma.f64 %418 #s(literal 2 binary64) %654) %226)
(/.f64 (fma.f64 %421 #s(literal 2 binary64) %657) %223)
(/.f64 (fma.f64 %424 #s(literal 2 binary64) (*.f64 %120 #s(literal 0 binary64))) %427)
(/.f64 (fma.f64 %429 #s(literal 2 binary64) (*.f64 %84 #s(literal 0 binary64))) %432)
(/.f64 (fma.f64 %434 #s(literal 2 binary64) %657) %223)
(/.f64 (fma.f64 %437 #s(literal 2 binary64) %654) %226)
(/.f64 (fma.f64 %328 #s(literal 2 binary64) %635) %75)
(/.f64 (fma.f64 %323 #s(literal 2 binary64) %638) %229)
(/.f64 (fma.f64 %332 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %28 %30 (*.f64 %28 %335)) %52)
(/.f64 (fma.f64 %28 x %51) %61)
(/.f64 (fma.f64 %28 %28 (*.f64 %28 %352)) %40)
(/.f64 (fma.f64 %28 x (*.f64 %28 %359)) %61)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %28 %280)) %28)
(/.f64 (fma.f64 %28 x %63) %61)
(/.f64 (fma.f64 %28 %30 %67) %52)
(/.f64 (fma.f64 #s(literal -2 binary64) %30 (*.f64 #s(literal -2 binary64) %335)) %148)
(/.f64 (fma.f64 #s(literal -2 binary64) x %147) %157)
(/.f64 (+.f64 %30 (*.f64 #s(literal -2 binary64) %352)) %30)
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %359)) %157)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %280)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %159) %157)
(/.f64 (fma.f64 #s(literal -2 binary64) %30 %163) %148)
(/.f64 (fma.f64 #s(literal 2 binary64) %30 (*.f64 #s(literal 2 binary64) %335)) %139)
(/.f64 (fma.f64 #s(literal 2 binary64) x %165) %174)
(/.f64 (+.f64 x (*.f64 #s(literal 2 binary64) %352)) x)
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %359)) %174)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %280)) #s(literal 2 binary64))
(/.f64 (fma.f64 x x (*.f64 %30 %335)) %84)
(/.f64 (fma.f64 %30 x %178) %89)
(/.f64 (fma.f64 %30 %28 (*.f64 %30 %352)) %31)
(/.f64 (fma.f64 %30 x (*.f64 %30 %359)) %89)
(/.f64 (+.f64 %30 (*.f64 %30 %280)) %30)
(/.f64 (fma.f64 %30 x %188) %89)
(/.f64 (fma.f64 x x %192) %84)
(/.f64 (+.f64 %30 (*.f64 #s(literal 1 binary64) %335)) %30)
(/.f64 (+.f64 x %194) x)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1 binary64) %352)) %28)
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %359)) x)
(/.f64 (fma.f64 x %30 (*.f64 x %335)) %120)
(/.f64 (fma.f64 x x %204) %84)
(/.f64 (fma.f64 x %28 (*.f64 x %352)) %43)
(/.f64 (fma.f64 x x (*.f64 x %359)) %84)
(/.f64 (+.f64 x (*.f64 x %280)) x)
(/.f64 (fma.f64 x x %267) %84)
(/.f64 (fma.f64 x %30 %269) %120)
(/.f64 (-.f64 %480 %81) %75)
(/.f64 (-.f64 %462 %75) %81)
(/.f64 (-.f64 %241 %117) %229)
(/.f64 (-.f64 %80 %229) %117)
(/.f64 (-.f64 %485 %108) x)
(/.f64 (-.f64 %467 x) %108)
(/.f64 (-.f64 %488 %117) %229)
(/.f64 (-.f64 %470 %229) %117)
(/.f64 (-.f64 %491 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %473 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %275 %117) %229)
(/.f64 (-.f64 %126 %229) %117)
(/.f64 (-.f64 %11 %81) %75)
(/.f64 (-.f64 %138 %75) %81)
(/.f64 (-.f64 %52 %51) %52)
(/.f64 (-.f64 %52 %54) %52)
(/.f64 (-.f64 %52 %56) %52)
(/.f64 (-.f64 %40 %58) %40)
(/.f64 (-.f64 %61 %60) %61)
(/.f64 (-.f64 %52 %63) %52)
(/.f64 (-.f64 %28 %65) %28)
(/.f64 (-.f64 %61 %67) %61)
(/.f64 (-.f64 %148 %147) %148)
(/.f64 (-.f64 %148 %150) %148)
(/.f64 (-.f64 %148 %152) %148)
(/.f64 (-.f64 %30 %154) %30)
(/.f64 (-.f64 %157 %156) %157)
(/.f64 (-.f64 %148 %159) %148)
(/.f64 (-.f64 #s(literal -2 binary64) %161) #s(literal -2 binary64))
(/.f64 (-.f64 %157 %163) %157)
(/.f64 (-.f64 %139 %165) %139)
(/.f64 (-.f64 %139 %167) %139)
(/.f64 (-.f64 %139 %169) %139)
(/.f64 (-.f64 x %171) x)
(/.f64 (-.f64 %174 %173) %174)
(/.f64 (-.f64 #s(literal 2 binary64) %176) #s(literal 2 binary64))
(/.f64 (-.f64 %84 %178) %84)
(/.f64 (-.f64 %84 %180) %84)
(/.f64 (-.f64 %84 %182) %84)
(/.f64 (-.f64 %31 %184) %31)
(/.f64 (-.f64 %89 %186) %89)
(/.f64 (-.f64 %84 %188) %84)
(/.f64 (-.f64 %30 %190) %30)
(/.f64 (-.f64 %89 %192) %89)
(/.f64 (-.f64 %30 %194) %30)
(/.f64 (-.f64 %30 %196) %30)
(/.f64 (-.f64 %30 %198) %30)
(/.f64 (-.f64 %28 %200) %28)
(/.f64 (-.f64 x %202) x)
(/.f64 (-.f64 %120 %204) %120)
(/.f64 (-.f64 %120 %206) %120)
(/.f64 (-.f64 %120 %208) %120)
(/.f64 (-.f64 %43 %210) %43)
(/.f64 (-.f64 %84 %212) %84)
(/.f64 (-.f64 x %214) x)
(/.f64 (neg.f64 %380) x)
(/.f64 (neg.f64 %326) %30)
(/.f64 (neg.f64 %387) %256)
(/.f64 (neg.f64 %391) %30)
(/.f64 (neg.f64 %546) #s(literal -2 binary64))
(/.f64 (neg.f64 %394) %902)
(/.f64 (neg.f64 %399) %905)
(/.f64 (neg.f64 %404) %908)
(/.f64 (neg.f64 %408) %911)
(/.f64 (neg.f64 %412) %902)
(/.f64 (neg.f64 %415) %905)
(/.f64 (neg.f64 %418) %908)
(/.f64 (neg.f64 %421) %911)
(/.f64 (neg.f64 %424) (neg.f64 %120))
(/.f64 (neg.f64 %429) (neg.f64 %84))
(/.f64 (neg.f64 %434) %911)
(/.f64 (neg.f64 %437) %908)
(/.f64 %380 %30)
(/.f64 %326 x)
(/.f64 %387 %28)
(/.f64 %391 x)
(/.f64 (-.f64 %16 %30) x)
(/.f64 %546 #s(literal 2 binary64))
(/.f64 %394 %229)
(/.f64 %399 %75)
(/.f64 %404 %174)
(/.f64 %408 %139)
(/.f64 %412 %229)
(/.f64 %415 %75)
(/.f64 %418 %174)
(/.f64 %421 %139)
(/.f64 %424 %120)
(/.f64 %429 %84)
(/.f64 %434 %139)
(/.f64 %437 %174)
(/.f64 %328 %30)
(/.f64 %951 #s(literal -1 binary64))
%332
(/.f64 %332 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %332 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %30 %328))
(/.f64 #s(literal 1 binary64) (/.f64 x %323))
(neg.f64 %951)
(fma.f64 %324 %12 #s(literal 0 binary64))
(fma.f64 %326 %9 #s(literal 0 binary64))
(fma.f64 %27 %9 #s(literal 1 binary64))
(fma.f64 %275 %12 #s(literal 1 binary64))
(fma.f64 %15 y #s(literal 1 binary64))
(fma.f64 %328 %15 #s(literal 0 binary64))
(fma.f64 %9 %323 #s(literal 0 binary64))
(fma.f64 %9 %16 #s(literal 1 binary64))
(fma.f64 %323 %9 #s(literal 0 binary64))
(fma.f64 %16 %9 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %280 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %332 #s(literal 0 binary64))
(fma.f64 y %15 #s(literal 1 binary64))
(-.f64 %280 (/.f64 x %30))
(-.f64 %280 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %22)
(+.f64 (/.f64 %491 #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %980 (/.f64 %174 %229))
(+.f64 %980 #s(literal 1 binary64))
(+.f64 %984 (/.f64 %139 %75))
(+.f64 %984 #s(literal 1 binary64))
(+.f64 (+.f64 %280 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %280))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %22))
(+.f64 %280 #s(literal 1 binary64))
(+.f64 %332 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (/.f64 %275 %174))
(+.f64 #s(literal 1 binary64) (/.f64 %11 %139))
(+.f64 #s(literal 1 binary64) (/.f64 %271 %174))
(+.f64 #s(literal 1 binary64) (/.f64 %273 %139))
(+.f64 #s(literal 1 binary64) (/.f64 %1004 #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) %1004)
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %22))
(+.f64 #s(literal 1 binary64) %280)
(*.f64 #s(literal 1 binary64) %1013)
(pow.f64 %1013 #s(literal 1 binary64))
%1013
(/.f64 #s(literal 1 binary64) (pow.f64 %1013 #s(literal -1 binary64)))
reconstruct38.0ms (3.8%)
Counts
509 → 51
Compiler
Compiled 509 to 1 114 computations (-118.9% saved)
eval4.0ms (0.4%)
Compiler
Compiled 48 to 189 computations (-293.8% saved)
prune2.0ms (0.2%)
Pruning
5 alts after pruning (0 fresh and 5 done)
PrunedKeptTotal
New48048
Fresh000
Picked011
Done044
Total48553
Accuracy
100.0%
Counts
53 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (+.f64 y x))
✓88.5%
(/.f64 x (approx (+ y x) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 x y)))))
✓52.0%
(/.f64 x (approx (+ y x) y))
✓49.8%
(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
✓50.3%
(approx (/ x (+ y x)) #s(literal 1 binary64))
Compiler
Compiled 5 to 12 computations (-140.0% saved)
regimes11.0ms (1.1%)
Accuracy
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
0.0b0%
-0.0b100.0%
-0.0b-0.0%
Counts
1 → 1
2 → 2
3 → 1
Calls
Call 1
Inputs
(approx (/ x (+ y x)) #s(literal 1 binary64))
Outputs
(approx (/ x (+ y x)) #s(literal 1 binary64))
Call 2
Inputs
%2 = (+ y x)
(approx (/ x %2) #s(literal 1 binary64))
(/.f64 x (approx %2 y))
Outputs
%2 = (+ y x)
(/.f64 x (approx %2 y))
(approx (/ x %2) #s(literal 1 binary64))
Call 3
Inputs
%2 = (+ y x)
(approx (/ x %2) #s(literal 1 binary64))
(/.f64 x (approx %2 y))
(/.f64 x (+.f64 y x))
Outputs
(/.f64 x (+.f64 y x))
Calls
3 calls:
4.0ms
x
4.0ms
y
3.0ms
(/.f64 x (+.f64 y x))
Results
AccuracySegmentsBranch
50.3%1
y
50.3%1
x
50.3%1
(/.f64 x (+.f64 y x))
Compiler
Compiled 9 to 19 computations (-111.1% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
8.228736121603449e-18
0.9994950862202836
Compiler
Compiled 1 to 4 computations (-300.0% saved)
bsearch0.0ms (0.0%)
derivations1.0ms (0.1%)
Stop Event
1×done
Compiler
Compiled 3 to 9 computations (-200.0% saved)
preprocess11.0ms (1.1%)
Compiler
Compiled 4 to 13 computations (-225.0% saved)
end0.0ms (0.0%)
gc254ms (25.6%)
Allocations
AllocatedPercentPhase
238.7 MiB33.2%sample
178.2 MiB24.8%rewrite
131.9 MiB18.4%reconstruct
58.4 MiB8.1%series
34.7 MiB4.8%preprocess
30.3 MiB4.2%eval
21.8 MiB3.0%regimes
12.7 MiB1.8%prune
8.6 MiB1.2%analyze
2.2 MiB0.3%derivations
0.9 MiB0.1%bsearch
0.0 MiB0.0%end
0.0 MiB0.0%start
718.6 MiB100.0%total
Profiling
Loading profile data...