Numeric.Log:$clog1p from log-domain-0.10.2.1, A

Time bar (total: 901.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 13 to 10 computations (23.1% saved)

sample251.0ms (27.8%)

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

preprocess25.0ms (2.7%)

Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02160
111555
245555
3114654
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (+.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 x x)) (*.f64 y y))
Symmetry

(abs y)

Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series10.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
057231
Stop Event
1×iter-limit
Counts
8 → 15
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
%3 = (*.f64 x x)
%4 = (+.f64 %2 %3)
%6 = (*.f64 y y)
x
#s(literal 2 binary64)
%2
%3
%4
y
%6
(+.f64 %4 %6)
Outputs
%5 = (* x 2)
%9 = (* x x)
%10 = (pow.f64 x #s(literal 2 binary64))
%12 = (+ %5 %9)
%13 = (+.f64 #s(literal 2 binary64) x)
%18 = (+ %12 (* y y))
%19 = (pow.f64 y #s(literal 2 binary64))
%26 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (*.f64 #s(literal 2 binary64) x))
(approx %9 %10)
(approx %12 (*.f64 x %13))
(approx %18 %19)
(approx %18 (fma.f64 #s(literal 2 binary64) x %19))
(approx %18 (fma.f64 x %13 %19))
(approx %12 (*.f64 %10 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %26))))
(approx %18 (*.f64 %10 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %26 (/.f64 %19 %10)))))
(approx %18 (*.f64 %10 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %19 x)) #s(literal 2 binary64)) x)))))
(approx y y)
(approx %18 (fma.f64 #s(literal 2 binary64) x %10))
(approx %18 (fma.f64 #s(literal 2 binary64) x (+.f64 %10 %19)))
(approx %18 (*.f64 %19 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 x %19) (/.f64 %10 %19)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
2.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
0.0ms
x
0
rewrite68.0ms (7.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0830
01326
14826
217626
353826
4186126
0443726
0471425
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 310
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
%3 = (*.f64 x x)
%4 = (+.f64 %2 %3)
%6 = (*.f64 y y)
x
#s(literal 2 binary64)
%2
%3
%4
y
%6
(+.f64 %4 %6)
Outputs
%3 = (*.f64 x #s(literal 4 binary64))
%6 = (+.f64 x x)
%7 = (*.f64 %6 #s(literal 2 binary64))
%9 = (*.f64 #s(literal 2 binary64) %6)
%11 = (*.f64 #s(literal 1/2 binary64) x)
%14 = (*.f64 #s(literal 4 binary64) x)
%17 = (fma.f64 #s(literal 2 binary64) x %6)
%20 = (neg.f64 x)
%22 = (*.f64 #s(literal -2 binary64) x)
%38 = (*.f64 %6 #s(literal 0 binary64))
%40 = (*.f64 #s(literal 0 binary64) %6)
%73 = (*.f64 x %6)
%75 = (fabs.f64 x)
%76 = (sqrt.f64 %75)
%77 = (*.f64 %76 %75)
%79 = (*.f64 %6 %6)
%82 = (*.f64 %11 %11)
%85 = (neg.f64 %75)
%89 = (*.f64 x x)
%93 = (*.f64 %11 x)
%100 = (*.f64 %89 %89)
%121 = (*.f64 %20 x)
%126 = (*.f64 %20 %85)
%129 = (*.f64 x %85)
%132 = (*.f64 %20 %75)
%135 = (*.f64 x %75)
%138 = (*.f64 %85 %20)
%141 = (*.f64 %75 %20)
%144 = (*.f64 %85 x)
%147 = (*.f64 %75 x)
%216 = (-.f64 x #s(literal -2 binary64))
%217 = (*.f64 %216 #s(literal 1 binary64))
%219 = (*.f64 %216 %6)
%221 = (*.f64 %216 #s(literal 2 binary64))
%223 = (*.f64 %216 x)
%224 = (-.f64 #s(literal -2 binary64) x)
%229 = (*.f64 #s(literal 1/2 binary64) %216)
%231 = (*.f64 %11 %216)
%237 = (*.f64 %224 x)
%241 = (-.f64 x #s(literal -1 binary64))
%242 = (*.f64 %241 %6)
%248 = (*.f64 %241 #s(literal 2 binary64))
%250 = (fma.f64 x x x)
%270 = (*.f64 #s(literal 1/2 binary64) %241)
%275 = (*.f64 %11 %241)
%286 = (-.f64 #s(literal -1 binary64) x)
%289 = (*.f64 x %286)
%296 = (fabs.f64 y)
%297 = (sqrt.f64 %296)
%298 = (*.f64 %297 %296)
%301 = (neg.f64 %296)
%304 = (neg.f64 y)
%306 = (*.f64 y y)
%310 = (*.f64 %306 %306)
%330 = (*.f64 %304 y)
%351 = (fma.f64 %216 x %306)
%358 = (fma.f64 y y %6)
%363 = (fma.f64 y y %89)
%365 = (fma.f64 y y x)
%396 = (fma.f64 y y %250)
%427 = (neg.f64 %363)
x
#s(literal 2 binary64)
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %11)
(*.f64 #s(literal 1/2 binary64) %14)
(*.f64 #s(literal 1/2 binary64) %9)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal -2 binary64) %20)
(*.f64 %22 #s(literal -1 binary64))
(*.f64 %20 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %6)
(*.f64 %6 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %6 #s(literal 1 binary64))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 %22)
(fma.f64 %3 #s(literal 1/2 binary64) %38)
(fma.f64 %3 #s(literal 1/2 binary64) %40)
(fma.f64 %7 #s(literal 1/2 binary64) %38)
(fma.f64 %7 #s(literal 1/2 binary64) %40)
(fma.f64 %9 #s(literal 1/2 binary64) %38)
(fma.f64 %9 #s(literal 1/2 binary64) %40)
(fma.f64 %11 #s(literal 4 binary64) %38)
(fma.f64 %11 #s(literal 4 binary64) %40)
(fma.f64 #s(literal 4 binary64) %11 %38)
(fma.f64 #s(literal 4 binary64) %11 %40)
(fma.f64 #s(literal 1/2 binary64) %14 %38)
(fma.f64 #s(literal 1/2 binary64) %14 %40)
(fma.f64 #s(literal 1/2 binary64) %9 %38)
(fma.f64 #s(literal 1/2 binary64) %9 %40)
(fma.f64 #s(literal 1/2 binary64) %17 %38)
(fma.f64 #s(literal 1/2 binary64) %17 %40)
(fma.f64 #s(literal -2 binary64) %20 %38)
(fma.f64 #s(literal -2 binary64) %20 %40)
(fma.f64 %22 #s(literal -1 binary64) %38)
(fma.f64 %22 #s(literal -1 binary64) %40)
(fma.f64 %20 #s(literal -2 binary64) %38)
(fma.f64 %20 #s(literal -2 binary64) %40)
(fma.f64 #s(literal 1 binary64) %6 %38)
(fma.f64 #s(literal 1 binary64) %6 %40)
(fma.f64 %6 #s(literal 1 binary64) %38)
(fma.f64 %6 #s(literal 1 binary64) %40)
(fma.f64 #s(literal 2 binary64) x %38)
(fma.f64 #s(literal 2 binary64) x %40)
(fma.f64 x #s(literal 2 binary64) %38)
(fma.f64 x #s(literal 2 binary64) %40)
(-.f64 x %20)
(+.f64 %6 %38)
(+.f64 %6 %40)
%6
(*.f64 %73 #s(literal 1/2 binary64))
(*.f64 %77 %76)
(*.f64 %79 #s(literal 1/4 binary64))
(*.f64 #s(literal 4 binary64) %82)
(*.f64 %76 %77)
(*.f64 %85 %85)
(*.f64 %75 %75)
(*.f64 %20 %20)
(*.f64 #s(literal 1 binary64) %89)
(*.f64 %89 #s(literal 1 binary64))
(*.f64 %6 %11)
(*.f64 #s(literal 2 binary64) %93)
%89
(pow.f64 (*.f64 %85 #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %100 #s(literal 1/2 binary64))
(pow.f64 %76 #s(literal 4 binary64))
(pow.f64 %85 #s(literal 2 binary64))
(pow.f64 %75 #s(literal 2 binary64))
(pow.f64 %20 #s(literal 2 binary64))
(pow.f64 %89 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %100 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %85 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %75 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %89 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %121)
(sqrt.f64 (*.f64 %100 #s(literal 1 binary64)))
(sqrt.f64 %100)
(fabs.f64 (*.f64 #s(literal -1 binary64) %126))
(fabs.f64 (*.f64 #s(literal -1 binary64) %129))
(fabs.f64 (*.f64 #s(literal -1 binary64) %132))
(fabs.f64 (*.f64 #s(literal -1 binary64) %135))
(fabs.f64 (*.f64 #s(literal -1 binary64) %138))
(fabs.f64 (*.f64 #s(literal -1 binary64) %141))
(fabs.f64 (*.f64 #s(literal -1 binary64) %144))
(fabs.f64 (*.f64 #s(literal -1 binary64) %147))
(fabs.f64 (*.f64 #s(literal -1 binary64) %121))
(fabs.f64 (*.f64 #s(literal -1 binary64) %89))
(fabs.f64 (*.f64 #s(literal 1 binary64) %126))
(fabs.f64 (*.f64 #s(literal 1 binary64) %129))
(fabs.f64 (*.f64 #s(literal 1 binary64) %132))
(fabs.f64 (*.f64 #s(literal 1 binary64) %135))
(fabs.f64 (*.f64 #s(literal 1 binary64) %138))
(fabs.f64 (*.f64 #s(literal 1 binary64) %141))
(fabs.f64 (*.f64 #s(literal 1 binary64) %144))
(fabs.f64 (*.f64 #s(literal 1 binary64) %147))
(fabs.f64 (*.f64 %126 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %126 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %129 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %129 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %132 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %132 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %135 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %135 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %138 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %138 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %141 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %141 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %144 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %144 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %147 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %147 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %121 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %89 #s(literal -1 binary64)))
(fabs.f64 %126)
(fabs.f64 %129)
(fabs.f64 %132)
(fabs.f64 %135)
(fabs.f64 %138)
(fabs.f64 %141)
(fabs.f64 %144)
(fabs.f64 %147)
(fabs.f64 %121)
(fabs.f64 %89)
(*.f64 %217 x)
(*.f64 %219 #s(literal 1/2 binary64))
(*.f64 %221 %11)
%223
(*.f64 %224 %20)
(*.f64 %20 %224)
(*.f64 #s(literal 1 binary64) %223)
(*.f64 %223 #s(literal 1 binary64))
(*.f64 %6 %229)
(*.f64 #s(literal 2 binary64) %231)
(*.f64 x %216)
(pow.f64 %223 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %223 #s(literal -1 binary64)))
(neg.f64 %237)
(fma.f64 %73 #s(literal 1/2 binary64) %6)
(fma.f64 %3 #s(literal 1/2 binary64) %89)
(fma.f64 %242 #s(literal 1/2 binary64) x)
(fma.f64 %77 %76 %6)
(fma.f64 %7 #s(literal 1/2 binary64) %89)
(fma.f64 %9 #s(literal 1/2 binary64) %89)
(fma.f64 %79 #s(literal 1/4 binary64) %6)
(fma.f64 %248 %11 x)
(fma.f64 %250 #s(literal 1 binary64) x)
(fma.f64 %11 #s(literal 4 binary64) %89)
(fma.f64 #s(literal 4 binary64) %82 %6)
(fma.f64 #s(literal 4 binary64) %11 %89)
(fma.f64 %76 %77 %6)
(fma.f64 %241 x x)
(fma.f64 #s(literal 1/2 binary64) %14 %89)
(fma.f64 #s(literal 1/2 binary64) %9 %89)
(fma.f64 #s(literal 1/2 binary64) %17 %89)
(fma.f64 #s(literal -2 binary64) %20 %89)
(fma.f64 %22 #s(literal -1 binary64) %89)
(fma.f64 %85 %85 %6)
(fma.f64 %75 %75 %6)
(fma.f64 %20 #s(literal -2 binary64) %89)
(fma.f64 %20 %20 %6)
(fma.f64 #s(literal 1 binary64) %250 x)
(fma.f64 #s(literal 1 binary64) %89 %6)
(fma.f64 #s(literal 1 binary64) %6 %89)
(fma.f64 %89 #s(literal 1 binary64) %6)
(fma.f64 %6 %270 x)
(fma.f64 %6 %11 %6)
(fma.f64 %6 #s(literal 1 binary64) %89)
(fma.f64 #s(literal 2 binary64) %93 %6)
(fma.f64 #s(literal 2 binary64) %275 x)
(fma.f64 #s(literal 2 binary64) x %89)
(fma.f64 x %241 x)
(fma.f64 x #s(literal 2 binary64) %89)
(fma.f64 x x %6)
(-.f64 %250 %20)
(-.f64 %89 %22)
(-.f64 %6 %121)
(-.f64 x (-.f64 %20 %89))
(-.f64 x (*.f64 %286 x))
(-.f64 x %289)
(+.f64 %250 x)
(+.f64 %89 %6)
(+.f64 %6 %89)
(+.f64 x %250)
y
(*.f64 %298 %297)
(*.f64 %297 %298)
(*.f64 %301 %301)
(*.f64 %296 %296)
(*.f64 %304 %304)
(*.f64 #s(literal 1 binary64) %306)
%306
(pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %310 #s(literal 1/2 binary64))
(pow.f64 %297 #s(literal 4 binary64))
(pow.f64 %301 #s(literal 2 binary64))
(pow.f64 %296 #s(literal 2 binary64))
(pow.f64 %304 #s(literal 2 binary64))
(pow.f64 %306 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %310 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %301 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %296 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %304 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %306 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %330)
(sqrt.f64 %310)
(fabs.f64 (*.f64 %304 %301))
(fabs.f64 (*.f64 y %301))
(fabs.f64 (*.f64 %304 %296))
(fabs.f64 (*.f64 y %296))
(fabs.f64 (*.f64 %301 %304))
(fabs.f64 (*.f64 %296 %304))
(fabs.f64 (*.f64 %301 y))
(fabs.f64 (*.f64 %296 y))
(fabs.f64 %330)
(fabs.f64 %306)
(*.f64 #s(literal 1 binary64) %351)
(pow.f64 %351 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %351 #s(literal -1 binary64)))
(neg.f64 (-.f64 %237 %306))
(fma.f64 %73 #s(literal 1/2 binary64) %358)
(fma.f64 %217 x %306)
(fma.f64 %219 #s(literal 1/2 binary64) %306)
(fma.f64 %221 %11 %306)
(fma.f64 %3 #s(literal 1/2 binary64) %363)
(fma.f64 %242 #s(literal 1/2 binary64) %365)
(fma.f64 %77 %76 %358)
(fma.f64 %298 %297 %223)
(fma.f64 %7 #s(literal 1/2 binary64) %363)
(fma.f64 %9 #s(literal 1/2 binary64) %363)
(fma.f64 %79 #s(literal 1/4 binary64) %358)
(fma.f64 %248 %11 %365)
(fma.f64 %250 #s(literal 1 binary64) %365)
(fma.f64 %11 #s(literal 4 binary64) %363)
(fma.f64 #s(literal 4 binary64) %82 %358)
(fma.f64 #s(literal 4 binary64) %11 %363)
%351
(fma.f64 %224 %20 %306)
(fma.f64 %297 %298 %223)
(fma.f64 %76 %77 %358)
(fma.f64 %241 x %365)
(fma.f64 #s(literal 1/2 binary64) %14 %363)
(fma.f64 #s(literal 1/2 binary64) %9 %363)
(fma.f64 #s(literal 1/2 binary64) %17 %363)
(fma.f64 #s(literal -2 binary64) %20 %363)
(fma.f64 %22 #s(literal -1 binary64) %363)
(fma.f64 %85 %85 %358)
(fma.f64 %301 %301 %223)
(fma.f64 %296 %296 %223)
(fma.f64 %75 %75 %358)
(fma.f64 %304 %304 %223)
(fma.f64 %20 %224 %306)
(fma.f64 %20 #s(literal -2 binary64) %363)
(fma.f64 %20 %20 %358)
(fma.f64 #s(literal 1 binary64) %365 %250)
(fma.f64 #s(literal 1 binary64) %250 %365)
(fma.f64 #s(literal 1 binary64) %396 x)
(fma.f64 #s(literal 1 binary64) %358 %89)
(fma.f64 #s(literal 1 binary64) %363 %6)
(fma.f64 #s(literal 1 binary64) %306 %223)
(fma.f64 #s(literal 1 binary64) %223 %306)
(fma.f64 #s(literal 1 binary64) %89 %358)
(fma.f64 #s(literal 1 binary64) %6 %363)
(fma.f64 y y %223)
(fma.f64 %223 #s(literal 1 binary64) %306)
(fma.f64 %89 #s(literal 1 binary64) %358)
(fma.f64 %6 %229 %306)
(fma.f64 %6 %270 %365)
(fma.f64 %6 %11 %358)
(fma.f64 %6 #s(literal 1 binary64) %363)
(fma.f64 #s(literal 2 binary64) %93 %358)
(fma.f64 #s(literal 2 binary64) %231 %306)
(fma.f64 #s(literal 2 binary64) %275 %365)
(fma.f64 #s(literal 2 binary64) x %363)
(fma.f64 x %216 %306)
(fma.f64 x %241 %365)
(fma.f64 x #s(literal 2 binary64) %363)
(fma.f64 x x %358)
(-.f64 %365 %289)
(-.f64 %396 %20)
(-.f64 %358 %121)
(-.f64 %363 %22)
(-.f64 %306 %237)
(-.f64 %223 %330)
(-.f64 %89 (neg.f64 %358))
(-.f64 %6 %427)
(-.f64 x (-.f64 %20 %363))
(-.f64 x (+.f64 %20 %427))
(-.f64 x (neg.f64 %396))
(+.f64 %365 %250)
(+.f64 %250 %365)
(+.f64 %396 x)
(+.f64 %358 %89)
(+.f64 %363 %6)
(+.f64 %306 %223)
(+.f64 %223 %306)
(+.f64 %89 %358)
(+.f64 %6 %363)
(+.f64 x %396)
reconstruct26.0ms (2.9%)
Counts
325 → 52
Compiler
Compiled 325 to 472 computations (-45.2% saved)
eval4.0ms (0.4%)
Compiler
Compiled 48 to 157 computations (-227.1% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New47148
Fresh000
Picked101
Done000
Total48149
Accuracy
100.0%
Counts
49 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
Compiler
Compiled 1 to 6 computations (-500.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series7.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
053203
Stop Event
1×iter-limit
Counts
6 → 16
Calls
Call 1
Inputs
%3 = (-.f64 x #s(literal -2 binary64))
%4 = (*.f64 %3 x)
x
y
#s(literal -2 binary64)
%3
%4
(fma.f64 y y %4)
Outputs
%5 = (- x -2)
%8 = (+.f64 #s(literal 2 binary64) x)
%10 = (* %5 x)
%13 = (*.f64 x %8)
%17 = (+ (* y y) %10)
%18 = (pow.f64 y #s(literal 2 binary64))
%25 = (/.f64 #s(literal 1 binary64) x)
%27 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %25))
%30 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 2 binary64))
(approx %5 %8)
(approx %10 (*.f64 #s(literal 2 binary64) x))
(approx %10 %13)
(approx %17 %18)
(approx %17 (fma.f64 #s(literal 2 binary64) x %18))
(approx %17 (fma.f64 x %8 %18))
(approx %5 (*.f64 x %27))
(approx %10 %30)
(approx %10 (*.f64 %30 %27))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %25 (/.f64 %18 %30)))))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %18 x)) #s(literal 2 binary64)) x)))))
(approx y y)
(approx %17 (*.f64 %18 (+.f64 #s(literal 1 binary64) (/.f64 %13 %18))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
0.0ms
y
-inf
0.0ms
x
0
rewrite84.0ms (9.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0619
01019
13519
210119
330119
4102319
0404319
0423719
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 499
Calls
Call 1
Inputs
%3 = (-.f64 x #s(literal -2 binary64))
%4 = (*.f64 %3 x)
x
y
#s(literal -2 binary64)
%3
%4
(fma.f64 y y %4)
Outputs
%3 = (-.f64 x #s(literal -2 binary64))
%5 = (/.f64 %3 #s(literal 1/2 binary64))
%11 = (-.f64 x #s(literal -1 binary64))
%13 = (-.f64 %11 #s(literal -1/2 binary64))
%54 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%61 = (*.f64 %54 #s(literal 2 binary64))
%65 = (*.f64 %54 #s(literal -2 binary64))
%69 = (+.f64 x x)
%73 = (*.f64 %69 #s(literal 2 binary64))
%142 = (-.f64 #s(literal -2 binary64) x)
%150 = (-.f64 #s(literal -1 binary64) x)
%151 = (-.f64 #s(literal 1/2 binary64) %150)
%154 = (-.f64 #s(literal 0 binary64) %150)
%158 = (*.f64 x #s(literal -1 binary64))
%159 = (*.f64 %158 #s(literal 1 binary64))
%161 = (*.f64 #s(literal -1 binary64) x)
%162 = (*.f64 %161 #s(literal 1 binary64))
%164 = (*.f64 #s(literal 1/2 binary64) x)
%165 = (neg.f64 %164)
%166 = (*.f64 %165 #s(literal 2 binary64))
%168 = (*.f64 #s(literal -1/2 binary64) %69)
%170 = (*.f64 #s(literal -2 binary64) x)
%171 = (*.f64 %170 #s(literal 1/2 binary64))
%173 = (*.f64 #s(literal -2 binary64) %164)
%176 = (neg.f64 x)
%177 = (*.f64 %176 #s(literal 1 binary64))
%192 = (*.f64 %3 x)
%196 = (fma.f64 x x x)
%199 = (*.f64 x %11)
%202 = (*.f64 %11 x)
%205 = (*.f64 x x)
%214 = (*.f64 %142 x)
%216 = (*.f64 %164 %164)
%217 = (*.f64 %158 #s(literal -2 binary64))
%219 = (*.f64 %161 #s(literal -2 binary64))
%223 = (*.f64 (neg.f64 (*.f64 %176 #s(literal 4 binary64))) #s(literal 1/2 binary64))
%227 = (*.f64 (neg.f64 (*.f64 %176 #s(literal 1/2 binary64))) #s(literal 4 binary64))
%230 = (*.f64 (neg.f64 %177) #s(literal 2 binary64))
%233 = (*.f64 #s(literal -4 binary64) (*.f64 #s(literal 1/2 binary64) %176))
%236 = (*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 4 binary64) %176))
%238 = (*.f64 %170 #s(literal -1 binary64))
%240 = (*.f64 #s(literal -1 binary64) %170)
%242 = (*.f64 #s(literal -2 binary64) %161)
%245 = (*.f64 %69 %69)
%257 = (fabs.f64 x)
%258 = (neg.f64 %257)
%259 = (neg.f64 %258)
%271 = (*.f64 x #s(literal 4 binary64))
%272 = (*.f64 %158 %176)
%274 = (*.f64 %161 %176)
%276 = (*.f64 %259 %257)
%358 = (*.f64 #s(literal 4 binary64) x)
%462 = (*.f64 %158 x)
%464 = (*.f64 %161 x)
%466 = (*.f64 %259 %258)
%468 = (*.f64 %176 x)
%470 = (*.f64 %158 #s(literal 2 binary64))
%472 = (*.f64 %161 #s(literal 2 binary64))
%475 = (*.f64 (neg.f64 %271) #s(literal 1/2 binary64))
%478 = (*.f64 (neg.f64 %73) #s(literal 1/2 binary64))
%480 = (*.f64 %165 #s(literal 4 binary64))
%482 = (*.f64 #s(literal -4 binary64) %164)
%484 = (*.f64 #s(literal -1/2 binary64) %358)
%486 = (*.f64 #s(literal -1 binary64) %69)
%495 = (+.f64 x %205)
%525 = (fma.f64 y y %192)
%528 = (fma.f64 y y %205)
%529 = (+.f64 %528 x)
%536 = (*.f64 y y)
%539 = (fma.f64 y y %69)
%544 = (fabs.f64 y)
%545 = (sqrt.f64 %544)
%546 = (*.f64 %545 %544)
%547 = (*.f64 %158 %142)
%549 = (*.f64 %161 %142)
%568 = (neg.f64 %544)
%571 = (*.f64 (neg.f64 (*.f64 %568 %545)) %545)
%573 = (neg.f64 %545)
%575 = (*.f64 %573 (*.f64 %545 %568))
%588 = (neg.f64 y)
x
y
#s(literal -2 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (fma.f64 %13 #s(literal 1/2 binary64) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %13 #s(literal -2 binary64) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal 1 binary64) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %13 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %13 #s(literal 4 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %11 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %11 #s(literal 1/2 binary64) #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %11 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %11 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %3 #s(literal 1/2 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %3 #s(literal 1 binary64) #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %3 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64)) #s(literal 1/2 binary64))
(/.f64 (-.f64 (*.f64 %11 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 %54 #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 %54 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %61) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %65) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 16 binary64) (*.f64 %69 #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %73) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %54) #s(literal 2 binary64))
(/.f64 (+.f64 %5 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %69 #s(literal -4 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %54 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %54 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %54 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %54 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %54)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) %54)) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %54)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %54)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %54)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 16 binary64) (*.f64 #s(literal 4 binary64) %69)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 2 binary64) %69)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %5 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %5 #s(literal 1 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %5 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %5 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %69 #s(literal 4 binary64) #s(literal 16 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %69 #s(literal 2 binary64) #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal 4 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %65 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %61 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %73 #s(literal -8 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 %3 #s(literal 1 binary64))
(neg.f64 %142)
(fma.f64 %5 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %54 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %11 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(-.f64 %13 #s(literal -1/2 binary64))
(-.f64 %11 #s(literal -1 binary64))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %151))
(-.f64 #s(literal 1 binary64) (neg.f64 %154))
(-.f64 #s(literal 1 binary64) %150)
(-.f64 #s(literal 2 binary64) %159)
(-.f64 #s(literal 2 binary64) %162)
(-.f64 #s(literal 2 binary64) %166)
(-.f64 #s(literal 2 binary64) %168)
(-.f64 #s(literal 2 binary64) %171)
(-.f64 #s(literal 2 binary64) %173)
(-.f64 #s(literal 2 binary64) %158)
(-.f64 #s(literal 2 binary64) %177)
(-.f64 #s(literal 2 binary64) %161)
(-.f64 #s(literal 2 binary64) %176)
(-.f64 %3 #s(literal 0 binary64))
%3
(+.f64 %13 #s(literal 1/2 binary64))
(+.f64 %11 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) %151)
(+.f64 #s(literal 1 binary64) %154)
(+.f64 #s(literal 1 binary64) %11)
(+.f64 #s(literal 2 binary64) x)
(+.f64 %3 #s(literal 0 binary64))
(+.f64 x #s(literal 2 binary64))
(*.f64 %176 %142)
(*.f64 %142 %176)
(*.f64 #s(literal 1 binary64) %192)
%192
(*.f64 x %3)
(pow.f64 %192 #s(literal 1 binary64))
(/.f64 (fma.f64 %196 #s(literal 2 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %199 #s(literal 2 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %202 #s(literal 2 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %205 #s(literal 2 binary64) %73) #s(literal 2 binary64))
(/.f64 (*.f64 %5 %69) #s(literal 4 binary64))
(/.f64 (*.f64 %69 %5) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %192 #s(literal -1 binary64)))
(neg.f64 %214)
(fma.f64 %216 #s(literal 4 binary64) %217)
(fma.f64 %216 #s(literal 4 binary64) %219)
(fma.f64 %216 #s(literal 4 binary64) %223)
(fma.f64 %216 #s(literal 4 binary64) %227)
(fma.f64 %216 #s(literal 4 binary64) %230)
(fma.f64 %216 #s(literal 4 binary64) %233)
(fma.f64 %216 #s(literal 4 binary64) %236)
(fma.f64 %216 #s(literal 4 binary64) %238)
(fma.f64 %216 #s(literal 4 binary64) %240)
(fma.f64 %216 #s(literal 4 binary64) %242)
(fma.f64 %216 #s(literal 4 binary64) %69)
(fma.f64 %245 #s(literal 1/4 binary64) %217)
(fma.f64 %245 #s(literal 1/4 binary64) %219)
(fma.f64 %245 #s(literal 1/4 binary64) %223)
(fma.f64 %245 #s(literal 1/4 binary64) %227)
(fma.f64 %245 #s(literal 1/4 binary64) %230)
(fma.f64 %245 #s(literal 1/4 binary64) %233)
(fma.f64 %245 #s(literal 1/4 binary64) %236)
(fma.f64 %245 #s(literal 1/4 binary64) %238)
(fma.f64 %245 #s(literal 1/4 binary64) %240)
(fma.f64 %245 #s(literal 1/4 binary64) %242)
(fma.f64 %245 #s(literal 1/4 binary64) %69)
(fma.f64 %259 %259 %217)
(fma.f64 %259 %259 %219)
(fma.f64 %259 %259 %223)
(fma.f64 %259 %259 %227)
(fma.f64 %259 %259 %230)
(fma.f64 %259 %259 %233)
(fma.f64 %259 %259 %236)
(fma.f64 %259 %259 %238)
(fma.f64 %259 %259 %240)
(fma.f64 %259 %259 %242)
(fma.f64 %259 %259 %69)
(fma.f64 %271 #s(literal 1/2 binary64) %272)
(fma.f64 %271 #s(literal 1/2 binary64) %274)
(fma.f64 %271 #s(literal 1/2 binary64) %276)
(fma.f64 %271 #s(literal 1/2 binary64) %205)
(fma.f64 %73 #s(literal 1/2 binary64) %272)
(fma.f64 %73 #s(literal 1/2 binary64) %274)
(fma.f64 %73 #s(literal 1/2 binary64) %276)
(fma.f64 %73 #s(literal 1/2 binary64) %205)
(fma.f64 %164 #s(literal 4 binary64) %272)
(fma.f64 %164 #s(literal 4 binary64) %274)
(fma.f64 %164 #s(literal 4 binary64) %276)
(fma.f64 %164 #s(literal 4 binary64) %205)
(fma.f64 %158 %158 %217)
(fma.f64 %158 %158 %219)
(fma.f64 %158 %158 %223)
(fma.f64 %158 %158 %227)
(fma.f64 %158 %158 %230)
(fma.f64 %158 %158 %233)
(fma.f64 %158 %158 %236)
(fma.f64 %158 %158 %238)
(fma.f64 %158 %158 %240)
(fma.f64 %158 %158 %242)
(fma.f64 %158 %158 %69)
(fma.f64 %161 %161 %217)
(fma.f64 %161 %161 %219)
(fma.f64 %161 %161 %223)
(fma.f64 %161 %161 %227)
(fma.f64 %161 %161 %230)
(fma.f64 %161 %161 %233)
(fma.f64 %161 %161 %236)
(fma.f64 %161 %161 %238)
(fma.f64 %161 %161 %240)
(fma.f64 %161 %161 %242)
(fma.f64 %161 %161 %69)
(fma.f64 %258 %258 %217)
(fma.f64 %258 %258 %219)
(fma.f64 %258 %258 %223)
(fma.f64 %258 %258 %227)
(fma.f64 %258 %258 %230)
(fma.f64 %258 %258 %233)
(fma.f64 %258 %258 %236)
(fma.f64 %258 %258 %238)
(fma.f64 %258 %258 %240)
(fma.f64 %258 %258 %242)
(fma.f64 %258 %258 %69)
(fma.f64 #s(literal 1/4 binary64) %245 %217)
(fma.f64 #s(literal 1/4 binary64) %245 %219)
(fma.f64 #s(literal 1/4 binary64) %245 %223)
(fma.f64 #s(literal 1/4 binary64) %245 %227)
(fma.f64 #s(literal 1/4 binary64) %245 %230)
(fma.f64 #s(literal 1/4 binary64) %245 %233)
(fma.f64 #s(literal 1/4 binary64) %245 %236)
(fma.f64 #s(literal 1/4 binary64) %245 %238)
(fma.f64 #s(literal 1/4 binary64) %245 %240)
(fma.f64 #s(literal 1/4 binary64) %245 %242)
(fma.f64 #s(literal 1/4 binary64) %245 %69)
(fma.f64 %11 x x)
(fma.f64 #s(literal 4 binary64) %216 %217)
(fma.f64 #s(literal 4 binary64) %216 %219)
(fma.f64 #s(literal 4 binary64) %216 %223)
(fma.f64 #s(literal 4 binary64) %216 %227)
(fma.f64 #s(literal 4 binary64) %216 %230)
(fma.f64 #s(literal 4 binary64) %216 %233)
(fma.f64 #s(literal 4 binary64) %216 %236)
(fma.f64 #s(literal 4 binary64) %216 %238)
(fma.f64 #s(literal 4 binary64) %216 %240)
(fma.f64 #s(literal 4 binary64) %216 %242)
(fma.f64 #s(literal 4 binary64) %216 %69)
(fma.f64 #s(literal 4 binary64) %164 %272)
(fma.f64 #s(literal 4 binary64) %164 %274)
(fma.f64 #s(literal 4 binary64) %164 %276)
(fma.f64 #s(literal 4 binary64) %164 %205)
(fma.f64 %257 %257 %217)
(fma.f64 %257 %257 %219)
(fma.f64 %257 %257 %223)
(fma.f64 %257 %257 %227)
(fma.f64 %257 %257 %230)
(fma.f64 %257 %257 %233)
(fma.f64 %257 %257 %236)
(fma.f64 %257 %257 %238)
(fma.f64 %257 %257 %240)
(fma.f64 %257 %257 %242)
(fma.f64 %257 %257 %69)
(fma.f64 #s(literal 1/2 binary64) %358 %272)
(fma.f64 #s(literal 1/2 binary64) %358 %274)
(fma.f64 #s(literal 1/2 binary64) %358 %276)
(fma.f64 #s(literal 1/2 binary64) %358 %205)
(fma.f64 %69 #s(literal 1 binary64) %272)
(fma.f64 %69 #s(literal 1 binary64) %274)
(fma.f64 %69 #s(literal 1 binary64) %276)
(fma.f64 %69 #s(literal 1 binary64) %205)
(fma.f64 %205 #s(literal 1 binary64) %217)
(fma.f64 %205 #s(literal 1 binary64) %219)
(fma.f64 %205 #s(literal 1 binary64) %223)
(fma.f64 %205 #s(literal 1 binary64) %227)
(fma.f64 %205 #s(literal 1 binary64) %230)
(fma.f64 %205 #s(literal 1 binary64) %233)
(fma.f64 %205 #s(literal 1 binary64) %236)
(fma.f64 %205 #s(literal 1 binary64) %238)
(fma.f64 %205 #s(literal 1 binary64) %240)
(fma.f64 %205 #s(literal 1 binary64) %242)
(fma.f64 %205 #s(literal 1 binary64) %69)
(fma.f64 %176 %176 %217)
(fma.f64 %176 %176 %219)
(fma.f64 %176 %176 %223)
(fma.f64 %176 %176 %227)
(fma.f64 %176 %176 %230)
(fma.f64 %176 %176 %233)
(fma.f64 %176 %176 %236)
(fma.f64 %176 %176 %238)
(fma.f64 %176 %176 %240)
(fma.f64 %176 %176 %242)
(fma.f64 %176 %176 %69)
(fma.f64 %176 #s(literal -2 binary64) %272)
(fma.f64 %176 #s(literal -2 binary64) %274)
(fma.f64 %176 #s(literal -2 binary64) %276)
(fma.f64 %176 #s(literal -2 binary64) %205)
(fma.f64 #s(literal 1 binary64) %69 %272)
(fma.f64 #s(literal 1 binary64) %69 %274)
(fma.f64 #s(literal 1 binary64) %69 %276)
(fma.f64 #s(literal 1 binary64) %69 %205)
(fma.f64 #s(literal 1 binary64) %205 %217)
(fma.f64 #s(literal 1 binary64) %205 %219)
(fma.f64 #s(literal 1 binary64) %205 %223)
(fma.f64 #s(literal 1 binary64) %205 %227)
(fma.f64 #s(literal 1 binary64) %205 %230)
(fma.f64 #s(literal 1 binary64) %205 %233)
(fma.f64 #s(literal 1 binary64) %205 %236)
(fma.f64 #s(literal 1 binary64) %205 %238)
(fma.f64 #s(literal 1 binary64) %205 %240)
(fma.f64 #s(literal 1 binary64) %205 %242)
(fma.f64 #s(literal 1 binary64) %205 %69)
(fma.f64 #s(literal 2 binary64) x %272)
(fma.f64 #s(literal 2 binary64) x %274)
(fma.f64 #s(literal 2 binary64) x %276)
(fma.f64 #s(literal 2 binary64) x %205)
(fma.f64 #s(literal -2 binary64) %176 %272)
(fma.f64 #s(literal -2 binary64) %176 %274)
(fma.f64 #s(literal -2 binary64) %176 %276)
(fma.f64 #s(literal -2 binary64) %176 %205)
(fma.f64 x %11 x)
(fma.f64 x #s(literal 2 binary64) %272)
(fma.f64 x #s(literal 2 binary64) %274)
(fma.f64 x #s(literal 2 binary64) %276)
(fma.f64 x #s(literal 2 binary64) %205)
(fma.f64 x x %217)
(fma.f64 x x %219)
(fma.f64 x x %223)
(fma.f64 x x %227)
(fma.f64 x x %230)
(fma.f64 x x %233)
(fma.f64 x x %236)
(fma.f64 x x %238)
(fma.f64 x x %240)
(fma.f64 x x %242)
(fma.f64 x x %69)
(-.f64 %196 %159)
(-.f64 %196 %162)
(-.f64 %196 %166)
(-.f64 %196 %168)
(-.f64 %196 %171)
(-.f64 %196 %173)
(-.f64 %196 %158)
(-.f64 %196 %177)
(-.f64 %196 %161)
(-.f64 %196 %176)
(-.f64 %199 %159)
(-.f64 %199 %162)
(-.f64 %199 %166)
(-.f64 %199 %168)
(-.f64 %199 %171)
(-.f64 %199 %173)
(-.f64 %199 %158)
(-.f64 %199 %177)
(-.f64 %199 %161)
(-.f64 %199 %176)
(-.f64 %202 %159)
(-.f64 %202 %162)
(-.f64 %202 %166)
(-.f64 %202 %168)
(-.f64 %202 %171)
(-.f64 %202 %173)
(-.f64 %202 %158)
(-.f64 %202 %177)
(-.f64 %202 %161)
(-.f64 %202 %176)
(-.f64 %69 %462)
(-.f64 %69 %464)
(-.f64 %69 %466)
(-.f64 %69 %468)
(-.f64 %205 %470)
(-.f64 %205 %472)
(-.f64 %205 %475)
(-.f64 %205 %478)
(-.f64 %205 %480)
(-.f64 %205 %482)
(-.f64 %205 %484)
(-.f64 %205 %486)
(-.f64 %205 %170)
(-.f64 x (*.f64 %158 %11))
(-.f64 x (*.f64 %161 %11))
(-.f64 x (*.f64 %150 x))
(-.f64 x (neg.f64 %495))
(-.f64 x (neg.f64 %199))
(-.f64 x (neg.f64 %202))
(-.f64 x (*.f64 %176 %11))
(+.f64 %196 x)
(+.f64 %199 x)
(+.f64 %202 x)
(+.f64 %69 %272)
(+.f64 %69 %274)
(+.f64 %69 %276)
(+.f64 %69 %205)
(+.f64 %205 %217)
(+.f64 %205 %219)
(+.f64 %205 %223)
(+.f64 %205 %227)
(+.f64 %205 %230)
(+.f64 %205 %233)
(+.f64 %205 %236)
(+.f64 %205 %238)
(+.f64 %205 %240)
(+.f64 %205 %242)
(+.f64 %205 %69)
(+.f64 x %495)
(+.f64 x %199)
(+.f64 x %202)
(*.f64 #s(literal 1 binary64) %525)
(pow.f64 %525 #s(literal 1 binary64))
(/.f64 (fma.f64 %529 #s(literal 2 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %528 #s(literal 2 binary64) %73) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %525 #s(literal -1 binary64)))
(neg.f64 (-.f64 %214 %536))
(fma.f64 %216 #s(literal 4 binary64) %539)
(fma.f64 %245 #s(literal 1/4 binary64) %539)
(fma.f64 %259 %259 %539)
(fma.f64 %271 #s(literal 1/2 binary64) %528)
(fma.f64 %546 %545 %547)
(fma.f64 %546 %545 %549)
(fma.f64 %546 %545 %192)
(fma.f64 %73 #s(literal 1/2 binary64) %528)
(fma.f64 %164 #s(literal 4 binary64) %528)
(fma.f64 %158 %158 %539)
(fma.f64 %161 %161 %539)
(fma.f64 %258 %258 %539)
(fma.f64 #s(literal 1/4 binary64) %245 %539)
(fma.f64 #s(literal 4 binary64) %216 %539)
(fma.f64 #s(literal 4 binary64) %164 %528)
(fma.f64 %257 %257 %539)
(fma.f64 %545 %546 %547)
(fma.f64 %545 %546 %549)
(fma.f64 %545 %546 %192)
(fma.f64 #s(literal 1/2 binary64) %358 %528)
(fma.f64 %69 #s(literal 1 binary64) %528)
(fma.f64 %205 #s(literal 1 binary64) %539)
(fma.f64 %176 %176 %539)
(fma.f64 %176 %142 %571)
(fma.f64 %176 %142 %575)
(fma.f64 %176 %142 %536)
(fma.f64 %176 #s(literal -2 binary64) %528)
(fma.f64 %568 %568 %547)
(fma.f64 %568 %568 %549)
(fma.f64 %568 %568 %192)
(fma.f64 %142 %176 %571)
(fma.f64 %142 %176 %575)
(fma.f64 %142 %176 %536)
(fma.f64 %544 %544 %547)
(fma.f64 %544 %544 %549)
(fma.f64 %544 %544 %192)
(fma.f64 %588 %588 %547)
(fma.f64 %588 %588 %549)
(fma.f64 %588 %588 %192)
(fma.f64 #s(literal 1 binary64) %528 %217)
(fma.f64 #s(literal 1 binary64) %528 %219)
(fma.f64 #s(literal 1 binary64) %528 %223)
(fma.f64 #s(literal 1 binary64) %528 %227)
(fma.f64 #s(literal 1 binary64) %528 %230)
(fma.f64 #s(literal 1 binary64) %528 %233)
(fma.f64 #s(literal 1 binary64) %528 %236)
(fma.f64 #s(literal 1 binary64) %528 %238)
(fma.f64 #s(literal 1 binary64) %528 %240)
(fma.f64 #s(literal 1 binary64) %528 %242)
(fma.f64 #s(literal 1 binary64) %528 %69)
(fma.f64 #s(literal 1 binary64) %539 %272)
(fma.f64 #s(literal 1 binary64) %539 %274)
(fma.f64 #s(literal 1 binary64) %539 %276)
(fma.f64 #s(literal 1 binary64) %539 %205)
(fma.f64 #s(literal 1 binary64) %69 %528)
(fma.f64 #s(literal 1 binary64) %205 %539)
(fma.f64 #s(literal 1 binary64) %536 %547)
(fma.f64 #s(literal 1 binary64) %536 %549)
(fma.f64 #s(literal 1 binary64) %536 %192)
(fma.f64 #s(literal 1 binary64) %192 %571)
(fma.f64 #s(literal 1 binary64) %192 %575)
(fma.f64 #s(literal 1 binary64) %192 %536)
(fma.f64 #s(literal 2 binary64) x %528)
(fma.f64 %3 x %571)
(fma.f64 %3 x %575)
(fma.f64 %3 x %536)
(fma.f64 #s(literal -2 binary64) %176 %528)
(fma.f64 y y %547)
(fma.f64 y y %549)
%525
(fma.f64 x #s(literal 2 binary64) %528)
(fma.f64 x %3 %571)
(fma.f64 x %3 %575)
(fma.f64 x %3 %536)
(fma.f64 x x %539)
(-.f64 %529 %159)
(-.f64 %529 %162)
(-.f64 %529 %166)
(-.f64 %529 %168)
(-.f64 %529 %171)
(-.f64 %529 %173)
(-.f64 %529 %158)
(-.f64 %529 %177)
(-.f64 %529 %161)
(-.f64 %529 %176)
(-.f64 %528 %470)
(-.f64 %528 %472)
(-.f64 %528 %475)
(-.f64 %528 %478)
(-.f64 %528 %480)
(-.f64 %528 %482)
(-.f64 %528 %484)
(-.f64 %528 %486)
(-.f64 %528 %170)
(-.f64 %539 %462)
(-.f64 %539 %464)
(-.f64 %539 %466)
(-.f64 %539 %468)
(-.f64 %69 (neg.f64 %528))
(-.f64 %205 (neg.f64 %539))
(-.f64 %536 (*.f64 %158 %3))
(-.f64 %536 (*.f64 %161 %3))
(-.f64 %536 %214)
(-.f64 %192 (*.f64 (neg.f64 %546) %545))
(-.f64 %192 (*.f64 %573 %546))
(-.f64 %192 (*.f64 %588 y))
(+.f64 %529 x)
(+.f64 %528 %217)
(+.f64 %528 %219)
(+.f64 %528 %223)
(+.f64 %528 %227)
(+.f64 %528 %230)
(+.f64 %528 %233)
(+.f64 %528 %236)
(+.f64 %528 %238)
(+.f64 %528 %240)
(+.f64 %528 %242)
(+.f64 %528 %69)
(+.f64 %539 %272)
(+.f64 %539 %274)
(+.f64 %539 %276)
(+.f64 %539 %205)
(+.f64 %69 %528)
(+.f64 %205 %539)
(+.f64 %536 %547)
(+.f64 %536 %549)
(+.f64 %536 %192)
(+.f64 %192 %571)
(+.f64 %192 %575)
(+.f64 %192 %536)
reconstruct43.0ms (4.7%)
Counts
515 → 33
Compiler
Compiled 515 to 715 computations (-38.8% saved)
eval2.0ms (0.2%)
Compiler
Compiled 30 to 94 computations (-213.3% saved)
prune1.0ms (0.1%)
Pruning
2 alts after pruning (1 fresh and 1 done)
PrunedKeptTotal
New29130
Fresh000
Picked011
Done000
Total29231
Accuracy
100.0%
Counts
31 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
▶67.9%
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) x))
Compiler
Compiled 2 to 9 computations (-350.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
053203
Stop Event
1×iter-limit
Counts
6 → 16
Calls
Call 1
Inputs
%5 = (approx (- x -2) #s(literal 2 binary64))
%6 = (*.f64 %5 x)
x
#s(literal 2 binary64)
y
%5
%6
(fma.f64 y y %6)
Outputs
%5 = (- x -2)
%8 = (+.f64 #s(literal 2 binary64) x)
%10 = (* %5 x)
%13 = (*.f64 x %8)
%17 = (+ (* y y) %10)
%18 = (pow.f64 y #s(literal 2 binary64))
%25 = (/.f64 #s(literal 1 binary64) x)
%27 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %25))
%30 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 2 binary64))
(approx %5 %8)
(approx %10 (*.f64 #s(literal 2 binary64) x))
(approx %10 %13)
(approx %17 %18)
(approx %17 (fma.f64 #s(literal 2 binary64) x %18))
(approx %17 (fma.f64 x %8 %18))
(approx %5 (*.f64 x %27))
(approx %10 %30)
(approx %10 (*.f64 %30 %27))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %25 (/.f64 %18 %30)))))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %18 x)) #s(literal 2 binary64)) x)))))
(approx y y)
(approx %17 (*.f64 %18 (+.f64 #s(literal 1 binary64) (/.f64 %13 %18))))
Calls
6 calls:
TimeVariablePoint
3.0ms
y
-inf
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
0.0ms
x
0
rewrite58.0ms (6.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0825
01125
13825
210325
327625
476025
0463225
0480825
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 40
Calls
Call 1
Inputs
%5 = (approx (- x -2) #s(literal 2 binary64))
%6 = (*.f64 %5 x)
x
#s(literal 2 binary64)
y
%5
%6
(fma.f64 y y %6)
Outputs
%6 = (approx (- x -2) #s(literal 2 binary64))
%12 = (neg.f64 %6)
%14 = (neg.f64 x)
%17 = (*.f64 %6 x)
%23 = (*.f64 %12 x)
%25 = (fma.f64 y y %17)
%32 = (fabs.f64 y)
%33 = (sqrt.f64 %32)
%34 = (*.f64 %33 %32)
%35 = (sqrt.f64 %33)
%39 = (neg.f64 %33)
%40 = (*.f64 %39 %32)
%46 = (*.f64 y y)
%48 = (neg.f64 %32)
%52 = (neg.f64 y)
x
#s(literal 2 binary64)
y
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 %12)
(*.f64 %14 %12)
(*.f64 %12 %14)
(*.f64 #s(literal 1 binary64) %17)
%17
(*.f64 x %6)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(neg.f64 %23)
(*.f64 #s(literal 1 binary64) %25)
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %25))
(fma.f64 (*.f64 %34 %35) %35 %17)
(fma.f64 %34 %33 %17)
(fma.f64 %40 %39 %17)
(fma.f64 %39 %40 %17)
(fma.f64 %35 (*.f64 %35 %34) %17)
(fma.f64 %33 %34 %17)
(fma.f64 %14 %12 %46)
(fma.f64 %48 %48 %17)
(fma.f64 %12 %14 %46)
(fma.f64 %32 %32 %17)
(fma.f64 %52 %52 %17)
(fma.f64 #s(literal 1 binary64) %46 %17)
(fma.f64 #s(literal 1 binary64) %17 %46)
(fma.f64 %6 x %46)
%25
(fma.f64 x %6 %46)
(-.f64 %46 %23)
(-.f64 %17 (*.f64 %52 y))
(+.f64 %46 %17)
(+.f64 %17 %46)
reconstruct4.0ms (0.4%)
Counts
55 → 22
Compiler
Compiled 55 to 87 computations (-58.2% saved)
eval2.0ms (0.2%)
Compiler
Compiled 18 to 57 computations (-216.7% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New17118
Fresh000
Picked011
Done011
Total17320
Accuracy
100.0%
Counts
20 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
▶51.8%
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) (approx x #s(literal 0 binary64))))
✓67.9%
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) x))
Compiler
Compiled 3 to 12 computations (-300.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
053203
Stop Event
1×iter-limit
Counts
8 → 16
Calls
Call 1
Inputs
%4 = (approx x #s(literal 0 binary64))
%7 = (approx (- x -2) #s(literal 2 binary64))
%8 = (*.f64 %7 %4)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
%4
%7
%8
(fma.f64 y y %8)
Outputs
%5 = (- x -2)
%8 = (+.f64 #s(literal 2 binary64) x)
%10 = (* %5 x)
%13 = (*.f64 x %8)
%17 = (+ (* y y) %10)
%18 = (pow.f64 y #s(literal 2 binary64))
%25 = (/.f64 #s(literal 1 binary64) x)
%27 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %25))
%30 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 2 binary64))
(approx %5 %8)
(approx %10 (*.f64 #s(literal 2 binary64) x))
(approx %10 %13)
(approx %17 %18)
(approx %17 (fma.f64 #s(literal 2 binary64) x %18))
(approx %17 (fma.f64 x %8 %18))
(approx %5 (*.f64 x %27))
(approx %10 %30)
(approx %10 (*.f64 %30 %27))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %25 (/.f64 %18 %30)))))
(approx %17 (*.f64 %30 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %18 x)) #s(literal 2 binary64)) x)))))
(approx y y)
(approx %17 (*.f64 %18 (+.f64 #s(literal 1 binary64) (/.f64 %13 %18))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
0
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
0.0ms
y
-inf
rewrite82.0ms (9.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01033
01333
14333
211333
331133
4122333
0408933
0430233
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 42
Calls
Call 1
Inputs
%4 = (approx x #s(literal 0 binary64))
%7 = (approx (- x -2) #s(literal 2 binary64))
%8 = (*.f64 %7 %4)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
%4
%7
%8
(fma.f64 y y %8)
Outputs
%5 = (approx x #s(literal 0 binary64))
%11 = (neg.f64 %5)
%15 = (approx (- x -2) #s(literal 2 binary64))
%20 = (neg.f64 %15)
%24 = (*.f64 %15 %5)
%30 = (*.f64 %20 %5)
%32 = (fma.f64 y y %24)
%39 = (fabs.f64 y)
%40 = (sqrt.f64 %39)
%41 = (*.f64 %40 %39)
%44 = (*.f64 y y)
%46 = (neg.f64 %39)
%50 = (neg.f64 y)
x
#s(literal 2 binary64)
y
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %11)
(*.f64 #s(literal 1 binary64) %15)
(pow.f64 %15 #s(literal 1 binary64))
%15
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -1 binary64)))
(neg.f64 %20)
(*.f64 %11 %20)
(*.f64 %20 %11)
(*.f64 #s(literal 1 binary64) %24)
%24
(*.f64 %5 %15)
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %30)
(*.f64 #s(literal 1 binary64) %32)
(pow.f64 %32 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %32 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %32))
(fma.f64 %41 %40 %24)
(fma.f64 %40 %41 %24)
(fma.f64 %11 %20 %44)
(fma.f64 %46 %46 %24)
(fma.f64 %20 %11 %44)
(fma.f64 %39 %39 %24)
(fma.f64 %50 %50 %24)
(fma.f64 #s(literal 1 binary64) %44 %24)
(fma.f64 #s(literal 1 binary64) %24 %44)
(fma.f64 %15 %5 %44)
(fma.f64 %5 %15 %44)
%32
(-.f64 %44 %30)
(-.f64 %24 (*.f64 %50 y))
(+.f64 %44 %24)
(+.f64 %24 %44)
reconstruct4.0ms (0.5%)
Counts
57 → 22
Compiler
Compiled 57 to 83 computations (-45.6% saved)
eval1.0ms (0.2%)
Compiler
Compiled 15 to 50 computations (-233.3% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New15015
Fresh000
Picked011
Done022
Total15318
Accuracy
100.0%
Counts
18 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
✓51.8%
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) (approx x #s(literal 0 binary64))))
✓67.9%
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) x))
Compiler
Compiled 3 to 12 computations (-300.0% saved)
regimes13.0ms (1.4%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0%
0.0b0%
Counts
1 → 1
3 → 1
Calls
Call 1
Inputs
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) x))
Outputs
(fma.f64 y y (*.f64 (approx (- x -2) #s(literal 2 binary64)) x))
Call 2
Inputs
%5 = (approx (- x -2) #s(literal 2 binary64))
(fma.f64 y y (*.f64 %5 x))
(fma.f64 y y (*.f64 %5 (approx x #s(literal 0 binary64))))
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
Outputs
(fma.f64 y y (*.f64 (-.f64 x #s(literal -2 binary64)) x))
Calls
5 calls:
4.0ms
x
3.0ms
y
3.0ms
(+.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 x x))
2.0ms
(+.f64 (+.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 x x)) (*.f64 y y))
2.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
67.9%1
y
67.9%1
x
67.9%1
(+.f64 (+.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 x x)) (*.f64 y y))
67.9%1
(+.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 x x))
67.9%1
(*.f64 y y)
Compiler
Compiled 9 to 25 computations (-177.8% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations20.0ms (2.3%)
Stop Event
1×done
Compiler
Compiled 2 to 9 computations (-350.0% saved)
preprocess10.0ms (1.1%)
Compiler
Compiled 7 to 39 computations (-457.1% saved)
end0.0ms (0.0%)
gc170ms (18.9%)
Allocations
AllocatedPercentPhase
757.0 MiB40.7%sample
635.8 MiB34.2%rewrite
187.1 MiB10.1%reconstruct
104.6 MiB5.6%preprocess
87.3 MiB4.7%series
29.0 MiB1.6%derivations
23.9 MiB1.3%regimes
21.8 MiB1.2%eval
13.1 MiB0.7%prune
0.4 MiB0.0%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
1 860.0 MiB100.0%total
Profiling
Loading profile data...