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

Time bar (total: 1.2s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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)

sample849.0ms (70.2%)

Memory
59.5MiB live, 879.0MiB allocated; 312ms collecting garbage
Samples
522.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 150.0ms
ival-mult!: 76.0ms (50.8% of total)
ival-add!: 72.0ms (48.1% of total)
adjust: 2.0ms (1.3% of total)
Bogosity

preprocess73.0ms (6%)

Memory
-24.3MiB live, 20.7MiB allocated; 11ms 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 10 to 10 computations (0% saved)

series13.0ms (1.1%)

Memory
15.2MiB live, 15.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:

TimeVariablePointExpression
2.0ms
x
@inf
((+ (+ (* x x) y) y) (+ (* x x) y) (* x x) x y)
1.0ms
x
@-inf
((+ (+ (* x x) y) y) (+ (* x x) y) (* x x) x y)
1.0ms
x
@0
((+ (+ (* x x) y) y) (+ (* x x) y) (* x x) x y)
1.0ms
y
@0
((+ (+ (* x x) y) y) (+ (* x x) y) (* x x) x y)
1.0ms
y
@-inf
((+ (+ (* x x) y) y) (+ (* x x) y) (* x x) x y)

rewrite65.0ms (5.4%)

Memory
21.5MiB live, 66.0MiB allocated; 10ms 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

eval60.0ms (5%)

Memory
-18.7MiB live, 36.5MiB allocated; 18ms collecting garbage
Compiler

Compiled 1 071 to 369 computations (65.5% saved)

prune5.0ms (0.4%)

Memory
7.0MiB live, 7.0MiB 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))
▶54.4%
(+.f64 #s(approx (+ (* x x) y) y) y)
Compiler

Compiled 10 to 10 computations (0% saved)

series9.0ms (0.8%)

Memory
12.5MiB live, 12.5MiB allocated; 0ms 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:

TimeVariablePointExpression
1.0ms
y
@-inf
((+ (+ (* x x) y) y) (+ (* x x) y) y (+ (* x x) (+ y y)) x (+ y y))
1.0ms
x
@inf
((+ (+ (* x x) y) y) (+ (* x x) y) y (+ (* x x) (+ y y)) x (+ y y))
1.0ms
x
@-inf
((+ (+ (* x x) y) y) (+ (* x x) y) y (+ (* x x) (+ y y)) x (+ y y))
1.0ms
y
@inf
((+ (+ (* x x) y) y) (+ (* x x) y) y (+ (* x x) (+ y y)) x (+ y y))
1.0ms
y
@0
((+ (+ (* x x) y) y) (+ (* x x) y) y (+ (* x x) (+ y y)) x (+ y y))

rewrite61.0ms (5%)

Memory
-14.0MiB live, 32.5MiB allocated; 4ms 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.3%)

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

Compiled 227 to 113 computations (50.2% saved)

prune2.0ms (0.2%)

Memory
4.6MiB live, 4.6MiB 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))
✓54.4%
(+.f64 #s(approx (+ (* x x) y) y) y)
Compiler

Compiled 21 to 21 computations (0% saved)

regimes27.0ms (2.2%)

Memory
-31.2MiB live, 15.4MiB allocated; 4ms collecting garbage
Counts
3 → 1
Calls
Call 1
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

4 calls:

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

Compiled 9 to 12 computations (-33.3% saved)

regimes5.0ms (0.5%)

Memory
10.8MiB live, 10.8MiB allocated; 0ms collecting garbage
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

4 calls:

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

Compiled 9 to 12 computations (-33.3% saved)

derivations7.0ms (0.5%)

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

Compiled 8 to 8 computations (0% saved)

preprocess30.0ms (2.4%)

Memory
-1.7MiB live, 44.7MiB allocated; 4ms collecting garbage
Remove

(abs x)

Compiler

Compiled 33 to 33 computations (0% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...