Numeric.LinearAlgebra.Util:formatSparse from hmatrix-0.16.1.5

Time bar (total: 1.3s)

analyze10.0ms (0.8%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 10 to 7 computations (30% saved)

sample757.0ms (59.2%)

Results
624.0ms7248×body256valid
118.0ms1008×body256infinite
Bogosity

preprocess103.0ms (8.1%)

Algorithm
1×egg-herbie
Rules
65×fma-def
24×times-frac
20×*-commutative
18×associate-/r*
17×cancel-sign-sub-inv
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
022113
139105
281105
3173105
4254105
5316105
6360105
7366105
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x (neg.f64 y))) (fabs.f64 (neg.f64 y)))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 x))
Outputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x (neg.f64 y))) (fabs.f64 (neg.f64 y)))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 x))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 x))
Compiler

Compiled 30 to 13 computations (56.7% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
▶100.0%
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize37.0ms (2.9%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
100.0%
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
✓100.0%
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Compiler

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.3%)

Counts
1 → 8
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@-inf
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
1.0ms
x
@-inf
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
1.0ms
y
@inf
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
0.0ms
x
@0
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
0.0ms
x
@inf
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

rewrite91.0ms (7.1%)

Algorithm
3×rewrite-once
1×batch-egg-rewrite
Rules
576×frac-2neg
399×div-sub
298×cancel-sign-sub-inv
233×flip-+
216×frac-sub
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0917
13917
225317
3238017
Stop Event
1×node limit
Counts
1 → 43
Calls
Call 1
Inputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Outputs
(+.f64 0 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(+.f64 (/.f64 0 (fabs.f64 y)) (fabs.f64 (+.f64 (/.f64 x y) -1)))
(-.f64 0 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(-.f64 0 (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(-.f64 (/.f64 0 (fabs.f64 y)) (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(-.f64 (/.f64 (/.f64 0 (fabs.f64 y)) 1) (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(*.f64 (fabs.f64 (-.f64 x y)) (/.f64 1 (fabs.f64 y)))
(*.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 (/.f64 1 y)))
(*.f64 (fabs.f64 (+.f64 (/.f64 x y) -1)) 1)
(*.f64 (neg.f64 (fabs.f64 (-.f64 x y))) (/.f64 -1 (fabs.f64 y)))
(*.f64 1 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(*.f64 (/.f64 1 (fabs.f64 y)) (fabs.f64 (-.f64 x y)))
(*.f64 -1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(*.f64 (/.f64 -1 (fabs.f64 y)) (neg.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2) (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2))
(*.f64 (*.f64 1 (neg.f64 (fabs.f64 (-.f64 x y)))) (/.f64 -1 (fabs.f64 y)))
(pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1)
(neg.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(neg.f64 (*.f64 1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y))))))
(fabs.f64 (+.f64 (/.f64 x y) -1))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (*.f64 (-.f64 (-.f64 x y) 0) (/.f64 1 y)))
(fabs.f64 (/.f64 (-.f64 x y) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 y x) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) y))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (neg.f64 y)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (-.f64 y 0)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (/.f64 y (-.f64 x y)))) -1))
Calls

3 calls:

1.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
0.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
0.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

simplify75.0ms (5.9%)

Algorithm
1×egg-herbie
Rules
613×unswap-sqr
482×associate-/r/
409×associate-/l/
391×distribute-lft-neg-out
315×associate-*r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0110907
1238907
2573907
32807907
Stop Event
1×node limit
Counts
51 → 44
Calls
Call 1
Inputs
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(+.f64 0 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(+.f64 (/.f64 0 (fabs.f64 y)) (fabs.f64 (+.f64 (/.f64 x y) -1)))
(-.f64 0 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(-.f64 0 (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(-.f64 (/.f64 0 (fabs.f64 y)) (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(-.f64 (/.f64 (/.f64 0 (fabs.f64 y)) 1) (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(*.f64 (fabs.f64 (-.f64 x y)) (/.f64 1 (fabs.f64 y)))
(*.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 (/.f64 1 y)))
(*.f64 (fabs.f64 (+.f64 (/.f64 x y) -1)) 1)
(*.f64 (neg.f64 (fabs.f64 (-.f64 x y))) (/.f64 -1 (fabs.f64 y)))
(*.f64 1 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(*.f64 (/.f64 1 (fabs.f64 y)) (fabs.f64 (-.f64 x y)))
(*.f64 -1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(*.f64 (/.f64 -1 (fabs.f64 y)) (neg.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2) (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2))
(*.f64 (*.f64 1 (neg.f64 (fabs.f64 (-.f64 x y)))) (/.f64 -1 (fabs.f64 y)))
(pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1)
(neg.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(neg.f64 (*.f64 1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y))))))
(fabs.f64 (+.f64 (/.f64 x y) -1))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (*.f64 (-.f64 (-.f64 x y) 0) (/.f64 1 y)))
(fabs.f64 (/.f64 (-.f64 x y) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 y x) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) y))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (neg.f64 y)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (-.f64 y 0)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (/.f64 y (-.f64 x y)))) -1))
(exp.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(log.f64 (exp.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(*.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(log1p.f64 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(expm1.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(*.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(cbrt.f64 (*.f64 (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (/.f32 (fabs.f32 (-.f32 (binary64->binary32 x) (binary64->binary32 y))) (fabs.f32 (binary64->binary32 y))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (/.f32 (fabs.f32 (-.f32 (binary64->binary32 x) (binary64->binary32 y))) (fabs.f32 (binary64->binary32 y))))
Outputs
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (+.f64 x (*.f64 -1 y))) (fabs.f64 y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(+.f64 0 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(+.f64 (/.f64 0 (fabs.f64 y)) (fabs.f64 (+.f64 (/.f64 x y) -1)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(-.f64 0 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(-.f64 0 (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(-.f64 (/.f64 0 (fabs.f64 y)) (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(-.f64 (/.f64 (/.f64 0 (fabs.f64 y)) 1) (/.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))) 1))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (fabs.f64 (-.f64 x y)) (/.f64 1 (fabs.f64 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 (/.f64 1 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (fabs.f64 (+.f64 (/.f64 x y) -1)) 1)
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (neg.f64 (fabs.f64 (-.f64 x y))) (/.f64 -1 (fabs.f64 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 1 (fabs.f64 (+.f64 (/.f64 x y) -1)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (/.f64 1 (fabs.f64 y)) (fabs.f64 (-.f64 x y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 -1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (/.f64 -1 (fabs.f64 y)) (neg.f64 (fabs.f64 (-.f64 x y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2) (pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1/2))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (*.f64 1 (neg.f64 (fabs.f64 (-.f64 x y)))) (/.f64 -1 (fabs.f64 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(pow.f64 (fabs.f64 (/.f64 y (-.f64 x y))) -1)
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(neg.f64 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y)))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(neg.f64 (*.f64 1 (/.f64 -1 (fabs.f64 (/.f64 y (-.f64 x y))))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (+.f64 (/.f64 x y) -1))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (*.f64 (-.f64 (-.f64 x y) 0) (/.f64 1 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 x y) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 y x) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (neg.f64 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (/.f64 (-.f64 (-.f64 x y) 0) (-.f64 y 0)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (/.f64 y (-.f64 x y)))) -1))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(exp.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(log.f64 (exp.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(log1p.f64 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(expm1.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(*.f64 (*.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(cbrt.f64 (*.f64 (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 1 (/.f64 x y)))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (/.f64 (-.f64 x y) y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (-.f64 1 (/.f64 x y)))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (/.f64 (-.f64 x y) y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (-.f64 1 (/.f64 x y)))))
(binary32->binary64 (/.f32 (fabs.f32 (-.f32 (binary64->binary32 x) (binary64->binary32 y))) (fabs.f32 (binary64->binary32 y))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (/.f64 (-.f64 x y) y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (-.f64 1 (/.f64 x y)))))
(binary32->binary64 (binary64->binary32 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (/.f64 (-.f64 x y) y))))
(binary32->binary64 (binary64->binary32 (fabs.f64 (-.f64 1 (/.f64 x y)))))
(binary32->binary64 (/.f32 (fabs.f32 (-.f32 (binary64->binary32 x) (binary64->binary32 y))) (fabs.f32 (binary64->binary32 y))))

eval9.0ms (0.7%)

Compiler

Compiled 460 to 184 computations (60% saved)

prune6.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New43144
Fresh000
Picked101
Done000
Total44145
Accuracy
100.0%
Counts
45 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fabs.f64 (-.f64 1 (/.f64 x y)))
▶100.0%
(fabs.f64 (-.f64 1 (/.f64 x y)))
Compiler

Compiled 16 to 12 computations (25% saved)

localize32.0ms (2.5%)

Compiler

Compiled 20 to 10 computations (50% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fabs.f64 (-.f64 1 (/.f64 x y)))
Compiler

Compiled 23 to 16 computations (30.4% saved)

regimes8.0ms (0.7%)

Accuracy

Total -0.0b remaining (-∞%)

Threshold costs -0b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
(fabs.f64 (-.f64 1 (/.f64 x y)))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Outputs
(fabs.f64 (-.f64 1 (/.f64 x y)))
Calls

3 calls:

3.0ms
x
3.0ms
y
2.0ms
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify9.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
6×sub-neg
5×+-commutative
5×*-commutative
3×distribute-lft-neg-out
3×*-lft-identity
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0917
11817
22617
33317
44017
55217
65617
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(fabs.f64 (-.f64 1 (/.f64 x y)))
Outputs
(fabs.f64 (-.f64 1 (/.f64 x y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(fabs.f64 (+.f64 (/.f64 x y) -1))
Compiler

Compiled 8 to 6 computations (25% saved)

soundness116.0ms (9.1%)

Rules
613×unswap-sqr
482×associate-/r/
409×associate-/l/
391×distribute-lft-neg-out
315×associate-*r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0110907
1238907
2573907
32807907
Stop Event
1×node limit
Compiler

Compiled 56 to 30 computations (46.4% saved)

end0.0ms (0%)

preprocess19.0ms (1.5%)

Compiler

Compiled 34 to 24 computations (29.4% saved)

Profiling

Loading profile data...