Data.Random.Distribution.Normal:normalTail from random-fu-0.2.6.2

Time bar (total: 813.0ms)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample602.0ms (74.1%)

Memory
2.4MiB live, 1 074.0MiB allocated; 303ms collecting garbage
Samples
411.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 177.0ms
ival-mult!: 115.0ms (65% of total)
ival-add!: 61.0ms (34.5% of total)
adjust: 1.0ms (0.6% of total)
Bogosity

preprocess57.0ms (7%)

Memory
-9.2MiB live, 35.3MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01744
16143
219742
334342
464642
5252142
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (+.f64 (*.f64 x x) y) y)
Symmetry

(abs x)

Compiler

Compiled 14 to 10 computations (28.6% saved)

series7.0ms (0.9%)

Memory
12.2MiB live, 12.2MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042153
Stop Event
1×iter-limit
Counts
5 → 12
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (*.f64 x x) y)
(*.f64 x x)
x
y
Outputs
#s(approx (+ (+ (* x x) y) y) (*.f64 #s(literal 2 binary64) y))
#s(approx (+ (+ (* x x) y) y) (fma.f64 #s(literal 2 binary64) y (pow.f64 x #s(literal 2 binary64))))
#s(approx (+ (* x x) y) y)
#s(approx (+ (* x x) y) (+.f64 y (pow.f64 x #s(literal 2 binary64))))
#s(approx (* x x) (pow.f64 x #s(literal 2 binary64)))
#s(approx x x)
#s(approx (+ (+ (* x x) y) y) (*.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 y (pow.f64 x #s(literal 2 binary64)))))))
#s(approx (+ (* x x) y) (*.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 y (pow.f64 x #s(literal 2 binary64))))))
#s(approx (+ (+ (* x x) y) y) (*.f64 y (+.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y))))
#s(approx (+ (* x x) y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y))))
#s(approx (+ (+ (* x x) y) y) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y)) #s(literal 2 binary64)))))
#s(approx (+ (* x x) y) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y)) #s(literal 1 binary64)))))
Calls

6 calls:

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

rewrite61.0ms (7.5%)

Memory
4.7MiB live, 57.8MiB allocated; 32ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0517
0817
15117
057815
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 132
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (*.f64 x x) y)
(*.f64 x x)
x
y
Outputs
(*.f64 (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64))) (*.f64 x x))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x y) y)) y)
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 y y) (*.f64 x x))) (*.f64 x x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 y) (fma.f64 x x y))) (fma.f64 x x y))
(*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (fma.f64 x x y))
(*.f64 (*.f64 (+.f64 (fma.f64 x x y) y) (-.f64 (fma.f64 x x y) y)) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 x x y) y)))
(*.f64 (fma.f64 (*.f64 y y) y (pow.f64 (fma.f64 x x y) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y))))))
(*.f64 (fma.f64 x x y) (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)))
(/.f64 (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y))) (-.f64 (*.f64 x x) y))
(/.f64 (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y))) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x)))))
(/.f64 (fma.f64 y (-.f64 (*.f64 x x) y) (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y))) (-.f64 (*.f64 x x) y))
(/.f64 (fma.f64 y (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x)))) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y))) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x)))))
(/.f64 (-.f64 (*.f64 y y) (*.f64 (fma.f64 x x y) (fma.f64 x x y))) (-.f64 y (fma.f64 x x y)))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 (+.f64 y y) (+.f64 y y))) (-.f64 (*.f64 x x) (+.f64 y y)))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (pow.f64 (+.f64 y y) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 x x) x) x (-.f64 (*.f64 (+.f64 y y) (+.f64 y y)) (*.f64 (*.f64 x x) (+.f64 y y)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 x x y) #s(literal 3 binary64)) (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (fma.f64 y y (*.f64 (fma.f64 x x y) (neg.f64 y)))))
(/.f64 (neg.f64 (*.f64 (+.f64 (fma.f64 x x y) y) (-.f64 (fma.f64 x x y) y))) (neg.f64 (-.f64 (fma.f64 x x y) y)))
(/.f64 (neg.f64 (fma.f64 (*.f64 y y) y (pow.f64 (fma.f64 x x y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 x x y) y) (*.f64 (+.f64 (fma.f64 x x y) y) (-.f64 (fma.f64 x x y) y))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y)))) (fma.f64 (*.f64 y y) y (pow.f64 (fma.f64 x x y) #s(literal 3 binary64)))))
(/.f64 (*.f64 (+.f64 (fma.f64 x x y) y) (-.f64 (fma.f64 x x y) y)) (-.f64 (fma.f64 x x y) y))
(/.f64 (fma.f64 (*.f64 y y) y (pow.f64 (fma.f64 x x y) #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 (fma.f64 x x y) (fma.f64 x x y)) (*.f64 (fma.f64 x x y) y))))
(/.f64 (fma.f64 (*.f64 y y) y (pow.f64 (fma.f64 x x y) #s(literal 3 binary64))) (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y)))))
(neg.f64 (-.f64 (neg.f64 y) (fma.f64 x x y)))
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (fabs.f64 x)) (fabs.f64 x) (neg.f64 (neg.f64 y)))
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (fabs.f64 x)) (fabs.f64 x) y)
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (neg.f64 x)) (neg.f64 x) (neg.f64 (neg.f64 y)))
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (neg.f64 x)) (neg.f64 x) y)
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) x) x (neg.f64 (neg.f64 y)))
(fma.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) x) x y)
(fma.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x x) y)) y (neg.f64 (neg.f64 y)))
(fma.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x x) y)) y y)
(fma.f64 (+.f64 #s(literal 1 binary64) (/.f64 y y)) y (*.f64 x x))
(fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 y) (*.f64 x x))) (*.f64 x x) (neg.f64 (neg.f64 y)))
(fma.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 y) (*.f64 x x))) (*.f64 x x) y)
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (+.f64 y y))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (+.f64 y y))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (+.f64 y y))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (+.f64 y y))
(fma.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (*.f64 x x) (neg.f64 (neg.f64 y)))
(fma.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (*.f64 x x) y)
(fma.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) y (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 x x)))
(fma.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 x x) (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) y))
(fma.f64 (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x x) y)) (neg.f64 (neg.f64 y)))
(fma.f64 (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x x) y)) y)
(fma.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))) (neg.f64 (neg.f64 y)))
(fma.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))) y)
(fma.f64 (fabs.f64 x) (fabs.f64 x) (+.f64 y y))
(fma.f64 (neg.f64 x) (neg.f64 x) (+.f64 y y))
(fma.f64 #s(literal 2 binary64) y (*.f64 x x))
(fma.f64 y (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 (*.f64 x x) (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))))
(fma.f64 (*.f64 x x) (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (neg.f64 (neg.f64 y)))
(fma.f64 (*.f64 x x) (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) y)
(fma.f64 (*.f64 x x) (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 y (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))))
(fma.f64 x x (+.f64 y y))
(-.f64 (/.f64 (*.f64 (fma.f64 x x y) (fma.f64 x x y)) (-.f64 (fma.f64 x x y) y)) (/.f64 (*.f64 y y) (-.f64 (fma.f64 x x y) y)))
(-.f64 (fma.f64 x x y) (neg.f64 y))
(-.f64 y (*.f64 (neg.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64))) (*.f64 x x)))
(-.f64 y (neg.f64 (fma.f64 x x y)))
(-.f64 (*.f64 x x) (-.f64 (neg.f64 y) y))
(-.f64 (*.f64 x x) (+.f64 (neg.f64 y) (neg.f64 y)))
(-.f64 (*.f64 x x) (neg.f64 (+.f64 y y)))
(+.f64 (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) y) (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 x x)))
(+.f64 (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) (*.f64 x x)) (*.f64 (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64)) y))
(+.f64 (*.f64 y (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))) (*.f64 (*.f64 x x) (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))))
(+.f64 (*.f64 (*.f64 x x) (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))) (*.f64 y (+.f64 (/.f64 y (fma.f64 x x y)) #s(literal 1 binary64))))
(+.f64 (/.f64 (pow.f64 (fma.f64 x x y) #s(literal 3 binary64)) (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y))))) (/.f64 (*.f64 (*.f64 y y) y) (fma.f64 (fma.f64 x x y) (fma.f64 x x y) (*.f64 y (-.f64 y (fma.f64 x x y))))))
(+.f64 (+.f64 y y) (*.f64 x x))
(+.f64 (fma.f64 x x y) (neg.f64 (neg.f64 y)))
(+.f64 (fma.f64 x x y) y)
(+.f64 y (fma.f64 x x y))
(+.f64 (*.f64 x x) (+.f64 y y))
(*.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (fabs.f64 x)) (fabs.f64 x))
(*.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (neg.f64 x)) (neg.f64 x))
(*.f64 (*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) x) x)
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x x) y)) y)
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 y) (*.f64 x x))) (*.f64 x x))
(*.f64 (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)) (*.f64 x x))
(*.f64 (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x x) y)))
(*.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))))
(*.f64 (*.f64 x x) (+.f64 (/.f64 y (*.f64 x x)) #s(literal 1 binary64)))
(/.f64 (-.f64 (*.f64 y y) (*.f64 (*.f64 (*.f64 x x) x) x)) (-.f64 y (*.f64 x x)))
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 x x) x) x (fma.f64 y y (*.f64 (*.f64 x x) (neg.f64 y)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y))) (neg.f64 (-.f64 (*.f64 x x) y)))
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y))) (neg.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (*.f64 x x) y) (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x)))) (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y))))
(/.f64 (*.f64 (fma.f64 x x y) (-.f64 (*.f64 x x) y)) (-.f64 (*.f64 x x) y))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y)) (fma.f64 y y (-.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 y (*.f64 x x)))))
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x) (*.f64 (*.f64 y y) y)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x)))))
(neg.f64 (-.f64 (neg.f64 y) (*.f64 x x)))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (neg.f64 (neg.f64 y)))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) y)
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (neg.f64 (neg.f64 y)))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) y)
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (neg.f64 (neg.f64 y)))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) y)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 y)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) y)
(fma.f64 (fabs.f64 x) (fabs.f64 x) (neg.f64 (neg.f64 y)))
(fma.f64 (fabs.f64 x) (fabs.f64 x) y)
(fma.f64 (neg.f64 x) (neg.f64 x) (neg.f64 (neg.f64 y)))
(fma.f64 (neg.f64 x) (neg.f64 x) y)
(fma.f64 x x (neg.f64 (neg.f64 y)))
(fma.f64 x x y)
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (-.f64 (*.f64 x x) y)) (/.f64 (*.f64 y y) (-.f64 (*.f64 x x) y)))
(-.f64 y (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 y (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 y (*.f64 (neg.f64 x) x))
(-.f64 y (*.f64 x (neg.f64 x)))
(-.f64 y (neg.f64 (*.f64 x x)))
(-.f64 (*.f64 x x) (neg.f64 y))
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) x) (*.f64 x x)) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))) (/.f64 (*.f64 (*.f64 y y) y) (fma.f64 (*.f64 (*.f64 x x) x) x (*.f64 y (-.f64 y (*.f64 x x))))))
(+.f64 y (*.f64 x x))
(+.f64 (*.f64 x x) (neg.f64 (neg.f64 y)))
(+.f64 (*.f64 x x) y)
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(neg.f64 (*.f64 x (neg.f64 x)))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
x
y

eval12.0ms (1.5%)

Memory
18.0MiB live, 18.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 2 289 to 369 computations (83.9% saved)

prune4.0ms (0.5%)

Memory
5.7MiB live, 5.6MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1382140
Fresh000
Picked101
Done000
Total1392141
Accuracy
100.0%
Counts
141 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 x x (+.f64 y y))
▶47.4%
(+.f64 #s(approx (+ (* x x) y) y) y)
Compiler

Compiled 15 to 10 computations (33.3% saved)

series12.0ms (1.5%)

Memory
-40.7MiB live, 7.5MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042156
Stop Event
1×iter-limit
Counts
6 → 12
Calls
Call 1
Inputs
(+.f64 #s(approx (+ (* x x) y) y) y)
#s(approx (+ (* x x) y) y)
y
(fma.f64 x x (+.f64 y y))
x
(+.f64 y y)
Outputs
#s(approx (+ (+ (* x x) y) y) (*.f64 #s(literal 2 binary64) y))
#s(approx (+ (+ (* x x) y) y) (fma.f64 #s(literal 2 binary64) y (pow.f64 x #s(literal 2 binary64))))
#s(approx (+ (* x x) y) y)
#s(approx (+ (* x x) y) (+.f64 y (pow.f64 x #s(literal 2 binary64))))
#s(approx x x)
#s(approx (+ (+ (* x x) y) y) (pow.f64 x #s(literal 2 binary64)))
#s(approx (+ (+ (* x x) y) y) (*.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 y (pow.f64 x #s(literal 2 binary64)))))))
#s(approx (+ (* x x) y) (*.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 y (pow.f64 x #s(literal 2 binary64))))))
#s(approx (+ (+ (* x x) y) y) (*.f64 y (+.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y))))
#s(approx (+ (* x x) y) (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y))))
#s(approx (+ (+ (* x x) y) y) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y)) #s(literal 2 binary64)))))
#s(approx (+ (* x x) y) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) y)) #s(literal 1 binary64)))))
Calls

6 calls:

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

rewrite20.0ms (2.4%)

Memory
21.9MiB live, 21.9MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0827
01127
08025
Stop Event
1×iter-limit
1×iter-limit
1×iter-limit
1×unsound
1×iter-limit
Counts
6 → 28
Calls
Call 1
Inputs
(+.f64 #s(approx (+ (* x x) y) y) y)
#s(approx (+ (* x x) y) y)
y
(fma.f64 x x (+.f64 y y))
x
(+.f64 y y)
Outputs
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 y #s(approx (+ (* x x) y) y))) #s(approx (+ (* x x) y) y))
(/.f64 (-.f64 (*.f64 #s(approx (+ (* x x) y) y) #s(approx (+ (* x x) y) y)) (*.f64 y y)) (-.f64 #s(approx (+ (* x x) y) y) y))
(/.f64 (+.f64 (pow.f64 #s(approx (+ (* x x) y) y) #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 #s(approx (+ (* x x) y) y) #s(approx (+ (* x x) y) y) (-.f64 (*.f64 y y) (*.f64 #s(approx (+ (* x x) y) y) y))))
(-.f64 #s(approx (+ (* x x) y) y) (neg.f64 y))
(+.f64 #s(approx (+ (* x x) y) y) y)
(+.f64 y #s(approx (+ (* x x) y) y))
#s(approx (+ (* x x) y) y)
y
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 y y) (*.f64 x x))) (*.f64 x x))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (+.f64 y y) (+.f64 y y))) (-.f64 (*.f64 x x) (+.f64 y y)))
(/.f64 (+.f64 (pow.f64 (*.f64 x x) #s(literal 3 binary64)) (pow.f64 (+.f64 y y) #s(literal 3 binary64))) (fma.f64 (*.f64 x x) (*.f64 x x) (-.f64 (*.f64 (+.f64 y y) (+.f64 y y)) (*.f64 (*.f64 x x) (+.f64 y y)))))
(fma.f64 (+.f64 #s(literal 1 binary64) (/.f64 y (*.f64 x x))) (*.f64 x x) y)
(fma.f64 (+.f64 #s(literal 1 binary64) (/.f64 y y)) y (*.f64 x x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (+.f64 y y))
(fma.f64 (neg.f64 x) (neg.f64 x) (+.f64 y y))
(fma.f64 #s(literal 2 binary64) y (*.f64 x x))
(fma.f64 x x (+.f64 y y))
(-.f64 (*.f64 x x) (neg.f64 (+.f64 y y)))
(+.f64 (+.f64 y y) (*.f64 x x))
(+.f64 (fma.f64 x x y) y)
(+.f64 (*.f64 x x) (+.f64 y y))
x
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 y y)) y)
(*.f64 #s(literal 2 binary64) y)
(/.f64 (-.f64 (*.f64 y y) (*.f64 y y)) (-.f64 y y))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 y #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 y y) (*.f64 y y))))
(-.f64 y (neg.f64 y))
(+.f64 y y)

eval3.0ms (0.4%)

Memory
5.8MiB live, 5.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 484 to 113 computations (76.7% saved)

prune1.0ms (0.2%)

Memory
2.4MiB live, 2.4MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New33033
Fresh000
Picked022
Done000
Total33235
Accuracy
100.0%
Counts
35 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x x (+.f64 y y))
✓47.4%
(+.f64 #s(approx (+ (* x x) y) y) y)
Compiler

Compiled 15 to 10 computations (33.3% saved)

regimes15.0ms (1.8%)

Memory
-18.8MiB live, 26.5MiB allocated; 4ms collecting garbage
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
3 → 1
Calls
Call 1
Inputs
(+.f64 #s(approx (+ (* x x) y) y) y)
Outputs
(+.f64 #s(approx (+ (* x x) y) y) y)
Call 2
Inputs
(+.f64 #s(approx (+ (* x x) y) y) y)
(fma.f64 x x (+.f64 y y))
(+.f64 (+.f64 (*.f64 x x) y) y)
Outputs
(fma.f64 x x (+.f64 y y))
Calls

8 calls:

6.0ms
(*.f64 x x)
2.0ms
(+.f64 (+.f64 (*.f64 x x) y) y)
1.0ms
y
1.0ms
x
1.0ms
y
Results
AccuracySegmentsBranch
47.4%1(*.f64 x x)
47.4%1(+.f64 (+.f64 (*.f64 x x) y) y)
47.4%1x
47.4%1y
100.0%1(*.f64 x x)
100.0%1(+.f64 (+.f64 (*.f64 x x) y) y)
100.0%1x
100.0%1y
Compiler

Compiled 46 to 35 computations (23.9% saved)

derivations3.0ms (0.4%)

Memory
2.7MiB live, 2.7MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 15 to 8 computations (46.7% saved)

preprocess15.0ms (1.9%)

Memory
-15.0MiB live, 30.8MiB allocated; 3ms collecting garbage
Remove

(abs x)

Compiler

Compiled 52 to 33 computations (36.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...