Numeric.Integration.TanhSinh:simpson from integration-0.2.1

Time bar (total: 616.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.1%)

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

Compiled 7 to 6 computations (14.3% saved)

sample210.0ms (34.0%)

Samples
141.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Mul: 3.0ms (49.3% of total, 0.0 MiB)
Add: 3.0ms (49.3% of total, 0.0 MiB)
Bogosity

preprocess113.0ms (18.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01332
15930
215430
324330
458230
5324230
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 x (+.f64 y y))
Symmetry

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs

series7.0ms (1.2%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01427
Stop Event
iter-limit
Counts
4 → 5
Calls
Call 1
Inputs
%2 = (+.f64 y y)
x
y
%2
(*.f64 x %2)
Outputs
%5 = (+ y y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x %5) (*.f64 #s(literal 2 binary64) (*.f64 x y)))
(approx y y)
(approx %5 (*.f64 #s(literal 2 binary64) y))
Calls

6 calls:

TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
0.0ms
y
0

rewrite131.0ms (21.2%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0410
0610
12010
25310
312610
436910
5236410
0413310
0425510
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
4 → 512
Calls
Call 1
Inputs
%2 = (+.f64 y y)
x
y
%2
(*.f64 x %2)
Outputs
%3 = (*.f64 #s(literal 1/2 binary64) y)
%4 = (*.f64 %3 #s(literal 1/2 binary64))
%7 = (+.f64 y y)
%9 = (*.f64 %7 #s(literal 4 binary64))
%12 = (*.f64 #s(literal 4 binary64) y)
%15 = (*.f64 #s(literal 4 binary64) %7)
%19 = (neg.f64 y)
%22 = (*.f64 #s(literal -2 binary64) y)
%58 = (*.f64 #s(literal 1/2 binary64) %3)
%59 = (fma.f64 #s(literal 1/2 binary64) y y)
%61 = (-.f64 %3 %19)
%64 = (*.f64 %3 #s(literal 3 binary64))
%67 = (*.f64 y #s(literal 3/2 binary64))
%69 = (*.f64 #s(literal 3 binary64) %3)
%71 = (*.f64 #s(literal 3/2 binary64) y)
%150 = (*.f64 y x)
%151 = (*.f64 #s(literal 1/2 binary64) %150)
%152 = (*.f64 %151 #s(literal 1/2 binary64))
%154 = (*.f64 %7 x)
%155 = (*.f64 %154 #s(literal 1/4 binary64))
%157 = (*.f64 %154 #s(literal 4 binary64))
%159 = (*.f64 %154 #s(literal 2 binary64))
%161 = (neg.f64 x)
%162 = (*.f64 %161 #s(literal -2 binary64))
%164 = (*.f64 #s(literal 2 binary64) %161)
%166 = (*.f64 %161 #s(literal 2 binary64))
%168 = (+.f64 x x)
%169 = (*.f64 %7 %168)
%171 = (*.f64 %168 %7)
%174 = (*.f64 #s(literal 4 binary64) x)
%176 = (*.f64 #s(literal 1/2 binary64) x)
%178 = (*.f64 #s(literal 4 binary64) %150)
%182 = (neg.f64 %168)
%185 = (*.f64 %19 x)
%188 = (*.f64 (*.f64 x #s(literal -2 binary64)) y)
%190 = (*.f64 %178 #s(literal 1 binary64))
%206 = (*.f64 #s(literal -2 binary64) %161)
%227 = (*.f64 %151 #s(literal 0 binary64))
%229 = (*.f64 %154 #s(literal 0 binary64))
%231 = (*.f64 %150 #s(literal 0 binary64))
%233 = (*.f64 #s(literal 0 binary64) %151)
%235 = (*.f64 #s(literal 0 binary64) %154)
%237 = (*.f64 #s(literal 0 binary64) %150)
%310 = (*.f64 %151 #s(literal 3 binary64))
%312 = (*.f64 %150 #s(literal 3/2 binary64))
%314 = (*.f64 #s(literal 3 binary64) %151)
%316 = (*.f64 #s(literal 3/2 binary64) %150)
%388 = (*.f64 #s(literal -1 binary64) %150)
%431 = (*.f64 %19 #s(literal 1/2 binary64))
%491 = (*.f64 %161 #s(literal 1/2 binary64))
x
y
(*.f64 %4 #s(literal 8 binary64))
(*.f64 %9 #s(literal 1/4 binary64))
(*.f64 %12 #s(literal 1/2 binary64))
(*.f64 %3 #s(literal 4 binary64))
(*.f64 #s(literal 1/4 binary64) %15)
(*.f64 #s(literal 4 binary64) %3)
(*.f64 #s(literal -2 binary64) %19)
(*.f64 #s(literal -1 binary64) %22)
(*.f64 #s(literal 1/2 binary64) %12)
(*.f64 %22 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 %19 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
(*.f64 y #s(literal 2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 (*.f64 y #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) y) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) y %12) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %7) #s(literal 8 binary64))
(/.f64 (*.f64 %7 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 %15 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %7) #s(literal -2 binary64))
(/.f64 %9 #s(literal 4 binary64))
(/.f64 (*.f64 %7 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %12 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(/.f64 %7 #s(literal 1 binary64))
(/.f64 y #s(literal 1/2 binary64))
(neg.f64 %22)
(fma.f64 %4 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %58 #s(literal 2 binary64) %59)
(fma.f64 %58 #s(literal 2 binary64) %61)
(fma.f64 %58 #s(literal 2 binary64) %64)
(fma.f64 %58 #s(literal 2 binary64) %67)
(fma.f64 %58 #s(literal 2 binary64) %69)
(fma.f64 %58 #s(literal 2 binary64) %71)
(fma.f64 %9 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) y %3)
(fma.f64 %12 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 3 binary64) %3)
(fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 1 binary64) %59)
(fma.f64 %3 #s(literal 1 binary64) %61)
(fma.f64 %3 #s(literal 1 binary64) %64)
(fma.f64 %3 #s(literal 1 binary64) %67)
(fma.f64 %3 #s(literal 1 binary64) %69)
(fma.f64 %3 #s(literal 1 binary64) %71)
(fma.f64 #s(literal 1/4 binary64) %15 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %7 %59)
(fma.f64 #s(literal 1/4 binary64) %7 %61)
(fma.f64 #s(literal 1/4 binary64) %7 %64)
(fma.f64 #s(literal 1/4 binary64) %7 %67)
(fma.f64 #s(literal 1/4 binary64) %7 %69)
(fma.f64 #s(literal 1/4 binary64) %7 %71)
(fma.f64 #s(literal 3 binary64) %3 %3)
(fma.f64 #s(literal 4 binary64) %3 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %19 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %22 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %12 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) y %59)
(fma.f64 #s(literal 1/2 binary64) y %61)
(fma.f64 #s(literal 1/2 binary64) y %64)
(fma.f64 #s(literal 1/2 binary64) y %67)
(fma.f64 #s(literal 1/2 binary64) y %69)
(fma.f64 #s(literal 1/2 binary64) y %71)
(fma.f64 %22 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %4 %59)
(fma.f64 #s(literal 2 binary64) %4 %61)
(fma.f64 #s(literal 2 binary64) %4 %64)
(fma.f64 #s(literal 2 binary64) %4 %67)
(fma.f64 #s(literal 2 binary64) %4 %69)
(fma.f64 #s(literal 2 binary64) %4 %71)
(fma.f64 #s(literal 2 binary64) y #s(literal 0 binary64))
(fma.f64 %19 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 %59)
(fma.f64 #s(literal 1 binary64) %3 %61)
(fma.f64 #s(literal 1 binary64) %3 %64)
(fma.f64 #s(literal 1 binary64) %3 %67)
(fma.f64 #s(literal 1 binary64) %3 %69)
(fma.f64 #s(literal 1 binary64) %3 %71)
(fma.f64 #s(literal 1 binary64) %7 #s(literal 0 binary64))
(fma.f64 %7 #s(literal 1/4 binary64) %59)
(fma.f64 %7 #s(literal 1/4 binary64) %61)
(fma.f64 %7 #s(literal 1/4 binary64) %64)
(fma.f64 %7 #s(literal 1/4 binary64) %67)
(fma.f64 %7 #s(literal 1/4 binary64) %69)
(fma.f64 %7 #s(literal 1/4 binary64) %71)
(fma.f64 %7 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 y #s(literal 3/2 binary64) %3)
(fma.f64 y #s(literal 1/2 binary64) %59)
(fma.f64 y #s(literal 1/2 binary64) %61)
(fma.f64 y #s(literal 1/2 binary64) %64)
(fma.f64 y #s(literal 1/2 binary64) %67)
(fma.f64 y #s(literal 1/2 binary64) %69)
(fma.f64 y #s(literal 1/2 binary64) %71)
(fma.f64 y #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 y %19)
(+.f64 (+.f64 y %3) %3)
(+.f64 %64 %3)
(+.f64 %67 %3)
(+.f64 %69 %3)
(+.f64 %71 %3)
(+.f64 %3 %59)
(+.f64 %3 %61)
(+.f64 %3 %64)
(+.f64 %3 %67)
(+.f64 %3 %69)
(+.f64 %3 %71)
(+.f64 #s(literal 0 binary64) %7)
(+.f64 %7 #s(literal 0 binary64))
(+.f64 y (-.f64 #s(literal 0 binary64) %19))
%7
(*.f64 %152 #s(literal 8 binary64))
(*.f64 %155 #s(literal 4 binary64))
(*.f64 %157 #s(literal 1/4 binary64))
(*.f64 %159 #s(literal 1/2 binary64))
(*.f64 %162 y)
(*.f64 %164 %19)
(*.f64 %166 %19)
(*.f64 %169 #s(literal 1/2 binary64))
(*.f64 %171 #s(literal 1/2 binary64))
(*.f64 %151 #s(literal 4 binary64))
(*.f64 %174 %3)
(*.f64 %12 %176)
(*.f64 %178 #s(literal 1/2 binary64))
(*.f64 %3 %174)
(*.f64 %176 %12)
(*.f64 %182 %19)
(*.f64 #s(literal 4 binary64) %151)
(*.f64 #s(literal -2 binary64) %185)
(*.f64 %188 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %190)
(*.f64 #s(literal 1/2 binary64) %169)
(*.f64 #s(literal 1/2 binary64) %171)
(*.f64 #s(literal 1/2 binary64) %178)
(*.f64 %168 y)
(*.f64 %161 %22)
(*.f64 %22 %161)
(*.f64 %185 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %150)
(*.f64 %150 #s(literal 2 binary64))
(*.f64 %19 %164)
(*.f64 %19 %166)
(*.f64 %19 %182)
(*.f64 #s(literal 1 binary64) %154)
(*.f64 %154 #s(literal 1 binary64))
%154
(*.f64 y %206)
(*.f64 y %168)
(*.f64 x %7)
(pow.f64 %154 #s(literal 1 binary64))
(/.f64 (*.f64 %150 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %157 #s(literal 4 binary64))
(/.f64 (*.f64 %154 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %159 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %150) #s(literal 4 binary64))
(/.f64 %169 #s(literal 2 binary64))
(/.f64 %171 #s(literal 2 binary64))
(/.f64 %178 #s(literal 2 binary64))
(/.f64 %150 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %154 #s(literal -1 binary64)))
(/.f64 %154 #s(literal 1 binary64))
(neg.f64 %188)
(fma.f64 %152 #s(literal 8 binary64) %227)
(fma.f64 %152 #s(literal 8 binary64) %229)
(fma.f64 %152 #s(literal 8 binary64) %231)
(fma.f64 %152 #s(literal 8 binary64) %233)
(fma.f64 %152 #s(literal 8 binary64) %235)
(fma.f64 %152 #s(literal 8 binary64) %237)
(fma.f64 %152 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %155 #s(literal 4 binary64) %227)
(fma.f64 %155 #s(literal 4 binary64) %229)
(fma.f64 %155 #s(literal 4 binary64) %231)
(fma.f64 %155 #s(literal 4 binary64) %233)
(fma.f64 %155 #s(literal 4 binary64) %235)
(fma.f64 %155 #s(literal 4 binary64) %237)
(fma.f64 %155 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %150 #s(literal 1/4 binary64)) #s(literal 4 binary64) %150)
(fma.f64 %157 #s(literal 1/4 binary64) %227)
(fma.f64 %157 #s(literal 1/4 binary64) %229)
(fma.f64 %157 #s(literal 1/4 binary64) %231)
(fma.f64 %157 #s(literal 1/4 binary64) %233)
(fma.f64 %157 #s(literal 1/4 binary64) %235)
(fma.f64 %157 #s(literal 1/4 binary64) %237)
(fma.f64 %157 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %159 #s(literal 1/2 binary64) %227)
(fma.f64 %159 #s(literal 1/2 binary64) %229)
(fma.f64 %159 #s(literal 1/2 binary64) %231)
(fma.f64 %159 #s(literal 1/2 binary64) %233)
(fma.f64 %159 #s(literal 1/2 binary64) %235)
(fma.f64 %159 #s(literal 1/2 binary64) %237)
(fma.f64 %159 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %162 y %227)
(fma.f64 %162 y %229)
(fma.f64 %162 y %231)
(fma.f64 %162 y %233)
(fma.f64 %162 y %235)
(fma.f64 %162 y %237)
(fma.f64 %162 y #s(literal 0 binary64))
(fma.f64 %164 %19 %227)
(fma.f64 %164 %19 %229)
(fma.f64 %164 %19 %231)
(fma.f64 %164 %19 %233)
(fma.f64 %164 %19 %235)
(fma.f64 %164 %19 %237)
(fma.f64 %164 %19 #s(literal 0 binary64))
(fma.f64 (*.f64 %150 #s(literal -1 binary64)) #s(literal -1 binary64) %150)
(fma.f64 %166 %19 %227)
(fma.f64 %166 %19 %229)
(fma.f64 %166 %19 %231)
(fma.f64 %166 %19 %233)
(fma.f64 %166 %19 %235)
(fma.f64 %166 %19 %237)
(fma.f64 %166 %19 #s(literal 0 binary64))
(fma.f64 %169 #s(literal 1/2 binary64) %227)
(fma.f64 %169 #s(literal 1/2 binary64) %229)
(fma.f64 %169 #s(literal 1/2 binary64) %231)
(fma.f64 %169 #s(literal 1/2 binary64) %233)
(fma.f64 %169 #s(literal 1/2 binary64) %235)
(fma.f64 %169 #s(literal 1/2 binary64) %237)
(fma.f64 %169 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %171 #s(literal 1/2 binary64) %227)
(fma.f64 %171 #s(literal 1/2 binary64) %229)
(fma.f64 %171 #s(literal 1/2 binary64) %231)
(fma.f64 %171 #s(literal 1/2 binary64) %233)
(fma.f64 %171 #s(literal 1/2 binary64) %235)
(fma.f64 %171 #s(literal 1/2 binary64) %237)
(fma.f64 %171 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %150 %151)
(fma.f64 %151 #s(literal 3 binary64) %151)
(fma.f64 %151 #s(literal 4 binary64) %227)
(fma.f64 %151 #s(literal 4 binary64) %229)
(fma.f64 %151 #s(literal 4 binary64) %231)
(fma.f64 %151 #s(literal 4 binary64) %233)
(fma.f64 %151 #s(literal 4 binary64) %235)
(fma.f64 %151 #s(literal 4 binary64) %237)
(fma.f64 %151 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %151 #s(literal 2 binary64) %150)
(fma.f64 %151 #s(literal 1 binary64) %310)
(fma.f64 %151 #s(literal 1 binary64) %312)
(fma.f64 %151 #s(literal 1 binary64) %314)
(fma.f64 %151 #s(literal 1 binary64) %316)
(fma.f64 %174 %3 %227)
(fma.f64 %174 %3 %229)
(fma.f64 %174 %3 %231)
(fma.f64 %174 %3 %233)
(fma.f64 %174 %3 %235)
(fma.f64 %174 %3 %237)
(fma.f64 %174 %3 #s(literal 0 binary64))
(fma.f64 %12 %176 %227)
(fma.f64 %12 %176 %229)
(fma.f64 %12 %176 %231)
(fma.f64 %12 %176 %233)
(fma.f64 %12 %176 %235)
(fma.f64 %12 %176 %237)
(fma.f64 %12 %176 #s(literal 0 binary64))
(fma.f64 %178 #s(literal 1/4 binary64) %150)
(fma.f64 %178 #s(literal 1/2 binary64) %227)
(fma.f64 %178 #s(literal 1/2 binary64) %229)
(fma.f64 %178 #s(literal 1/2 binary64) %231)
(fma.f64 %178 #s(literal 1/2 binary64) %233)
(fma.f64 %178 #s(literal 1/2 binary64) %235)
(fma.f64 %178 #s(literal 1/2 binary64) %237)
(fma.f64 %178 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %3 %174 %227)
(fma.f64 %3 %174 %229)
(fma.f64 %3 %174 %231)
(fma.f64 %3 %174 %233)
(fma.f64 %3 %174 %235)
(fma.f64 %3 %174 %237)
(fma.f64 %3 %174 #s(literal 0 binary64))
(fma.f64 %3 %168 %150)
(fma.f64 %176 %12 %227)
(fma.f64 %176 %12 %229)
(fma.f64 %176 %12 %231)
(fma.f64 %176 %12 %233)
(fma.f64 %176 %12 %235)
(fma.f64 %176 %12 %237)
(fma.f64 %176 %12 #s(literal 0 binary64))
(fma.f64 %176 %7 %150)
(fma.f64 %182 %19 %227)
(fma.f64 %182 %19 %229)
(fma.f64 %182 %19 %231)
(fma.f64 %182 %19 %233)
(fma.f64 %182 %19 %235)
(fma.f64 %182 %19 %237)
(fma.f64 %182 %19 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %178 %150)
(fma.f64 #s(literal 3 binary64) %151 %151)
(fma.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/4 binary64) %150) %150)
(fma.f64 #s(literal 4 binary64) %151 %227)
(fma.f64 #s(literal 4 binary64) %151 %229)
(fma.f64 #s(literal 4 binary64) %151 %231)
(fma.f64 #s(literal 4 binary64) %151 %233)
(fma.f64 #s(literal 4 binary64) %151 %235)
(fma.f64 #s(literal 4 binary64) %151 %237)
(fma.f64 #s(literal 4 binary64) %151 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %185 %227)
(fma.f64 #s(literal -2 binary64) %185 %229)
(fma.f64 #s(literal -2 binary64) %185 %231)
(fma.f64 #s(literal -2 binary64) %185 %233)
(fma.f64 #s(literal -2 binary64) %185 %235)
(fma.f64 #s(literal -2 binary64) %185 %237)
(fma.f64 #s(literal -2 binary64) %185 #s(literal 0 binary64))
(fma.f64 %188 #s(literal -1 binary64) %227)
(fma.f64 %188 #s(literal -1 binary64) %229)
(fma.f64 %188 #s(literal -1 binary64) %231)
(fma.f64 %188 #s(literal -1 binary64) %233)
(fma.f64 %188 #s(literal -1 binary64) %235)
(fma.f64 %188 #s(literal -1 binary64) %237)
(fma.f64 %188 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %388 %150)
(fma.f64 #s(literal 1/2 binary64) %190 %227)
(fma.f64 #s(literal 1/2 binary64) %190 %229)
(fma.f64 #s(literal 1/2 binary64) %190 %231)
(fma.f64 #s(literal 1/2 binary64) %190 %233)
(fma.f64 #s(literal 1/2 binary64) %190 %235)
(fma.f64 #s(literal 1/2 binary64) %190 %237)
(fma.f64 #s(literal 1/2 binary64) %190 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %169 %227)
(fma.f64 #s(literal 1/2 binary64) %169 %229)
(fma.f64 #s(literal 1/2 binary64) %169 %231)
(fma.f64 #s(literal 1/2 binary64) %169 %233)
(fma.f64 #s(literal 1/2 binary64) %169 %235)
(fma.f64 #s(literal 1/2 binary64) %169 %237)
(fma.f64 #s(literal 1/2 binary64) %169 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %171 %227)
(fma.f64 #s(literal 1/2 binary64) %171 %229)
(fma.f64 #s(literal 1/2 binary64) %171 %231)
(fma.f64 #s(literal 1/2 binary64) %171 %233)
(fma.f64 #s(literal 1/2 binary64) %171 %235)
(fma.f64 #s(literal 1/2 binary64) %171 %237)
(fma.f64 #s(literal 1/2 binary64) %171 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %178 %227)
(fma.f64 #s(literal 1/2 binary64) %178 %229)
(fma.f64 #s(literal 1/2 binary64) %178 %231)
(fma.f64 #s(literal 1/2 binary64) %178 %233)
(fma.f64 #s(literal 1/2 binary64) %178 %235)
(fma.f64 #s(literal 1/2 binary64) %178 %237)
(fma.f64 #s(literal 1/2 binary64) %178 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %150 %310)
(fma.f64 #s(literal 1/2 binary64) %150 %312)
(fma.f64 #s(literal 1/2 binary64) %150 %314)
(fma.f64 #s(literal 1/2 binary64) %150 %316)
(fma.f64 #s(literal 1/2 binary64) %154 %150)
(fma.f64 %168 %3 %150)
(fma.f64 %168 y %227)
(fma.f64 %168 y %229)
(fma.f64 %168 y %231)
(fma.f64 %168 y %233)
(fma.f64 %168 y %235)
(fma.f64 %168 y %237)
(fma.f64 %168 y #s(literal 0 binary64))
(fma.f64 %161 %431 %310)
(fma.f64 %161 %431 %312)
(fma.f64 %161 %431 %314)
(fma.f64 %161 %431 %316)
(fma.f64 %161 %22 %227)
(fma.f64 %161 %22 %229)
(fma.f64 %161 %22 %231)
(fma.f64 %161 %22 %233)
(fma.f64 %161 %22 %235)
(fma.f64 %161 %22 %237)
(fma.f64 %161 %22 #s(literal 0 binary64))
(fma.f64 %161 %19 %150)
(fma.f64 %22 %161 %227)
(fma.f64 %22 %161 %229)
(fma.f64 %22 %161 %231)
(fma.f64 %22 %161 %233)
(fma.f64 %22 %161 %235)
(fma.f64 %22 %161 %237)
(fma.f64 %22 %161 #s(literal 0 binary64))
(fma.f64 %185 #s(literal -2 binary64) %227)
(fma.f64 %185 #s(literal -2 binary64) %229)
(fma.f64 %185 #s(literal -2 binary64) %231)
(fma.f64 %185 #s(literal -2 binary64) %233)
(fma.f64 %185 #s(literal -2 binary64) %235)
(fma.f64 %185 #s(literal -2 binary64) %237)
(fma.f64 %185 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %154 %154)
(fma.f64 #s(literal 2 binary64) (*.f64 %176 y) %150)
(fma.f64 #s(literal 2 binary64) (*.f64 %3 x) %150)
(fma.f64 #s(literal 2 binary64) %151 %150)
(fma.f64 #s(literal 2 binary64) %150 %227)
(fma.f64 #s(literal 2 binary64) %150 %229)
(fma.f64 #s(literal 2 binary64) %150 %231)
(fma.f64 #s(literal 2 binary64) %150 %233)
(fma.f64 #s(literal 2 binary64) %150 %235)
(fma.f64 #s(literal 2 binary64) %150 %237)
(fma.f64 #s(literal 2 binary64) %150 #s(literal 0 binary64))
(fma.f64 %150 #s(literal 3/2 binary64) %151)
(fma.f64 %150 #s(literal 1/2 binary64) %310)
(fma.f64 %150 #s(literal 1/2 binary64) %312)
(fma.f64 %150 #s(literal 1/2 binary64) %314)
(fma.f64 %150 #s(literal 1/2 binary64) %316)
(fma.f64 %150 #s(literal 2 binary64) %227)
(fma.f64 %150 #s(literal 2 binary64) %229)
(fma.f64 %150 #s(literal 2 binary64) %231)
(fma.f64 %150 #s(literal 2 binary64) %233)
(fma.f64 %150 #s(literal 2 binary64) %235)
(fma.f64 %150 #s(literal 2 binary64) %237)
(fma.f64 %150 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %150 #s(literal 1 binary64) %150)
(fma.f64 %19 %164 %227)
(fma.f64 %19 %164 %229)
(fma.f64 %19 %164 %231)
(fma.f64 %19 %164 %233)
(fma.f64 %19 %164 %235)
(fma.f64 %19 %164 %237)
(fma.f64 %19 %164 #s(literal 0 binary64))
(fma.f64 %19 %491 %310)
(fma.f64 %19 %491 %312)
(fma.f64 %19 %491 %314)
(fma.f64 %19 %491 %316)
(fma.f64 %19 %166 %227)
(fma.f64 %19 %166 %229)
(fma.f64 %19 %166 %231)
(fma.f64 %19 %166 %233)
(fma.f64 %19 %166 %235)
(fma.f64 %19 %166 %237)
(fma.f64 %19 %166 #s(literal 0 binary64))
(fma.f64 %19 %182 %227)
(fma.f64 %19 %182 %229)
(fma.f64 %19 %182 %231)
(fma.f64 %19 %182 %233)
(fma.f64 %19 %182 %235)
(fma.f64 %19 %182 %237)
(fma.f64 %19 %182 #s(literal 0 binary64))
(fma.f64 %19 %161 %150)
(fma.f64 #s(literal 1 binary64) %151 %310)
(fma.f64 #s(literal 1 binary64) %151 %312)
(fma.f64 #s(literal 1 binary64) %151 %314)
(fma.f64 #s(literal 1 binary64) %151 %316)
(fma.f64 #s(literal 1 binary64) %150 %150)
(fma.f64 #s(literal 1 binary64) %154 %227)
(fma.f64 #s(literal 1 binary64) %154 %229)
(fma.f64 #s(literal 1 binary64) %154 %231)
(fma.f64 #s(literal 1 binary64) %154 %233)
(fma.f64 #s(literal 1 binary64) %154 %235)
(fma.f64 #s(literal 1 binary64) %154 %237)
(fma.f64 #s(literal 1 binary64) %154 #s(literal 0 binary64))
(fma.f64 %154 #s(literal 1/2 binary64) %150)
(fma.f64 %154 #s(literal 0 binary64) %154)
(fma.f64 %154 #s(literal 1 binary64) %227)
(fma.f64 %154 #s(literal 1 binary64) %229)
(fma.f64 %154 #s(literal 1 binary64) %231)
(fma.f64 %154 #s(literal 1 binary64) %233)
(fma.f64 %154 #s(literal 1 binary64) %235)
(fma.f64 %154 #s(literal 1 binary64) %237)
(fma.f64 %154 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %7 %176 %150)
(fma.f64 %7 x %227)
(fma.f64 %7 x %229)
(fma.f64 %7 x %231)
(fma.f64 %7 x %233)
(fma.f64 %7 x %235)
(fma.f64 %7 x %237)
(fma.f64 %7 x #s(literal 0 binary64))
(fma.f64 y %206 %227)
(fma.f64 y %206 %229)
(fma.f64 y %206 %231)
(fma.f64 y %206 %233)
(fma.f64 y %206 %235)
(fma.f64 y %206 %237)
(fma.f64 y %206 #s(literal 0 binary64))
(fma.f64 y %176 %310)
(fma.f64 y %176 %312)
(fma.f64 y %176 %314)
(fma.f64 y %176 %316)
(fma.f64 y %168 %227)
(fma.f64 y %168 %229)
(fma.f64 y %168 %231)
(fma.f64 y %168 %233)
(fma.f64 y %168 %235)
(fma.f64 y %168 %237)
(fma.f64 y %168 #s(literal 0 binary64))
(fma.f64 y x %150)
(fma.f64 x %3 %310)
(fma.f64 x %3 %312)
(fma.f64 x %3 %314)
(fma.f64 x %3 %316)
(fma.f64 x %7 %227)
(fma.f64 x %7 %229)
(fma.f64 x %7 %231)
(fma.f64 x %7 %233)
(fma.f64 x %7 %235)
(fma.f64 x %7 %237)
(fma.f64 x %7 #s(literal 0 binary64))
(fma.f64 x y %150)
(-.f64 %150 %388)
(-.f64 %150 %185)
(+.f64 %310 %151)
(+.f64 %312 %151)
(+.f64 %229 %154)
(+.f64 %314 %151)
(+.f64 %316 %151)
(+.f64 %235 %154)
(+.f64 %151 %310)
(+.f64 %151 %312)
(+.f64 %151 %314)
(+.f64 %151 %316)
(+.f64 %150 %150)
(+.f64 %154 %227)
(+.f64 %154 %229)
(+.f64 %154 %231)
(+.f64 %154 %233)
(+.f64 %154 %235)
(+.f64 %154 %237)
(+.f64 %154 #s(literal 0 binary64))

reconstruct48.0ms (7.9%)

Counts
517 → 27
Compiler

Compiled 517 to 593 computations (-14.7% saved)

eval2.0ms (0.3%)

Compiler

Compiled 24 to 59 computations (-145.8% saved)

prune0.0ms (0.0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New24024
Fresh000
Picked011
Done000
Total24125
Accuracy
100.0%
Counts
25 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 x (+.f64 y y))
Compiler

Compiled 2 to 8 computations (-300.0% saved)

derivations0.0ms (0.0%)

Stop Event
done
Compiler

Compiled 1 to 4 computations (-300.0% saved)

preprocess8.0ms (1.4%)

Compiler

Compiled 8 to 32 computations (-300.0% saved)

end0.0ms (0.0%)

gc96ms (15.6%)

Allocations
AllocatedPercentPhase
392.9 MiB69.0%sample
74.0 MiB13.0%rewrite
49.3 MiB8.7%preprocess
33.5 MiB5.9%reconstruct
8.1 MiB1.4%eval
7.0 MiB1.2%series
3.4 MiB0.6%prune
0.4 MiB0.1%derivations
0.3 MiB0.1%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
569.3 MiB100.0%total

Profiling

Loading profile data...