Data.Colour.CIE:cieLAB from colour-2.3.3, B

Time bar (total: 1.0s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 7 to 7 computations (0.0% saved)

sample405.0ms (40.5%)

Samples
305.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Div: 5.0ms (51.2% of total, 0.0 MiB)
Add: 4.0ms (40.9% of total, 0.0 MiB)
Bogosity

preprocess22.0ms (2.2%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0917
14815
216115
356415
4243215
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series3.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02873
Stop Event
1×iter-limit
Counts
5 → 9
Calls
Call 1
Inputs
%2 = (+.f64 x #s(literal 16 binary64))
x
#s(literal 16 binary64)
%2
#s(literal 116 binary64)
(/.f64 %2 #s(literal 116 binary64))
Outputs
%5 = (+ x 16)
%11 = (/ %5 116)
%15 = (*.f64 #s(literal 1/116 binary64) x)
%19 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 16 binary64))
(approx %5 (+.f64 #s(literal 16 binary64) x))
(approx %11 #s(literal 4/29 binary64))
(approx %11 (+.f64 #s(literal 4/29 binary64) %15))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 16 binary64) %19))))
(approx %11 %15)
(approx %11 (*.f64 x (+.f64 #s(literal 1/116 binary64) (*.f64 #s(literal 4/29 binary64) %19))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite81.0ms (8.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
13111
29911
331811
4144811
0405911
0425810
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 437
Calls
Call 1
Inputs
%2 = (+.f64 x #s(literal 16 binary64))
x
#s(literal 16 binary64)
%2
#s(literal 116 binary64)
(/.f64 %2 #s(literal 116 binary64))
Outputs
%2 = (+.f64 #s(literal 16 binary64) x)
%4 = (*.f64 %2 #s(literal 1/2 binary64))
%7 = (*.f64 #s(literal 2 binary64) %2)
%10 = (*.f64 #s(literal 1/2 binary64) %2)
%14 = (fma.f64 #s(literal 116 binary64) x #s(literal 1856 binary64))
%19 = (-.f64 #s(literal -16 binary64) x)
%25 = (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
%31 = (*.f64 x #s(literal 2 binary64))
%38 = (*.f64 #s(literal -116 binary64) x)
%44 = (*.f64 #s(literal 116 binary64) x)
%51 = (*.f64 %31 #s(literal 13456 binary64))
%55 = (*.f64 %31 #s(literal -116 binary64))
%58 = (*.f64 %31 #s(literal 116 binary64))
%62 = (*.f64 %38 #s(literal 13456 binary64))
%63 = (+.f64 #s(literal -24974336 binary64) %62)
%67 = (*.f64 %44 #s(literal 13456 binary64))
%68 = (+.f64 #s(literal 24974336 binary64) %67)
%72 = (*.f64 %38 #s(literal 116 binary64))
%73 = (+.f64 #s(literal -215296 binary64) %72)
%77 = (*.f64 %44 #s(literal 116 binary64))
%78 = (+.f64 #s(literal 215296 binary64) %77)
%80 = (*.f64 %38 #s(literal -116 binary64))
%81 = (+.f64 #s(literal 215296 binary64) %80)
%83 = (*.f64 %44 #s(literal -116 binary64))
%84 = (+.f64 #s(literal -215296 binary64) %83)
%94 = (*.f64 #s(literal 2 binary64) %38)
%97 = (*.f64 #s(literal 2 binary64) %44)
%121 = (fma.f64 %38 #s(literal 13456 binary64) #s(literal -24974336 binary64))
%123 = (fma.f64 %38 #s(literal 116 binary64) #s(literal -215296 binary64))
%125 = (fma.f64 %38 #s(literal -116 binary64) #s(literal 215296 binary64))
%127 = (*.f64 #s(literal 13456 binary64) %38)
%128 = (+.f64 #s(literal -24974336 binary64) %127)
%130 = (*.f64 #s(literal 13456 binary64) %44)
%131 = (+.f64 #s(literal 24974336 binary64) %130)
%133 = (*.f64 #s(literal 116 binary64) %38)
%134 = (+.f64 #s(literal -215296 binary64) %133)
%136 = (*.f64 #s(literal 116 binary64) %44)
%137 = (+.f64 #s(literal 215296 binary64) %136)
%139 = (*.f64 #s(literal -116 binary64) %38)
%140 = (+.f64 #s(literal 215296 binary64) %139)
%142 = (*.f64 #s(literal -116 binary64) %44)
%143 = (+.f64 #s(literal -215296 binary64) %142)
%168 = (-.f64 %62 #s(literal 24974336 binary64))
%170 = (-.f64 %72 #s(literal 215296 binary64))
%172 = (-.f64 %80 #s(literal -215296 binary64))
%174 = (-.f64 %67 #s(literal -24974336 binary64))
%176 = (-.f64 %77 #s(literal -215296 binary64))
%178 = (-.f64 %83 #s(literal 215296 binary64))
%180 = (neg.f64 %7)
%183 = (*.f64 %19 #s(literal 2 binary64))
%185 = (fma.f64 %44 #s(literal 13456 binary64) #s(literal 24974336 binary64))
%187 = (fma.f64 %44 #s(literal -116 binary64) #s(literal -215296 binary64))
%189 = (fma.f64 %44 #s(literal 116 binary64) #s(literal 215296 binary64))
%191 = (fma.f64 x #s(literal 13456 binary64) #s(literal 215296 binary64))
%193 = (*.f64 x #s(literal 13456 binary64))
%194 = (-.f64 %193 #s(literal -215296 binary64))
%198 = (fma.f64 #s(literal -116 binary64) x #s(literal -1856 binary64))
%207 = (*.f64 %2 #s(literal 0 binary64))
%209 = (*.f64 #s(literal 0 binary64) %2)
%230 = (/.f64 %2 #s(literal 2 binary64))
%236 = (*.f64 #s(literal -1/116 binary64) x)
%239 = (neg.f64 x)
%249 = (*.f64 #s(literal 1/116 binary64) %7)
%259 = (*.f64 #s(literal 2 binary64) %25)
%261 = (*.f64 #s(literal -1/232 binary64) %19)
%263 = (*.f64 #s(literal 1/232 binary64) %2)
%265 = (*.f64 #s(literal 1/2 binary64) %25)
%270 = (fma.f64 #s(literal -1/116 binary64) x #s(literal -4/29 binary64))
%276 = (*.f64 %2 #s(literal 1/13456 binary64))
%278 = (/.f64 %2 #s(literal 13456 binary64))
%282 = (*.f64 #s(literal 1/116 binary64) x)
%285 = (*.f64 %282 #s(literal 13456 binary64))
%291 = (*.f64 %38 #s(literal 1/116 binary64))
%292 = (*.f64 %291 #s(literal -13456 binary64))
%295 = (*.f64 %38 #s(literal -1 binary64))
%296 = (*.f64 %295 #s(literal -13456 binary64))
%300 = (*.f64 %38 #s(literal 1 binary64))
%301 = (*.f64 %300 #s(literal -13456 binary64))
%305 = (*.f64 %44 #s(literal -1 binary64))
%306 = (*.f64 %305 #s(literal -13456 binary64))
%309 = (*.f64 %44 #s(literal 1 binary64))
%310 = (*.f64 %309 #s(literal -13456 binary64))
%313 = (*.f64 %239 #s(literal -13456 binary64))
%316 = (*.f64 %38 #s(literal -13456 binary64))
%319 = (*.f64 %44 #s(literal -13456 binary64))
%322 = (*.f64 x #s(literal -13456 binary64))
%325 = (*.f64 %291 #s(literal 13456 binary64))
%328 = (*.f64 %295 #s(literal 13456 binary64))
%331 = (*.f64 %300 #s(literal 13456 binary64))
%334 = (*.f64 %305 #s(literal 13456 binary64))
%337 = (*.f64 %309 #s(literal 13456 binary64))
%340 = (*.f64 %291 #s(literal -116 binary64))
%343 = (*.f64 %295 #s(literal -116 binary64))
%346 = (*.f64 %300 #s(literal -116 binary64))
%349 = (*.f64 %305 #s(literal -116 binary64))
%352 = (*.f64 %309 #s(literal -116 binary64))
%355 = (*.f64 %291 #s(literal 116 binary64))
%358 = (*.f64 %295 #s(literal 116 binary64))
%361 = (*.f64 %300 #s(literal 116 binary64))
%364 = (*.f64 %305 #s(literal 116 binary64))
%367 = (*.f64 %309 #s(literal 116 binary64))
%421 = (*.f64 #s(literal -13456 binary64) %239)
%430 = (*.f64 #s(literal -13456 binary64) x)
%581 = (*.f64 %239 #s(literal 13456 binary64))
%598 = (fma.f64 %282 #s(literal 13456 binary64) #s(literal 1856 binary64))
%601 = (+.f64 #s(literal -215296 binary64) %581)
%604 = (+.f64 #s(literal 215296 binary64) %193)
%613 = (*.f64 #s(literal 13456 binary64) %239)
%614 = (+.f64 #s(literal -215296 binary64) %613)
%617 = (*.f64 #s(literal 13456 binary64) x)
%618 = (+.f64 #s(literal 215296 binary64) %617)
%621 = (fma.f64 %239 #s(literal 13456 binary64) #s(literal -215296 binary64))
%626 = (-.f64 #s(literal 215296 binary64) %613)
%629 = (-.f64 #s(literal -215296 binary64) %617)
%632 = (*.f64 #s(literal 2 binary64) %198)
%635 = (*.f64 #s(literal 2 binary64) %14)
%639 = (*.f64 #s(literal 2 binary64) %19)
%679 = (/.f64 (*.f64 %19 #s(literal 0 binary64)) #s(literal -116 binary64))
%682 = (/.f64 (*.f64 #s(literal 0 binary64) %19) #s(literal -116 binary64))
%684 = (/.f64 %207 #s(literal 116 binary64))
%686 = (/.f64 %209 #s(literal 116 binary64))
%795 = (/.f64 %581 #s(literal -1560896 binary64))
%797 = (/.f64 %193 #s(literal 1560896 binary64))
%799 = (/.f64 %2 #s(literal 232 binary64))
%802 = (/.f64 (*.f64 %19 #s(literal 1/2 binary64)) #s(literal -116 binary64))
%805 = (/.f64 (*.f64 #s(literal 1/2 binary64) %19) #s(literal -116 binary64))
%807 = (/.f64 %4 #s(literal 116 binary64))
%809 = (/.f64 %10 #s(literal 116 binary64))
x
#s(literal 16 binary64)
(*.f64 %4 #s(literal 2 binary64))
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %7)
(*.f64 #s(literal 2 binary64) %10)
(*.f64 %14 #s(literal 1/116 binary64))
(*.f64 #s(literal 1/116 binary64) %14)
(*.f64 %19 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %25 #s(literal 116 binary64))
(*.f64 #s(literal 116 binary64) %25)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 64 binary64) (*.f64 %31 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -3712 binary64) (*.f64 %38 #s(literal 2 binary64))) #s(literal -232 binary64))
(/.f64 (+.f64 #s(literal 3712 binary64) (*.f64 %44 #s(literal 2 binary64))) #s(literal 232 binary64))
(/.f64 (+.f64 #s(literal 430592 binary64) %51) #s(literal 26912 binary64))
(/.f64 (+.f64 #s(literal -3712 binary64) %55) #s(literal -232 binary64))
(/.f64 (+.f64 #s(literal 3712 binary64) %58) #s(literal 232 binary64))
(/.f64 %63 #s(literal -1560896 binary64))
(/.f64 %68 #s(literal 1560896 binary64))
(/.f64 %73 #s(literal -13456 binary64))
(/.f64 %78 #s(literal 13456 binary64))
(/.f64 %81 #s(literal 13456 binary64))
(/.f64 %84 #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal 32 binary64) %31) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 32 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 64 binary64) (*.f64 #s(literal 2 binary64) %31)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -3712 binary64) %94) #s(literal -232 binary64))
(/.f64 (+.f64 #s(literal 3712 binary64) %97) #s(literal 232 binary64))
(/.f64 (+.f64 #s(literal 430592 binary64) (*.f64 #s(literal 13456 binary64) %31)) #s(literal 26912 binary64))
(/.f64 (+.f64 #s(literal -3712 binary64) (*.f64 #s(literal -116 binary64) %31)) #s(literal -232 binary64))
(/.f64 (+.f64 #s(literal 3712 binary64) (*.f64 #s(literal 116 binary64) %31)) #s(literal 232 binary64))
(/.f64 (fma.f64 %31 #s(literal 2 binary64) #s(literal 64 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %31 #s(literal 13456 binary64) #s(literal 430592 binary64)) #s(literal 26912 binary64))
(/.f64 (fma.f64 %31 #s(literal -116 binary64) #s(literal -3712 binary64)) #s(literal -232 binary64))
(/.f64 (fma.f64 %31 #s(literal 116 binary64) #s(literal 3712 binary64)) #s(literal 232 binary64))
(/.f64 (fma.f64 %38 #s(literal 2 binary64) #s(literal -3712 binary64)) #s(literal -232 binary64))
(/.f64 (fma.f64 %44 #s(literal 2 binary64) #s(literal 3712 binary64)) #s(literal 232 binary64))
(/.f64 %121 #s(literal -1560896 binary64))
(/.f64 %123 #s(literal -13456 binary64))
(/.f64 %125 #s(literal 13456 binary64))
(/.f64 %128 #s(literal -1560896 binary64))
(/.f64 %131 #s(literal 1560896 binary64))
(/.f64 %134 #s(literal -13456 binary64))
(/.f64 %137 #s(literal 13456 binary64))
(/.f64 %140 #s(literal 13456 binary64))
(/.f64 %143 #s(literal -13456 binary64))
(/.f64 (-.f64 #s(literal 3712 binary64) %94) #s(literal 232 binary64))
(/.f64 (-.f64 #s(literal -3712 binary64) %97) #s(literal -232 binary64))
(/.f64 (-.f64 #s(literal 24974336 binary64) %127) #s(literal 1560896 binary64))
(/.f64 (-.f64 #s(literal -24974336 binary64) %130) #s(literal -1560896 binary64))
(/.f64 (-.f64 #s(literal -215296 binary64) %139) #s(literal -13456 binary64))
(/.f64 (-.f64 #s(literal 215296 binary64) %142) #s(literal 13456 binary64))
(/.f64 (-.f64 #s(literal 215296 binary64) %133) #s(literal 13456 binary64))
(/.f64 (-.f64 #s(literal -215296 binary64) %136) #s(literal -13456 binary64))
(/.f64 (-.f64 %51 #s(literal -430592 binary64)) #s(literal 26912 binary64))
(/.f64 (-.f64 %58 #s(literal -3712 binary64)) #s(literal 232 binary64))
(/.f64 (-.f64 %55 #s(literal 3712 binary64)) #s(literal -232 binary64))
(/.f64 %168 #s(literal -1560896 binary64))
(/.f64 %170 #s(literal -13456 binary64))
(/.f64 %172 #s(literal 13456 binary64))
(/.f64 %174 #s(literal 1560896 binary64))
(/.f64 %176 #s(literal 13456 binary64))
(/.f64 %178 #s(literal -13456 binary64))
(/.f64 %180 #s(literal -2 binary64))
(/.f64 %183 #s(literal -2 binary64))
(/.f64 %185 #s(literal 1560896 binary64))
(/.f64 %187 #s(literal -13456 binary64))
(/.f64 %189 #s(literal 13456 binary64))
(/.f64 %191 #s(literal 13456 binary64))
(/.f64 %194 #s(literal 13456 binary64))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %198 #s(literal -116 binary64))
(/.f64 %14 #s(literal 116 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 116 binary64) %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %19)
(fma.f64 %4 #s(literal 2 binary64) %207)
(fma.f64 %4 #s(literal 2 binary64) %209)
(fma.f64 %7 #s(literal 1/2 binary64) %207)
(fma.f64 %7 #s(literal 1/2 binary64) %209)
(fma.f64 #s(literal 1/2 binary64) %7 %207)
(fma.f64 #s(literal 1/2 binary64) %7 %209)
(fma.f64 #s(literal 1/2 binary64) %2 %10)
(fma.f64 #s(literal 2 binary64) %10 %207)
(fma.f64 #s(literal 2 binary64) %10 %209)
(fma.f64 %14 #s(literal 1/116 binary64) %207)
(fma.f64 %14 #s(literal 1/116 binary64) %209)
(fma.f64 #s(literal 1/116 binary64) %14 %207)
(fma.f64 #s(literal 1/116 binary64) %14 %209)
(fma.f64 %19 #s(literal -1 binary64) %207)
(fma.f64 %19 #s(literal -1 binary64) %209)
(fma.f64 #s(literal 1 binary64) %2 %207)
(fma.f64 #s(literal 1 binary64) %2 %209)
(fma.f64 %25 #s(literal 116 binary64) %207)
(fma.f64 %25 #s(literal 116 binary64) %209)
(fma.f64 #s(literal 116 binary64) %25 %207)
(fma.f64 #s(literal 116 binary64) %25 %209)
(fma.f64 %2 #s(literal 1/2 binary64) %230)
(fma.f64 %2 #s(literal 1/2 binary64) %4)
(fma.f64 %2 #s(literal 1 binary64) %207)
(fma.f64 %2 #s(literal 1 binary64) %209)
(-.f64 #s(literal 16 binary64) (*.f64 %236 #s(literal 116 binary64)))
(-.f64 #s(literal 16 binary64) %239)
(-.f64 x #s(literal -16 binary64))
(+.f64 %230 %230)
(+.f64 %4 %230)
(+.f64 %4 %4)
(+.f64 %10 %10)
(+.f64 %2 %207)
(+.f64 %2 %209)
%2
(+.f64 x #s(literal 16 binary64))
#s(literal 116 binary64)
(*.f64 %249 #s(literal 1/2 binary64))
(*.f64 %183 #s(literal -1/232 binary64))
(*.f64 %7 #s(literal 1/232 binary64))
(*.f64 #s(literal 1/13456 binary64) %14)
(*.f64 %198 #s(literal -1/13456 binary64))
(*.f64 #s(literal 1/2 binary64) %259)
(*.f64 #s(literal 2 binary64) %261)
(*.f64 #s(literal 2 binary64) %263)
(*.f64 #s(literal 2 binary64) %265)
(*.f64 #s(literal -1/116 binary64) %19)
(*.f64 %14 #s(literal 1/13456 binary64))
(*.f64 #s(literal -1 binary64) %270)
(*.f64 #s(literal 1/116 binary64) %2)
(*.f64 %19 #s(literal -1/116 binary64))
(*.f64 #s(literal 1 binary64) %25)
(*.f64 %25 #s(literal 1 binary64))
(*.f64 #s(literal 116 binary64) %276)
(*.f64 #s(literal 116 binary64) %278)
(*.f64 %2 #s(literal 1/116 binary64))
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 (fma.f64 %282 #s(literal -13456 binary64) #s(literal -1856 binary64)) #s(literal -13456 binary64))
(/.f64 (-.f64 %285 #s(literal -1856 binary64)) #s(literal 13456 binary64))
(/.f64 (-.f64 (*.f64 %282 #s(literal -13456 binary64)) #s(literal 1856 binary64)) #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %292) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) %296) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) %301) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) %306) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) %310) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %313) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) %316) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) %319) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %322) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %325) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) %328) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) %331) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) %334) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) %337) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal 1856 binary64) %340) #s(literal 13456 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %343) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %346) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %349) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %352) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -1856 binary64) %355) #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %358) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %361) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %364) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %367) #s(literal 1560896 binary64))
(/.f64 %63 #s(literal -181063936 binary64))
(/.f64 %68 #s(literal 181063936 binary64))
(/.f64 %73 #s(literal -1560896 binary64))
(/.f64 %78 #s(literal 1560896 binary64))
(/.f64 %81 #s(literal 1560896 binary64))
(/.f64 %84 #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -16 binary64) %291) #s(literal -116 binary64))
(/.f64 (+.f64 #s(literal 1856 binary64) %295) #s(literal 13456 binary64))
(/.f64 (+.f64 #s(literal -1856 binary64) %300) #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal -1856 binary64) %305) #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal 1856 binary64) %309) #s(literal 13456 binary64))
(/.f64 (fma.f64 %38 #s(literal 1 binary64) #s(literal -1856 binary64)) #s(literal -13456 binary64))
(/.f64 (fma.f64 %44 #s(literal -1 binary64) #s(literal -1856 binary64)) #s(literal -13456 binary64))
(/.f64 (fma.f64 %38 #s(literal -1 binary64) #s(literal 1856 binary64)) #s(literal 13456 binary64))
(/.f64 (fma.f64 %44 #s(literal 1 binary64) #s(literal 1856 binary64)) #s(literal 13456 binary64))
(/.f64 (fma.f64 %38 #s(literal 1/116 binary64) #s(literal -16 binary64)) #s(literal -116 binary64))
(/.f64 (-.f64 %295 #s(literal -1856 binary64)) #s(literal 13456 binary64))
(/.f64 (-.f64 %309 #s(literal -1856 binary64)) #s(literal 13456 binary64))
(/.f64 (-.f64 %300 #s(literal 1856 binary64)) #s(literal -13456 binary64))
(/.f64 (-.f64 %305 #s(literal 1856 binary64)) #s(literal -13456 binary64))
(/.f64 (-.f64 %291 #s(literal 16 binary64)) #s(literal -116 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal -13456 binary64) %291)) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) (*.f64 #s(literal -13456 binary64) %295)) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) (*.f64 #s(literal -13456 binary64) %300)) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) (*.f64 #s(literal -13456 binary64) %305)) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) (*.f64 #s(literal -13456 binary64) %309)) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) %421) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) (*.f64 #s(literal -13456 binary64) %38)) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) (*.f64 #s(literal -13456 binary64) %44)) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) %430) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal 13456 binary64) %291)) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) (*.f64 #s(literal 13456 binary64) %295)) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) (*.f64 #s(literal 13456 binary64) %300)) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal -24974336 binary64) (*.f64 #s(literal 13456 binary64) %305)) #s(literal -181063936 binary64))
(/.f64 (+.f64 #s(literal 24974336 binary64) (*.f64 #s(literal 13456 binary64) %309)) #s(literal 181063936 binary64))
(/.f64 (+.f64 #s(literal 1856 binary64) (*.f64 #s(literal -116 binary64) %291)) #s(literal 13456 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal -116 binary64) %295)) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal -116 binary64) %300)) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal -116 binary64) %305)) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal -116 binary64) %309)) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -1856 binary64) (*.f64 #s(literal 116 binary64) %291)) #s(literal -13456 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal 116 binary64) %295)) #s(literal 1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal 116 binary64) %300)) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal 116 binary64) %305)) #s(literal -1560896 binary64))
(/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal 116 binary64) %309)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %291 #s(literal -13456 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %291 #s(literal 13456 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (fma.f64 %291 #s(literal -116 binary64) #s(literal 1856 binary64)) #s(literal 13456 binary64))
(/.f64 (fma.f64 %291 #s(literal 116 binary64) #s(literal -1856 binary64)) #s(literal -13456 binary64))
(/.f64 (fma.f64 %295 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (fma.f64 %295 #s(literal 13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (fma.f64 %295 #s(literal -116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (fma.f64 %295 #s(literal 116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %300 #s(literal -13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (fma.f64 %300 #s(literal 13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (fma.f64 %300 #s(literal -116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %300 #s(literal 116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (fma.f64 %305 #s(literal -13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (fma.f64 %305 #s(literal 13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (fma.f64 %305 #s(literal -116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %305 #s(literal 116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (fma.f64 %309 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (fma.f64 %309 #s(literal 13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (fma.f64 %309 #s(literal -116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (fma.f64 %309 #s(literal 116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %239 #s(literal -13456 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (fma.f64 %38 #s(literal -13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (fma.f64 %44 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (fma.f64 x #s(literal -13456 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
(/.f64 %121 #s(literal -181063936 binary64))
(/.f64 %123 #s(literal -1560896 binary64))
(/.f64 %125 #s(literal 1560896 binary64))
(/.f64 %128 #s(literal -181063936 binary64))
(/.f64 %131 #s(literal 181063936 binary64))
(/.f64 %134 #s(literal -1560896 binary64))
(/.f64 %137 #s(literal 1560896 binary64))
(/.f64 %140 #s(literal 1560896 binary64))
(/.f64 %143 #s(literal -1560896 binary64))
(/.f64 (-.f64 %325 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %292 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %355 #s(literal 1856 binary64)) #s(literal -13456 binary64))
(/.f64 (-.f64 %340 #s(literal -1856 binary64)) #s(literal 13456 binary64))
(/.f64 (-.f64 %328 #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (-.f64 %296 #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (-.f64 %358 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %343 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %331 #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (-.f64 %301 #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (-.f64 %361 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %346 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %334 #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (-.f64 %306 #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (-.f64 %364 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %349 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %337 #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (-.f64 %310 #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (-.f64 %367 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %352 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %316 #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
(/.f64 (-.f64 %319 #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
(/.f64 (-.f64 %313 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
(/.f64 (-.f64 %581 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 %322 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
(/.f64 (-.f64 #s(literal -215296 binary64) %421) #s(literal -1560896 binary64))
(/.f64 (-.f64 #s(literal 215296 binary64) %430) #s(literal 1560896 binary64))
(/.f64 %168 #s(literal -181063936 binary64))
(/.f64 %170 #s(literal -1560896 binary64))
(/.f64 %172 #s(literal 1560896 binary64))
(/.f64 %174 #s(literal 181063936 binary64))
(/.f64 %176 #s(literal 1560896 binary64))
(/.f64 %178 #s(literal -1560896 binary64))
(/.f64 (neg.f64 %259) #s(literal -2 binary64))
(/.f64 (neg.f64 %598) #s(literal -13456 binary64))
(/.f64 (neg.f64 %601) #s(literal 1560896 binary64))
(/.f64 (neg.f64 %604) #s(literal -1560896 binary64))
(/.f64 (neg.f64 %185) #s(literal -181063936 binary64))
(/.f64 (neg.f64 %187) #s(literal 1560896 binary64))
(/.f64 (neg.f64 %189) #s(literal -1560896 binary64))
(/.f64 (neg.f64 %614) #s(literal 1560896 binary64))
(/.f64 (neg.f64 %618) #s(literal -1560896 binary64))
(/.f64 (neg.f64 %621) #s(literal 1560896 binary64))
(/.f64 (neg.f64 %191) #s(literal -1560896 binary64))
(/.f64 (neg.f64 %626) #s(literal -1560896 binary64))
(/.f64 (neg.f64 %629) #s(literal 1560896 binary64))
(/.f64 (neg.f64 %632) #s(literal 26912 binary64))
(/.f64 (neg.f64 %635) #s(literal -26912 binary64))
(/.f64 (neg.f64 %639) #s(literal 232 binary64))
(/.f64 %259 #s(literal 2 binary64))
(/.f64 %180 #s(literal -232 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %19) #s(literal 116 binary64))
(/.f64 %598 #s(literal 13456 binary64))
(/.f64 %601 #s(literal -1560896 binary64))
(/.f64 %604 #s(literal 1560896 binary64))
(/.f64 %185 #s(literal 181063936 binary64))
(/.f64 %187 #s(literal -1560896 binary64))
(/.f64 %189 #s(literal 1560896 binary64))
(/.f64 %614 #s(literal -1560896 binary64))
(/.f64 %618 #s(literal 1560896 binary64))
(/.f64 %621 #s(literal -1560896 binary64))
(/.f64 %191 #s(literal 1560896 binary64))
(/.f64 %626 #s(literal 1560896 binary64))
(/.f64 %629 #s(literal -1560896 binary64))
(/.f64 %194 #s(literal 1560896 binary64))
(/.f64 %632 #s(literal -26912 binary64))
(/.f64 %635 #s(literal 26912 binary64))
(/.f64 %639 #s(literal -232 binary64))
(/.f64 %7 #s(literal 232 binary64))
(/.f64 %198 #s(literal -13456 binary64))
(/.f64 %14 #s(literal 13456 binary64))
(/.f64 %19 #s(literal -116 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -13456 binary64) %198))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 13456 binary64) %14))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -116 binary64) %19))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 116 binary64) %2))
(/.f64 %2 #s(literal 116 binary64))
(neg.f64 %270)
(fma.f64 %249 #s(literal 1/2 binary64) %679)
(fma.f64 %249 #s(literal 1/2 binary64) %682)
(fma.f64 %249 #s(literal 1/2 binary64) %684)
(fma.f64 %249 #s(literal 1/2 binary64) %686)
(fma.f64 (*.f64 %239 #s(literal 2 binary64)) #s(literal -1/232 binary64) #s(literal 4/29 binary64))
(fma.f64 %31 #s(literal 1/232 binary64) #s(literal 4/29 binary64))
(fma.f64 %183 #s(literal -1/232 binary64) %679)
(fma.f64 %183 #s(literal -1/232 binary64) %682)
(fma.f64 %183 #s(literal -1/232 binary64) %684)
(fma.f64 %183 #s(literal -1/232 binary64) %686)
(fma.f64 %7 #s(literal 1/232 binary64) %679)
(fma.f64 %7 #s(literal 1/232 binary64) %682)
(fma.f64 %7 #s(literal 1/232 binary64) %684)
(fma.f64 %7 #s(literal 1/232 binary64) %686)
(fma.f64 %239 #s(literal -1/116 binary64) #s(literal 4/29 binary64))
(fma.f64 #s(literal 1/13456 binary64) %14 %679)
(fma.f64 #s(literal 1/13456 binary64) %14 %682)
(fma.f64 #s(literal 1/13456 binary64) %14 %684)
(fma.f64 #s(literal 1/13456 binary64) %14 %686)
(fma.f64 %198 #s(literal -1/13456 binary64) %679)
(fma.f64 %198 #s(literal -1/13456 binary64) %682)
(fma.f64 %198 #s(literal -1/13456 binary64) %684)
(fma.f64 %198 #s(literal -1/13456 binary64) %686)
(fma.f64 %236 #s(literal -1 binary64) #s(literal 4/29 binary64))
(fma.f64 #s(literal 1/2 binary64) %259 %679)
(fma.f64 #s(literal 1/2 binary64) %259 %682)
(fma.f64 #s(literal 1/2 binary64) %259 %684)
(fma.f64 #s(literal 1/2 binary64) %259 %686)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/232 binary64) x) #s(literal 4/29 binary64))
(fma.f64 #s(literal 2 binary64) %261 %679)
(fma.f64 #s(literal 2 binary64) %261 %682)
(fma.f64 #s(literal 2 binary64) %261 %684)
(fma.f64 #s(literal 2 binary64) %261 %686)
(fma.f64 #s(literal 2 binary64) %263 %679)
(fma.f64 #s(literal 2 binary64) %263 %682)
(fma.f64 #s(literal 2 binary64) %263 %684)
(fma.f64 #s(literal 2 binary64) %263 %686)
(fma.f64 #s(literal 2 binary64) %265 %679)
(fma.f64 #s(literal 2 binary64) %265 %682)
(fma.f64 #s(literal 2 binary64) %265 %684)
(fma.f64 #s(literal 2 binary64) %265 %686)
(fma.f64 #s(literal -1/116 binary64) %239 #s(literal 4/29 binary64))
(fma.f64 #s(literal -1/116 binary64) %19 %679)
(fma.f64 #s(literal -1/116 binary64) %19 %682)
(fma.f64 #s(literal -1/116 binary64) %19 %684)
(fma.f64 #s(literal -1/116 binary64) %19 %686)
(fma.f64 %14 #s(literal 1/13456 binary64) %679)
(fma.f64 %14 #s(literal 1/13456 binary64) %682)
(fma.f64 %14 #s(literal 1/13456 binary64) %684)
(fma.f64 %14 #s(literal 1/13456 binary64) %686)
(fma.f64 %44 #s(literal 1/13456 binary64) #s(literal 4/29 binary64))
(fma.f64 #s(literal -1 binary64) %236 #s(literal 4/29 binary64))
(fma.f64 #s(literal -1 binary64) %270 %679)
(fma.f64 #s(literal -1 binary64) %270 %682)
(fma.f64 #s(literal -1 binary64) %270 %684)
(fma.f64 #s(literal -1 binary64) %270 %686)
(fma.f64 #s(literal 1/116 binary64) %2 %679)
(fma.f64 #s(literal 1/116 binary64) %2 %682)
(fma.f64 #s(literal 1/116 binary64) %2 %684)
(fma.f64 #s(literal 1/116 binary64) %2 %686)
%25
(fma.f64 %282 #s(literal 1 binary64) #s(literal 4/29 binary64))
(fma.f64 %19 #s(literal -1/116 binary64) %679)
(fma.f64 %19 #s(literal -1/116 binary64) %682)
(fma.f64 %19 #s(literal -1/116 binary64) %684)
(fma.f64 %19 #s(literal -1/116 binary64) %686)
(fma.f64 #s(literal 1 binary64) %282 #s(literal 4/29 binary64))
(fma.f64 #s(literal 1 binary64) %25 %679)
(fma.f64 #s(literal 1 binary64) %25 %682)
(fma.f64 #s(literal 1 binary64) %25 %684)
(fma.f64 #s(literal 1 binary64) %25 %686)
(fma.f64 %25 #s(literal 1 binary64) %679)
(fma.f64 %25 #s(literal 1 binary64) %682)
(fma.f64 %25 #s(literal 1 binary64) %684)
(fma.f64 %25 #s(literal 1 binary64) %686)
(fma.f64 #s(literal 116 binary64) (*.f64 %282 #s(literal 1/116 binary64)) #s(literal 4/29 binary64))
(fma.f64 #s(literal 116 binary64) %276 %679)
(fma.f64 #s(literal 116 binary64) %276 %682)
(fma.f64 #s(literal 116 binary64) %276 %684)
(fma.f64 #s(literal 116 binary64) %276 %686)
(fma.f64 #s(literal 116 binary64) (/.f64 %236 #s(literal -116 binary64)) #s(literal 4/29 binary64))
(fma.f64 #s(literal 116 binary64) %278 %679)
(fma.f64 #s(literal 116 binary64) %278 %682)
(fma.f64 #s(literal 116 binary64) %278 %684)
(fma.f64 #s(literal 116 binary64) %278 %686)
(fma.f64 #s(literal 116 binary64) (/.f64 x #s(literal 13456 binary64)) #s(literal 4/29 binary64))
(fma.f64 %2 #s(literal 1/116 binary64) %679)
(fma.f64 %2 #s(literal 1/116 binary64) %682)
(fma.f64 %2 #s(literal 1/116 binary64) %684)
(fma.f64 %2 #s(literal 1/116 binary64) %686)
(fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
(-.f64 #s(literal 4/29 binary64) (/.f64 %613 #s(literal 1560896 binary64)))
(-.f64 #s(literal 4/29 binary64) (/.f64 %617 #s(literal -1560896 binary64)))
(-.f64 #s(literal 4/29 binary64) (/.f64 %38 #s(literal 13456 binary64)))
(-.f64 #s(literal 4/29 binary64) %236)
(-.f64 %282 #s(literal -4/29 binary64))
(+.f64 (/.f64 %285 #s(literal 13456 binary64)) #s(literal 4/29 binary64))
(+.f64 (/.f64 %67 #s(literal 181063936 binary64)) #s(literal 4/29 binary64))
(+.f64 (/.f64 %83 #s(literal -1560896 binary64)) #s(literal 4/29 binary64))
(+.f64 (/.f64 %77 #s(literal 1560896 binary64)) #s(literal 4/29 binary64))
(+.f64 %795 #s(literal 4/29 binary64))
(+.f64 %797 #s(literal 4/29 binary64))
(+.f64 %799 %799)
(+.f64 %802 %802)
(+.f64 %805 %805)
(+.f64 %807 %807)
(+.f64 %809 %809)
(+.f64 #s(literal 4/29 binary64) (/.f64 %613 #s(literal -1560896 binary64)))
(+.f64 #s(literal 4/29 binary64) (/.f64 %617 #s(literal 1560896 binary64)))
(+.f64 #s(literal 4/29 binary64) %795)
(+.f64 #s(literal 4/29 binary64) %797)
(+.f64 #s(literal 4/29 binary64) %282)
(+.f64 %282 #s(literal 4/29 binary64))
(+.f64 %25 %679)
(+.f64 %25 %682)
(+.f64 %25 %684)
(+.f64 %25 %686)
reconstruct36.0ms (3.6%)
Counts
446 → 56
Compiler
Compiled 446 to 830 computations (-86.1% saved)
eval5.0ms (0.5%)
Compiler
Compiled 54 to 151 computations (-179.6% saved)
prune2.0ms (0.2%)
Pruning
5 alts after pruning (4 fresh and 1 done)
PrunedKeptTotal
New50454
Fresh000
Picked011
Done000
Total50555
Accuracy
100.0%
Counts
55 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
✓100.0%
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
▶99.9%
(approx (/ (+ x 16) 116) (+.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)))
▶55.0%
(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x))
▶46.3%
(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
Compiler
Compiled 5 to 10 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02146
Stop Event
1×iter-limit
Counts
9 → 6
Calls
Call 1
Inputs
%5 = (/ (+ x 16) 116)
%8 = (*.f64 #s(literal 1/116 binary64) x)
%9 = (+.f64 #s(literal 4/29 binary64) %8)
x
#s(literal 4/29 binary64)
(approx %5 #s(literal 4/29 binary64))
#s(literal 1/116 binary64)
%8
%9
(approx %5 %9)
(approx %5 %8)
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
Outputs
%7 = (/ (+ x 16) 116)
%11 = (*.f64 #s(literal 1/116 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 #s(literal 4/29 binary64))
(approx %7 (+.f64 #s(literal 4/29 binary64) %11))
(approx (* 1/116 x) %11)
(approx %7 (*.f64 x (+.f64 #s(literal 1/116 binary64) (*.f64 #s(literal 4/29 binary64) (/.f64 #s(literal 1 binary64) x)))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite83.0ms (8.2%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01342
01740
15737
215037
349537
4210137
0483237
0505437
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 545
Calls
Call 1
Inputs
%5 = (/ (+ x 16) 116)
%8 = (*.f64 #s(literal 1/116 binary64) x)
%9 = (+.f64 #s(literal 4/29 binary64) %8)
x
#s(literal 4/29 binary64)
(approx %5 #s(literal 4/29 binary64))
#s(literal 1/116 binary64)
%8
%9
(approx %5 %9)
(approx %5 %8)
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
Outputs
%6 = (/ (+ 16 x) 116)
%7 = (approx %6 #s(literal 4/29 binary64))
%14 = (+.f64 x x)
%15 = (*.f64 #s(literal 1/116 binary64) %14)
%18 = (*.f64 #s(literal 1/116 binary64) x)
%19 = (*.f64 #s(literal 1/116 binary64) %18)
%22 = (neg.f64 x)
%24 = (*.f64 %22 #s(literal 2 binary64))
%28 = (*.f64 #s(literal 1/2 binary64) x)
%33 = (*.f64 #s(literal 116 binary64) x)
%35 = (*.f64 #s(literal 2 binary64) %18)
%37 = (*.f64 #s(literal -1/232 binary64) %22)
%39 = (*.f64 #s(literal 1/2 binary64) %18)
%41 = (*.f64 #s(literal 1/232 binary64) x)
%43 = (*.f64 %28 #s(literal 1/116 binary64))
%45 = (/.f64 %28 #s(literal 116 binary64))
%50 = (*.f64 #s(literal -1/116 binary64) x)
%56 = (*.f64 %18 #s(literal 1/116 binary64))
%59 = (/.f64 %50 #s(literal -116 binary64))
%62 = (/.f64 x #s(literal 13456 binary64))
%69 = (*.f64 #s(literal -116 binary64) x)
%70 = (*.f64 %69 #s(literal 1/116 binary64))
%73 = (*.f64 #s(literal 2 binary64) %22)
%77 = (*.f64 #s(literal -1 binary64) %69)
%81 = (*.f64 %69 #s(literal -1 binary64))
%84 = (*.f64 %33 #s(literal -1 binary64))
%111 = (+.f64 #s(literal 16 binary64) x)
%112 = (*.f64 #s(literal 2 binary64) %111)
%114 = (*.f64 (*.f64 #s(literal 1/116 binary64) %112) #s(literal 1/2 binary64))
%116 = (-.f64 #s(literal -16 binary64) x)
%118 = (*.f64 (*.f64 %116 #s(literal 2 binary64)) #s(literal -1/232 binary64))
%119 = (*.f64 %112 #s(literal 1/232 binary64))
%121 = (fma.f64 #s(literal 116 binary64) x #s(literal 1856 binary64))
%122 = (*.f64 #s(literal 1/13456 binary64) %121)
%124 = (fma.f64 #s(literal -116 binary64) x #s(literal -1856 binary64))
%126 = (*.f64 %124 #s(literal -1/13456 binary64))
%127 = (fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
%128 = (*.f64 #s(literal 2 binary64) %127)
%129 = (*.f64 #s(literal 1/2 binary64) %128)
%131 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/232 binary64) %116))
%133 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %127))
%135 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/232 binary64) %111))
%136 = (*.f64 %121 #s(literal 1/13456 binary64))
%138 = (fma.f64 #s(literal -1/116 binary64) x #s(literal -4/29 binary64))
%139 = (*.f64 #s(literal -1 binary64) %138)
%140 = (*.f64 #s(literal -1/116 binary64) %116)
%141 = (*.f64 %116 #s(literal -1/116 binary64))
%142 = (*.f64 #s(literal 1 binary64) %127)
%143 = (*.f64 #s(literal 1/116 binary64) %111)
%144 = (*.f64 %127 #s(literal 1 binary64))
%146 = (*.f64 #s(literal 116 binary64) (*.f64 %111 #s(literal 1/13456 binary64)))
%148 = (*.f64 #s(literal 116 binary64) (/.f64 %111 #s(literal 13456 binary64)))
%149 = (*.f64 %111 #s(literal 1/116 binary64))
%150 = (pow.f64 %127 #s(literal 1 binary64))
%154 = (/.f64 (fma.f64 %35 #s(literal -13456 binary64) #s(literal -3712 binary64)) #s(literal -26912 binary64))
%158 = (/.f64 (fma.f64 %35 #s(literal 13456 binary64) #s(literal 3712 binary64)) #s(literal 26912 binary64))
%161 = (/.f64 (fma.f64 %35 #s(literal -116 binary64) #s(literal -32 binary64)) #s(literal -232 binary64))
%164 = (/.f64 (fma.f64 %35 #s(literal 116 binary64) #s(literal 32 binary64)) #s(literal 232 binary64))
%168 = (/.f64 (fma.f64 %70 #s(literal -13456 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%172 = (/.f64 (fma.f64 %70 #s(literal 13456 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%174 = (/.f64 (fma.f64 %70 #s(literal -116 binary64) #s(literal 1856 binary64)) #s(literal 13456 binary64))
%176 = (/.f64 (fma.f64 %70 #s(literal 116 binary64) #s(literal -1856 binary64)) #s(literal -13456 binary64))
%180 = (/.f64 (fma.f64 %73 #s(literal -13456 binary64) #s(literal 430592 binary64)) #s(literal 3121792 binary64))
%184 = (/.f64 (fma.f64 %73 #s(literal 13456 binary64) #s(literal -430592 binary64)) #s(literal -3121792 binary64))
%186 = (/.f64 (fma.f64 %73 #s(literal -116 binary64) #s(literal 3712 binary64)) #s(literal 26912 binary64))
%188 = (/.f64 (fma.f64 %73 #s(literal 116 binary64) #s(literal -3712 binary64)) #s(literal -26912 binary64))
%192 = (/.f64 (fma.f64 %77 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
%196 = (/.f64 (fma.f64 %77 #s(literal 13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
%198 = (/.f64 (fma.f64 %77 #s(literal -116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%200 = (/.f64 (fma.f64 %77 #s(literal 116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%202 = (/.f64 (fma.f64 %81 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
%204 = (/.f64 (fma.f64 %81 #s(literal 13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
%206 = (/.f64 (fma.f64 %81 #s(literal -116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%208 = (/.f64 (fma.f64 %81 #s(literal 116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%210 = (/.f64 (fma.f64 %84 #s(literal -13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
%212 = (/.f64 (fma.f64 %84 #s(literal 13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
%214 = (/.f64 (fma.f64 %84 #s(literal -116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%216 = (/.f64 (fma.f64 %84 #s(literal 116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%218 = (/.f64 (fma.f64 %14 #s(literal -13456 binary64) #s(literal -430592 binary64)) #s(literal -3121792 binary64))
%220 = (/.f64 (fma.f64 %69 #s(literal -13456 binary64) #s(literal 24974336 binary64)) #s(literal 181063936 binary64))
%222 = (/.f64 (fma.f64 %33 #s(literal -13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
%224 = (/.f64 (fma.f64 %22 #s(literal -13456 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%226 = (/.f64 (fma.f64 x #s(literal -13456 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%229 = (/.f64 (+.f64 #s(literal -3712 binary64) (*.f64 #s(literal -13456 binary64) %35)) #s(literal -26912 binary64))
%232 = (/.f64 (+.f64 #s(literal 215296 binary64) (*.f64 #s(literal -13456 binary64) %70)) #s(literal 1560896 binary64))
%233 = (*.f64 #s(literal -13456 binary64) %73)
%235 = (/.f64 (+.f64 #s(literal 430592 binary64) %233) #s(literal 3121792 binary64))
%236 = (*.f64 #s(literal -13456 binary64) %77)
%238 = (/.f64 (+.f64 #s(literal -24974336 binary64) %236) #s(literal -181063936 binary64))
%239 = (*.f64 #s(literal -13456 binary64) %81)
%241 = (/.f64 (+.f64 #s(literal -24974336 binary64) %239) #s(literal -181063936 binary64))
%242 = (*.f64 #s(literal -13456 binary64) %84)
%244 = (/.f64 (+.f64 #s(literal 24974336 binary64) %242) #s(literal 181063936 binary64))
%245 = (*.f64 #s(literal -13456 binary64) %14)
%247 = (/.f64 (+.f64 #s(literal -430592 binary64) %245) #s(literal -3121792 binary64))
%248 = (*.f64 #s(literal -13456 binary64) %69)
%250 = (/.f64 (+.f64 #s(literal 24974336 binary64) %248) #s(literal 181063936 binary64))
%251 = (*.f64 #s(literal -13456 binary64) %33)
%253 = (/.f64 (+.f64 #s(literal -24974336 binary64) %251) #s(literal -181063936 binary64))
%254 = (*.f64 #s(literal -13456 binary64) %22)
%256 = (/.f64 (+.f64 #s(literal 215296 binary64) %254) #s(literal 1560896 binary64))
%257 = (*.f64 #s(literal -13456 binary64) x)
%259 = (/.f64 (+.f64 #s(literal -215296 binary64) %257) #s(literal -1560896 binary64))
%262 = (/.f64 (+.f64 #s(literal 3712 binary64) (*.f64 #s(literal 13456 binary64) %35)) #s(literal 26912 binary64))
%265 = (/.f64 (+.f64 #s(literal -215296 binary64) (*.f64 #s(literal 13456 binary64) %70)) #s(literal -1560896 binary64))
%266 = (*.f64 #s(literal 13456 binary64) %73)
%268 = (/.f64 (+.f64 #s(literal -430592 binary64) %266) #s(literal -3121792 binary64))
%269 = (*.f64 #s(literal 13456 binary64) %77)
%271 = (/.f64 (+.f64 #s(literal 24974336 binary64) %269) #s(literal 181063936 binary64))
%272 = (*.f64 #s(literal 13456 binary64) %81)
%274 = (/.f64 (+.f64 #s(literal 24974336 binary64) %272) #s(literal 181063936 binary64))
%275 = (*.f64 #s(literal 13456 binary64) %84)
%277 = (/.f64 (+.f64 #s(literal -24974336 binary64) %275) #s(literal -181063936 binary64))
%280 = (/.f64 (+.f64 #s(literal -32 binary64) (*.f64 #s(literal -116 binary64) %35)) #s(literal -232 binary64))
%283 = (/.f64 (+.f64 #s(literal 1856 binary64) (*.f64 #s(literal -116 binary64) %70)) #s(literal 13456 binary64))
%284 = (*.f64 #s(literal -116 binary64) %73)
%286 = (/.f64 (+.f64 #s(literal 3712 binary64) %284) #s(literal 26912 binary64))
%287 = (*.f64 #s(literal -116 binary64) %77)
%289 = (/.f64 (+.f64 #s(literal -215296 binary64) %287) #s(literal -1560896 binary64))
%290 = (*.f64 #s(literal -116 binary64) %81)
%292 = (/.f64 (+.f64 #s(literal -215296 binary64) %290) #s(literal -1560896 binary64))
%293 = (*.f64 #s(literal -116 binary64) %84)
%295 = (/.f64 (+.f64 #s(literal 215296 binary64) %293) #s(literal 1560896 binary64))
%298 = (/.f64 (+.f64 #s(literal 32 binary64) (*.f64 #s(literal 116 binary64) %35)) #s(literal 232 binary64))
%301 = (/.f64 (+.f64 #s(literal -1856 binary64) (*.f64 #s(literal 116 binary64) %70)) #s(literal -13456 binary64))
%302 = (*.f64 #s(literal 116 binary64) %73)
%304 = (/.f64 (+.f64 #s(literal -3712 binary64) %302) #s(literal -26912 binary64))
%305 = (*.f64 #s(literal 116 binary64) %77)
%307 = (/.f64 (+.f64 #s(literal 215296 binary64) %305) #s(literal 1560896 binary64))
%308 = (*.f64 #s(literal 116 binary64) %81)
%310 = (/.f64 (+.f64 #s(literal 215296 binary64) %308) #s(literal 1560896 binary64))
%311 = (*.f64 #s(literal 116 binary64) %84)
%313 = (/.f64 (+.f64 #s(literal -215296 binary64) %311) #s(literal -1560896 binary64))
%314 = (*.f64 #s(literal 13456 binary64) %14)
%316 = (/.f64 (+.f64 #s(literal 430592 binary64) %314) #s(literal 3121792 binary64))
%317 = (*.f64 #s(literal 13456 binary64) %69)
%319 = (/.f64 (+.f64 #s(literal -24974336 binary64) %317) #s(literal -181063936 binary64))
%320 = (*.f64 #s(literal 13456 binary64) %33)
%322 = (/.f64 (+.f64 #s(literal 24974336 binary64) %320) #s(literal 181063936 binary64))
%323 = (*.f64 #s(literal -116 binary64) %14)
%325 = (/.f64 (+.f64 #s(literal -3712 binary64) %323) #s(literal -26912 binary64))
%326 = (*.f64 #s(literal -116 binary64) %69)
%328 = (/.f64 (+.f64 #s(literal 215296 binary64) %326) #s(literal 1560896 binary64))
%329 = (*.f64 #s(literal -116 binary64) %33)
%331 = (/.f64 (+.f64 #s(literal -215296 binary64) %329) #s(literal -1560896 binary64))
%332 = (*.f64 #s(literal 116 binary64) %14)
%334 = (/.f64 (+.f64 #s(literal 3712 binary64) %332) #s(literal 26912 binary64))
%335 = (*.f64 #s(literal 116 binary64) %69)
%337 = (/.f64 (+.f64 #s(literal -215296 binary64) %335) #s(literal -1560896 binary64))
%338 = (*.f64 #s(literal 116 binary64) %33)
%340 = (/.f64 (+.f64 #s(literal 215296 binary64) %338) #s(literal 1560896 binary64))
%342 = (/.f64 (fma.f64 %14 #s(literal 13456 binary64) #s(literal 430592 binary64)) #s(literal 3121792 binary64))
%344 = (/.f64 (fma.f64 %14 #s(literal -116 binary64) #s(literal -3712 binary64)) #s(literal -26912 binary64))
%346 = (/.f64 (fma.f64 %14 #s(literal 116 binary64) #s(literal 3712 binary64)) #s(literal 26912 binary64))
%348 = (/.f64 (fma.f64 %69 #s(literal 13456 binary64) #s(literal -24974336 binary64)) #s(literal -181063936 binary64))
%350 = (/.f64 (fma.f64 %69 #s(literal -116 binary64) #s(literal 215296 binary64)) #s(literal 1560896 binary64))
%352 = (/.f64 (fma.f64 %69 #s(literal 116 binary64) #s(literal -215296 binary64)) #s(literal -1560896 binary64))
%355 = (/.f64 (-.f64 (*.f64 %35 #s(literal 13456 binary64)) #s(literal -3712 binary64)) #s(literal 26912 binary64))
%358 = (/.f64 (-.f64 (*.f64 %35 #s(literal -13456 binary64)) #s(literal 3712 binary64)) #s(literal -26912 binary64))
%361 = (/.f64 (-.f64 (*.f64 %35 #s(literal 116 binary64)) #s(literal -32 binary64)) #s(literal 232 binary64))
%364 = (/.f64 (-.f64 (*.f64 %35 #s(literal -116 binary64)) #s(literal 32 binary64)) #s(literal -232 binary64))
%367 = (/.f64 (-.f64 (*.f64 %70 #s(literal 13456 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%370 = (/.f64 (-.f64 (*.f64 %70 #s(literal -13456 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%373 = (/.f64 (-.f64 (*.f64 %70 #s(literal 116 binary64)) #s(literal 1856 binary64)) #s(literal -13456 binary64))
%376 = (/.f64 (-.f64 (*.f64 %70 #s(literal -116 binary64)) #s(literal -1856 binary64)) #s(literal 13456 binary64))
%379 = (/.f64 (-.f64 (*.f64 %73 #s(literal 13456 binary64)) #s(literal 430592 binary64)) #s(literal -3121792 binary64))
%382 = (/.f64 (-.f64 (*.f64 %73 #s(literal -13456 binary64)) #s(literal -430592 binary64)) #s(literal 3121792 binary64))
%385 = (/.f64 (-.f64 (*.f64 %73 #s(literal 116 binary64)) #s(literal 3712 binary64)) #s(literal -26912 binary64))
%388 = (/.f64 (-.f64 (*.f64 %73 #s(literal -116 binary64)) #s(literal -3712 binary64)) #s(literal 26912 binary64))
%391 = (/.f64 (-.f64 (*.f64 %77 #s(literal 13456 binary64)) #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
%394 = (/.f64 (-.f64 (*.f64 %77 #s(literal -13456 binary64)) #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
%397 = (/.f64 (-.f64 (*.f64 %77 #s(literal 116 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%400 = (/.f64 (-.f64 (*.f64 %77 #s(literal -116 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%403 = (/.f64 (-.f64 (*.f64 %81 #s(literal 13456 binary64)) #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
%406 = (/.f64 (-.f64 (*.f64 %81 #s(literal -13456 binary64)) #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
%409 = (/.f64 (-.f64 (*.f64 %81 #s(literal 116 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%412 = (/.f64 (-.f64 (*.f64 %81 #s(literal -116 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%415 = (/.f64 (-.f64 (*.f64 %84 #s(literal 13456 binary64)) #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
%418 = (/.f64 (-.f64 (*.f64 %84 #s(literal -13456 binary64)) #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
%421 = (/.f64 (-.f64 (*.f64 %84 #s(literal 116 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%424 = (/.f64 (-.f64 (*.f64 %84 #s(literal -116 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%427 = (/.f64 (-.f64 (*.f64 %14 #s(literal 13456 binary64)) #s(literal -430592 binary64)) #s(literal 3121792 binary64))
%430 = (/.f64 (-.f64 (*.f64 %14 #s(literal -13456 binary64)) #s(literal 430592 binary64)) #s(literal -3121792 binary64))
%433 = (/.f64 (-.f64 (*.f64 %14 #s(literal 116 binary64)) #s(literal -3712 binary64)) #s(literal 26912 binary64))
%436 = (/.f64 (-.f64 (*.f64 %14 #s(literal -116 binary64)) #s(literal 3712 binary64)) #s(literal -26912 binary64))
%439 = (/.f64 (-.f64 (*.f64 %69 #s(literal 13456 binary64)) #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
%442 = (/.f64 (-.f64 (*.f64 %69 #s(literal -13456 binary64)) #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
%445 = (/.f64 (-.f64 (*.f64 %69 #s(literal 116 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%448 = (/.f64 (-.f64 (*.f64 %69 #s(literal -116 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%451 = (/.f64 (-.f64 (*.f64 %33 #s(literal 13456 binary64)) #s(literal -24974336 binary64)) #s(literal 181063936 binary64))
%454 = (/.f64 (-.f64 (*.f64 %33 #s(literal -13456 binary64)) #s(literal 24974336 binary64)) #s(literal -181063936 binary64))
%457 = (/.f64 (-.f64 (*.f64 %33 #s(literal 116 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%460 = (/.f64 (-.f64 (*.f64 %33 #s(literal -116 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%463 = (/.f64 (-.f64 (*.f64 %22 #s(literal -13456 binary64)) #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%466 = (/.f64 (-.f64 (*.f64 x #s(literal -13456 binary64)) #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%467 = (*.f64 #s(literal 2 binary64) %50)
%470 = (/.f64 (-.f64 #s(literal -3712 binary64) (*.f64 #s(literal -13456 binary64) %467)) #s(literal -26912 binary64))
%471 = (*.f64 %33 #s(literal -1/116 binary64))
%474 = (/.f64 (-.f64 #s(literal -215296 binary64) (*.f64 #s(literal -13456 binary64) %471)) #s(literal -1560896 binary64))
%476 = (/.f64 (-.f64 #s(literal -430592 binary64) %233) #s(literal -3121792 binary64))
%478 = (/.f64 (-.f64 #s(literal 24974336 binary64) %236) #s(literal 181063936 binary64))
%480 = (/.f64 (-.f64 #s(literal 24974336 binary64) %239) #s(literal 181063936 binary64))
%482 = (/.f64 (-.f64 #s(literal -24974336 binary64) %242) #s(literal -181063936 binary64))
%484 = (/.f64 (-.f64 #s(literal 430592 binary64) %245) #s(literal 3121792 binary64))
%486 = (/.f64 (-.f64 #s(literal -24974336 binary64) %248) #s(literal -181063936 binary64))
%488 = (/.f64 (-.f64 #s(literal 24974336 binary64) %251) #s(literal 181063936 binary64))
%490 = (/.f64 (-.f64 #s(literal -215296 binary64) %254) #s(literal -1560896 binary64))
%492 = (/.f64 (-.f64 #s(literal 215296 binary64) %257) #s(literal 1560896 binary64))
%495 = (/.f64 (-.f64 #s(literal 3712 binary64) (*.f64 #s(literal 13456 binary64) %467)) #s(literal 26912 binary64))
%498 = (/.f64 (-.f64 #s(literal 215296 binary64) (*.f64 #s(literal 13456 binary64) %471)) #s(literal 1560896 binary64))
%500 = (/.f64 (-.f64 #s(literal 430592 binary64) %266) #s(literal 3121792 binary64))
%502 = (/.f64 (-.f64 #s(literal -24974336 binary64) %269) #s(literal -181063936 binary64))
%504 = (/.f64 (-.f64 #s(literal -24974336 binary64) %272) #s(literal -181063936 binary64))
%506 = (/.f64 (-.f64 #s(literal 24974336 binary64) %275) #s(literal 181063936 binary64))
%508 = (/.f64 (-.f64 #s(literal -430592 binary64) %314) #s(literal -3121792 binary64))
%510 = (/.f64 (-.f64 #s(literal 24974336 binary64) %317) #s(literal 181063936 binary64))
%512 = (/.f64 (-.f64 #s(literal -24974336 binary64) %320) #s(literal -181063936 binary64))
%515 = (/.f64 (-.f64 #s(literal -32 binary64) (*.f64 #s(literal -116 binary64) %467)) #s(literal -232 binary64))
%518 = (/.f64 (-.f64 #s(literal -1856 binary64) (*.f64 #s(literal -116 binary64) %471)) #s(literal -13456 binary64))
%520 = (/.f64 (-.f64 #s(literal -3712 binary64) %284) #s(literal -26912 binary64))
%522 = (/.f64 (-.f64 #s(literal 215296 binary64) %287) #s(literal 1560896 binary64))
%524 = (/.f64 (-.f64 #s(literal 215296 binary64) %290) #s(literal 1560896 binary64))
%526 = (/.f64 (-.f64 #s(literal -215296 binary64) %293) #s(literal -1560896 binary64))
%528 = (/.f64 (-.f64 #s(literal 3712 binary64) %323) #s(literal 26912 binary64))
%530 = (/.f64 (-.f64 #s(literal -215296 binary64) %326) #s(literal -1560896 binary64))
%532 = (/.f64 (-.f64 #s(literal 215296 binary64) %329) #s(literal 1560896 binary64))
%535 = (/.f64 (-.f64 #s(literal 32 binary64) (*.f64 #s(literal 116 binary64) %467)) #s(literal 232 binary64))
%538 = (/.f64 (-.f64 #s(literal 1856 binary64) (*.f64 #s(literal 116 binary64) %471)) #s(literal 13456 binary64))
%540 = (/.f64 (-.f64 #s(literal 3712 binary64) %302) #s(literal 26912 binary64))
%542 = (/.f64 (-.f64 #s(literal -215296 binary64) %305) #s(literal -1560896 binary64))
%544 = (/.f64 (-.f64 #s(literal -215296 binary64) %308) #s(literal -1560896 binary64))
%546 = (/.f64 (-.f64 #s(literal 215296 binary64) %311) #s(literal 1560896 binary64))
%548 = (/.f64 (-.f64 #s(literal -3712 binary64) %332) #s(literal -26912 binary64))
%550 = (/.f64 (-.f64 #s(literal 215296 binary64) %335) #s(literal 1560896 binary64))
%552 = (/.f64 (-.f64 #s(literal -215296 binary64) %338) #s(literal -1560896 binary64))
%554 = (/.f64 (neg.f64 %128) #s(literal -2 binary64))
%555 = (*.f64 %22 #s(literal 13456 binary64))
%556 = (+.f64 #s(literal -215296 binary64) %555)
%558 = (/.f64 (neg.f64 %556) #s(literal 1560896 binary64))
%559 = (*.f64 x #s(literal 13456 binary64))
%560 = (+.f64 #s(literal 215296 binary64) %559)
%562 = (/.f64 (neg.f64 %560) #s(literal -1560896 binary64))
%563 = (fma.f64 %33 #s(literal 13456 binary64) #s(literal 24974336 binary64))
%565 = (/.f64 (neg.f64 %563) #s(literal -181063936 binary64))
%566 = (fma.f64 %33 #s(literal -116 binary64) #s(literal -215296 binary64))
%568 = (/.f64 (neg.f64 %566) #s(literal 1560896 binary64))
%569 = (fma.f64 %33 #s(literal 116 binary64) #s(literal 215296 binary64))
%571 = (/.f64 (neg.f64 %569) #s(literal -1560896 binary64))
%572 = (fma.f64 %22 #s(literal 13456 binary64) #s(literal -215296 binary64))
%574 = (/.f64 (neg.f64 %572) #s(literal 1560896 binary64))
%575 = (fma.f64 x #s(literal 13456 binary64) #s(literal 215296 binary64))
%577 = (/.f64 (neg.f64 %575) #s(literal -1560896 binary64))
%578 = (*.f64 #s(literal 13456 binary64) %22)
%579 = (+.f64 #s(literal -215296 binary64) %578)
%581 = (/.f64 (neg.f64 %579) #s(literal 1560896 binary64))
%582 = (*.f64 #s(literal 13456 binary64) x)
%583 = (+.f64 #s(literal 215296 binary64) %582)
%585 = (/.f64 (neg.f64 %583) #s(literal -1560896 binary64))
%586 = (-.f64 #s(literal 215296 binary64) %578)
%588 = (/.f64 (neg.f64 %586) #s(literal -1560896 binary64))
%589 = (-.f64 #s(literal -215296 binary64) %582)
%591 = (/.f64 (neg.f64 %589) #s(literal 1560896 binary64))
%592 = (*.f64 #s(literal 2 binary64) %124)
%594 = (/.f64 (neg.f64 %592) #s(literal 26912 binary64))
%595 = (*.f64 #s(literal 2 binary64) %121)
%597 = (/.f64 (neg.f64 %595) #s(literal -26912 binary64))
%598 = (*.f64 #s(literal 2 binary64) %116)
%600 = (/.f64 (neg.f64 %598) #s(literal 232 binary64))
%601 = (/.f64 %128 #s(literal 2 binary64))
%603 = (/.f64 (neg.f64 %112) #s(literal -232 binary64))
%604 = (/.f64 %556 #s(literal -1560896 binary64))
%605 = (/.f64 %560 #s(literal 1560896 binary64))
%606 = (/.f64 %563 #s(literal 181063936 binary64))
%607 = (/.f64 %566 #s(literal -1560896 binary64))
%608 = (/.f64 %569 #s(literal 1560896 binary64))
%609 = (/.f64 %572 #s(literal -1560896 binary64))
%610 = (/.f64 %575 #s(literal 1560896 binary64))
%611 = (/.f64 %579 #s(literal -1560896 binary64))
%612 = (/.f64 %583 #s(literal 1560896 binary64))
%614 = (/.f64 (-.f64 %555 #s(literal 215296 binary64)) #s(literal -1560896 binary64))
%616 = (/.f64 (-.f64 %559 #s(literal -215296 binary64)) #s(literal 1560896 binary64))
%617 = (/.f64 %586 #s(literal 1560896 binary64))
%618 = (/.f64 %589 #s(literal -1560896 binary64))
%619 = (/.f64 %592 #s(literal -26912 binary64))
%620 = (/.f64 %595 #s(literal 26912 binary64))
%621 = (/.f64 %598 #s(literal -232 binary64))
%622 = (/.f64 %112 #s(literal 232 binary64))
%623 = (/.f64 %124 #s(literal -13456 binary64))
%624 = (/.f64 %121 #s(literal 13456 binary64))
%625 = (/.f64 %116 #s(literal -116 binary64))
%627 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -13456 binary64) %124))
%629 = (/.f64 #s(literal 1 binary64) (pow.f64 %127 #s(literal -1 binary64)))
%631 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 13456 binary64) %121))
%633 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -116 binary64) %116))
%635 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 116 binary64) %111))
%636 = (/.f64 %111 #s(literal 116 binary64))
%637 = (neg.f64 %138)
%638 = (fma.f64 %15 #s(literal 1/2 binary64) #s(literal 4/29 binary64))
%639 = (fma.f64 %19 #s(literal 116 binary64) #s(literal 4/29 binary64))
%640 = (fma.f64 %24 #s(literal -1/232 binary64) #s(literal 4/29 binary64))
%641 = (fma.f64 #s(literal 1/58 binary64) %28 #s(literal 4/29 binary64))
%642 = (fma.f64 %14 #s(literal 1/232 binary64) #s(literal 4/29 binary64))
%643 = (fma.f64 #s(literal 1/13456 binary64) %33 #s(literal 4/29 binary64))
%644 = (fma.f64 #s(literal 1/2 binary64) %35 #s(literal 4/29 binary64))
%645 = (fma.f64 #s(literal 2 binary64) %37 #s(literal 4/29 binary64))
%646 = (fma.f64 #s(literal 2 binary64) %39 #s(literal 4/29 binary64))
%647 = (fma.f64 #s(literal 2 binary64) %41 #s(literal 4/29 binary64))
%648 = (fma.f64 #s(literal 2 binary64) %43 #s(literal 4/29 binary64))
%649 = (fma.f64 #s(literal 2 binary64) %45 #s(literal 4/29 binary64))
%650 = (fma.f64 %33 #s(literal 1/13456 binary64) #s(literal 4/29 binary64))
%651 = (fma.f64 %22 #s(literal -1/116 binary64) #s(literal 4/29 binary64))
%652 = (fma.f64 #s(literal -1 binary64) %50 #s(literal 4/29 binary64))
%653 = (fma.f64 %50 #s(literal -1 binary64) #s(literal 4/29 binary64))
%654 = (fma.f64 #s(literal -1/116 binary64) %22 #s(literal 4/29 binary64))
%655 = (fma.f64 #s(literal 1 binary64) %18 #s(literal 4/29 binary64))
%656 = (fma.f64 %18 #s(literal 1 binary64) #s(literal 4/29 binary64))
%657 = (fma.f64 #s(literal 116 binary64) %56 #s(literal 4/29 binary64))
%658 = (fma.f64 #s(literal 116 binary64) %59 #s(literal 4/29 binary64))
%659 = (fma.f64 #s(literal 116 binary64) %62 #s(literal 4/29 binary64))
%660 = (fma.f64 x #s(literal 1/116 binary64) #s(literal 4/29 binary64))
%661 = (-.f64 %18 #s(literal -4/29 binary64))
%662 = (-.f64 #s(literal 4/29 binary64) %50)
%663 = (+.f64 %18 #s(literal 4/29 binary64))
%664 = (+.f64 #s(literal 4/29 binary64) %18)
%665 = (approx %6 %127)
%670 = (approx %6 %18)
x
#s(literal 4/29 binary64)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
%7
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
#s(literal 1/116 binary64)
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %19 #s(literal 116 binary64))
(*.f64 %24 #s(literal -1/232 binary64))
(*.f64 #s(literal 1/58 binary64) %28)
(*.f64 %14 #s(literal 1/232 binary64))
(*.f64 #s(literal 1/13456 binary64) %33)
(*.f64 #s(literal 1/2 binary64) %35)
(*.f64 #s(literal 2 binary64) %37)
(*.f64 #s(literal 2 binary64) %39)
(*.f64 #s(literal 2 binary64) %41)
(*.f64 #s(literal 2 binary64) %43)
(*.f64 #s(literal 2 binary64) %45)
(*.f64 %33 #s(literal 1/13456 binary64))
(*.f64 %22 #s(literal -1/116 binary64))
(*.f64 #s(literal -1 binary64) %50)
(*.f64 %50 #s(literal -1 binary64))
(*.f64 #s(literal -1/116 binary64) %22)
(*.f64 #s(literal 1 binary64) %18)
(*.f64 %18 #s(literal 1 binary64))
%18
(*.f64 #s(literal 116 binary64) %56)
(*.f64 #s(literal 116 binary64) %59)
(*.f64 #s(literal 116 binary64) %62)
(*.f64 x #s(literal 1/116 binary64))
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 (neg.f64 %35) #s(literal -2 binary64))
(/.f64 (neg.f64 %70) #s(literal 116 binary64))
(/.f64 (neg.f64 %73) #s(literal 232 binary64))
(/.f64 (neg.f64 %77) #s(literal -13456 binary64))
(/.f64 (neg.f64 %81) #s(literal -13456 binary64))
(/.f64 (neg.f64 %84) #s(literal 13456 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 %70 #s(literal -116 binary64))
(/.f64 (neg.f64 %14) #s(literal -232 binary64))
(/.f64 %73 #s(literal -232 binary64))
(/.f64 %77 #s(literal 13456 binary64))
(/.f64 %81 #s(literal 13456 binary64))
(/.f64 %84 #s(literal -13456 binary64))
(/.f64 %14 #s(literal 232 binary64))
(/.f64 %69 #s(literal -13456 binary64))
(/.f64 %33 #s(literal 13456 binary64))
(/.f64 %22 #s(literal -116 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 13456 binary64) %33))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -116 binary64) %22))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 116 binary64) x))
(/.f64 x #s(literal 116 binary64))
(neg.f64 %50)
%114
%118
%119
%122
%126
%129
%131
%133
%135
%136
%139
%140
%141
%142
%143
%144
%146
%148
%149
%150
%154
%158
%161
%164
%168
%172
%174
%176
%180
%184
%186
%188
%192
%196
%198
%200
%202
%204
%206
%208
%210
%212
%214
%216
%218
%220
%222
%224
%226
%229
%232
%235
%238
%241
%244
%247
%250
%253
%256
%259
%262
%265
%268
%271
%274
%277
%280
%283
%286
%289
%292
%295
%298
%301
%304
%307
%310
%313
%316
%319
%322
%325
%328
%331
%334
%337
%340
%342
%344
%346
%348
%350
%352
%355
%358
%361
%364
%367
%370
%373
%376
%379
%382
%385
%388
%391
%394
%397
%400
%403
%406
%409
%412
%415
%418
%421
%424
%427
%430
%433
%436
%439
%442
%445
%448
%451
%454
%457
%460
%463
%466
%470
%474
%476
%478
%480
%482
%484
%486
%488
%490
%492
%495
%498
%500
%502
%504
%506
%508
%510
%512
%515
%518
%520
%522
%524
%526
%528
%530
%532
%535
%538
%540
%542
%544
%546
%548
%550
%552
%554
%558
%562
%565
%568
%571
%574
%577
%581
%585
%588
%591
%594
%597
%600
%601
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%614
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%127
%657
%658
%659
%660
%661
%662
%663
%664
(*.f64 #s(literal 1 binary64) %665)
(pow.f64 %665 #s(literal 1 binary64))
%665
(/.f64 #s(literal 1 binary64) (pow.f64 %665 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %670)
(pow.f64 %670 #s(literal 1 binary64))
%670
(/.f64 #s(literal 1 binary64) (pow.f64 %670 #s(literal -1 binary64)))
%114
%118
%119
%122
%126
%129
%131
%133
%135
%136
%139
%140
%141
%142
%143
%144
%146
%148
%149
%150
%154
%158
%161
%164
%168
%172
%174
%176
%180
%184
%186
%188
%192
%196
%198
%200
%202
%204
%206
%208
%210
%212
%214
%216
%218
%220
%222
%224
%226
%229
%232
%235
%238
%241
%244
%247
%250
%253
%256
%259
%262
%265
%268
%271
%274
%277
%280
%283
%286
%289
%292
%295
%298
%301
%304
%307
%310
%313
%316
%319
%322
%325
%328
%331
%334
%337
%340
%342
%344
%346
%348
%350
%352
%355
%358
%361
%364
%367
%370
%373
%376
%379
%382
%385
%388
%391
%394
%397
%400
%403
%406
%409
%412
%415
%418
%421
%424
%427
%430
%433
%436
%439
%442
%445
%448
%451
%454
%457
%460
%463
%466
%470
%474
%476
%478
%480
%482
%484
%486
%488
%490
%492
%495
%498
%500
%502
%504
%506
%508
%510
%512
%515
%518
%520
%522
%524
%526
%528
%530
%532
%535
%538
%540
%542
%544
%546
%548
%550
%552
%554
%558
%562
%565
%568
%571
%574
%577
%581
%585
%588
%591
%594
%597
%600
%601
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%614
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%127
%657
%658
%659
%660
%661
%662
%663
%664
reconstruct51.0ms (5.1%)
Counts
551 → 82
Compiler
Compiled 551 to 673 computations (-22.1% saved)
eval7.0ms (0.7%)
Compiler
Compiled 93 to 135 computations (-45.2% saved)
prune2.0ms (0.2%)
Pruning
5 alts after pruning (1 fresh and 4 done)
PrunedKeptTotal
New92193
Fresh000
Picked044
Done101
Total93598
Accuracy
100.0%
Counts
98 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
▶55.0%
(approx (/ (+ x 16) 116) (/.f64 x #s(literal 116 binary64)))
✓99.9%
(approx (/ (+ x 16) 116) (+.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)))
✓55.0%
(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x))
✓46.3%
(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
Compiler
Compiled 5 to 8 computations (-60.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02246
Stop Event
1×iter-limit
Counts
4 → 6
Calls
Call 1
Inputs
%2 = (/.f64 x #s(literal 116 binary64))
x
#s(literal 116 binary64)
%2
(approx (/ (+ x 16) 116) %2)
Outputs
%7 = (*.f64 #s(literal 1/116 binary64) x)
%11 = (/ (+ x 16) 116)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (/ x 116) %7)
(approx %11 #s(literal 4/29 binary64))
(approx %11 (+.f64 #s(literal 4/29 binary64) %7))
(approx %11 (*.f64 x (+.f64 #s(literal 1/116 binary64) (*.f64 #s(literal 4/29 binary64) (/.f64 #s(literal 1 binary64) x)))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite75.0ms (7.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0714
0814
13814
212214
341714
4175614
0435314
0457613
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 49
Calls
Call 1
Inputs
%2 = (/.f64 x #s(literal 116 binary64))
x
#s(literal 116 binary64)
%2
(approx (/ (+ x 16) 116) %2)
Outputs
%3 = (+.f64 x x)
%7 = (*.f64 #s(literal 1/116 binary64) x)
%10 = (neg.f64 x)
%18 = (*.f64 #s(literal 116 binary64) x)
%20 = (*.f64 #s(literal 2 binary64) %7)
%29 = (*.f64 #s(literal -1/116 binary64) x)
%34 = (*.f64 #s(literal -116 binary64) x)
%55 = (*.f64 %34 #s(literal 1/116 binary64))
%58 = (*.f64 #s(literal 2 binary64) %10)
%62 = (*.f64 #s(literal -1 binary64) %34)
%93 = (approx (/ (+ 16 x) 116) %7)
x
#s(literal 116 binary64)
(*.f64 (*.f64 #s(literal 1/116 binary64) %3) #s(literal 1/2 binary64))
(*.f64 (*.f64 #s(literal 1/116 binary64) %7) #s(literal 116 binary64))
(*.f64 (*.f64 %10 #s(literal 2 binary64)) #s(literal -1/232 binary64))
(*.f64 %3 #s(literal 1/232 binary64))
(*.f64 #s(literal 1/13456 binary64) %18)
(*.f64 #s(literal 1/2 binary64) %20)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/232 binary64) %10))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/232 binary64) x))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %7))
(*.f64 %29 #s(literal -1 binary64))
(*.f64 #s(literal -1/116 binary64) %10)
(*.f64 %34 #s(literal -1/13456 binary64))
(*.f64 %18 #s(literal 1/13456 binary64))
(*.f64 #s(literal -1 binary64) %29)
%7
(*.f64 %10 #s(literal -1/116 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
(*.f64 #s(literal 116 binary64) (*.f64 %7 #s(literal 1/116 binary64)))
(*.f64 #s(literal 116 binary64) (/.f64 x #s(literal 13456 binary64)))
(*.f64 #s(literal 116 binary64) (/.f64 %29 #s(literal -116 binary64)))
(*.f64 x #s(literal 1/116 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 (neg.f64 %20) #s(literal -2 binary64))
(/.f64 (neg.f64 %55) #s(literal 116 binary64))
(/.f64 (neg.f64 %58) #s(literal 232 binary64))
(/.f64 (neg.f64 %62) #s(literal -13456 binary64))
(/.f64 %20 #s(literal 2 binary64))
(/.f64 %55 #s(literal -116 binary64))
(/.f64 (neg.f64 %3) #s(literal -232 binary64))
(/.f64 %58 #s(literal -232 binary64))
(/.f64 %62 #s(literal 13456 binary64))
(/.f64 %3 #s(literal 232 binary64))
(/.f64 %34 #s(literal -13456 binary64))
(/.f64 %18 #s(literal 13456 binary64))
(/.f64 %10 #s(literal -116 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 13456 binary64) %18))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -13456 binary64) %34))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -116 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 116 binary64) x))
(/.f64 x #s(literal 116 binary64))
(neg.f64 %29)
(*.f64 #s(literal 1 binary64) %93)
(pow.f64 %93 #s(literal 1 binary64))
%93
(/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1 binary64)))
reconstruct4.0ms (0.4%)
Counts
55 → 19
Compiler
Compiled 55 to 100 computations (-81.8% saved)
eval2.0ms (0.2%)
Compiler
Compiled 17 to 41 computations (-141.2% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (0 fresh and 5 done)
PrunedKeptTotal
New17017
Fresh000
Picked011
Done044
Total17522
Accuracy
100.0%
Counts
22 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
✓55.0%
(approx (/ (+ x 16) 116) (/.f64 x #s(literal 116 binary64)))
✓99.9%
(approx (/ (+ x 16) 116) (+.f64 #s(literal 4/29 binary64) (*.f64 #s(literal 1/116 binary64) x)))
✓55.0%
(approx (/ (+ x 16) 116) (*.f64 #s(literal 1/116 binary64) x))
✓46.3%
(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
Compiler
Compiled 5 to 8 computations (-60.0% saved)
regimes11.0ms (1.1%)
Accuracy
Total 0.0b remaining (0.1%)
Threshold costs 0.0b (0.1%)
0.0b0.0%
0.0b0.0%
-0.0b100.0%
-0.0b100.0%
-0.0b-0.0%
Counts
1 → 1
2 → 3
3 → 3
4 → 1
6 → 1
Calls
Call 1
Inputs
(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
Outputs
(approx (/ (+ x 16) 116) #s(literal 4/29 binary64))
Call 2
Inputs
%4 = (/ (+ x 16) 116)
(approx %4 #s(literal 4/29 binary64))
(approx %4 (*.f64 #s(literal 1/116 binary64) x))
Outputs
%4 = (/ (+ x 16) 116)
%7 = (approx %4 (*.f64 #s(literal 1/116 binary64) x))
%7
(approx %4 #s(literal 4/29 binary64))
%7
Call 3
Inputs
%4 = (/ (+ x 16) 116)
(approx %4 #s(literal 4/29 binary64))
(approx %4 (*.f64 #s(literal 1/116 binary64) x))
(approx %4 (/.f64 x #s(literal 116 binary64)))
Outputs
%4 = (/ (+ x 16) 116)
%7 = (approx %4 (/.f64 x #s(literal 116 binary64)))
%7
(approx %4 #s(literal 4/29 binary64))
%7
Call 4
Inputs
%4 = (/ (+ x 16) 116)
(approx %4 #s(literal 4/29 binary64))
(approx %4 (*.f64 #s(literal 1/116 binary64) x))
(approx %4 (/.f64 x #s(literal 116 binary64)))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
Outputs
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
Call 5
Inputs
%4 = (/ (+ x 16) 116)
%8 = (*.f64 #s(literal 1/116 binary64) x)
(approx %4 #s(literal 4/29 binary64))
(approx %4 %8)
(approx %4 (/.f64 x #s(literal 116 binary64)))
(fma.f64 #s(literal 1/116 binary64) x #s(literal 4/29 binary64))
(approx %4 (+.f64 #s(literal 4/29 binary64) %8))
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
Outputs
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
Calls
3 calls:
4.0ms
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
4.0ms
x
3.0ms
(+.f64 x #s(literal 16 binary64))
Results
AccuracySegmentsBranch
46.3%1
x
46.3%1
(/.f64 (+.f64 x #s(literal 16 binary64)) #s(literal 116 binary64))
46.3%1
(+.f64 x #s(literal 16 binary64))
Compiler
Compiled 9 to 16 computations (-77.8% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
16.000000000000004
629.9304983852145
0.0ms
-0.5297461125387528
15.99999099961537
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
16.000000000000004
629.9304983852145
0.0ms
-0.5297461125387528
15.99999099961537
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations41.0ms (4.1%)
Stop Event
1×done
Compiler
Compiled 5 to 18 computations (-260.0% saved)
preprocess19.0ms (1.9%)
Compiler
Compiled 6 to 23 computations (-283.3% saved)
end0.0ms (0.0%)
gc141ms (14.1%)
Allocations
AllocatedPercentPhase
492.2 MiB54.7%sample
177.7 MiB19.7%rewrite
87.4 MiB9.7%reconstruct
60.0 MiB6.7%preprocess
24.8 MiB2.7%series
22.3 MiB2.5%regimes
19.4 MiB2.2%eval
10.8 MiB1.2%prune
3.7 MiB0.4%derivations
1.0 MiB0.1%analyze
0.7 MiB0.1%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
900.1 MiB100.0%total
Profiling
Loading profile data...