sqrt sqr

Time bar (total: 2.4s)

analyze2.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.6s (67.1%)

Memory
14.1MiB live, 2 020.9MiB allocated
Samples
1.0s4 116×2valid
293.0ms4 140×0valid
Precisions
Click to see histograms. Total time spent on operations: 991.0ms
ival-div: 389.0ms (39.3% of total)
ival-mult: 254.0ms (25.6% of total)
ival-sqrt: 146.0ms (14.7% of total)
ival-sub: 119.0ms (12% of total)
adjust: 68.0ms (6.9% of total)
exact: 8.0ms (0.8% of total)
ival-true: 5.0ms (0.5% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

preprocess36.0ms (1.5%)

Memory
7.3MiB live, 83.5MiB allocated
Algorithm
2×egg-herbie
Rules
152×accelerator-lowering-fma.f32
152×accelerator-lowering-fma.f64
120×*-lowering-*.f32
120×*-lowering-*.f64
56×+-lowering-+.f64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01627
16118
213318
323718
433718
540318
642218
742318
088
1216
2446
3726
4956
51276
61506
71766
81956
92026
102096
112246
123026
133226
143296
03296
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
(- (/ x x) (* (/ 1 x) (sqrt (* x x))))
Outputs
(- (/ x x) (* (/ 1 x) (sqrt (* x x))))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
Call 2
Inputs
(- (/ x x) (* (/ 1 x) (sqrt (* x x))))
(- (/ (neg x) (neg x)) (* (/ 1 (neg x)) (sqrt (* (neg x) (neg x)))))
(neg (- (/ (neg x) (neg x)) (* (/ 1 (neg x)) (sqrt (* (neg x) (neg x))))))
Outputs
(- (/ x x) (* (/ 1 x) (sqrt (* x x))))
(- 1 (/ (fabs x) x))
(- (/ (neg x) (neg x)) (* (/ 1 (neg x)) (sqrt (* (neg x) (neg x)))))
(+ 1 (/ (fabs x) x))
(neg (- (/ (neg x) (neg x)) (* (/ 1 (neg x)) (sqrt (* (neg x) (neg x))))))
(- -1 (/ (fabs x) x))

explain241.0ms (10%)

Memory
-0.1MiB live, 314.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1450-1(1.6528478728694267e-162)(sqrt.f64 (*.f64 x x))
00-0-(/.f64 #s(literal 1 binary64) x)
00-0-#s(literal 1 binary64)
00-0-(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))
00-0-(/.f64 x x)
00-0-(*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x)))
00-0-(*.f64 x x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 x x))uflow-rescue730
↳(*.f64 x x)underflow73
sqrt.f64(sqrt.f64 (*.f64 x x))oflow-rescue710
↳(*.f64 x x)overflow71
Confusion
Predicted +Predicted -
+14413
-099
Precision
1.0
Recall
0.9171974522292994
Confusion?
Predicted +Predicted MaybePredicted -
+144013
-0099
Precision?
1.0
Recall?
0.9171974522292994
Freqs
test
numberfreq
0112
1144
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
86.0ms242×2valid
46.0ms270×0valid
Compiler

Compiled 100 to 36 computations (64% saved)

Precisions
Click to see histograms. Total time spent on operations: 113.0ms
ival-sqrt: 74.0ms (65.7% of total)
ival-div: 16.0ms (14.2% of total)
ival-mult: 13.0ms (11.5% of total)
ival-sub: 5.0ms (4.4% of total)
adjust: 4.0ms (3.5% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify14.0ms (0.6%)

Memory
27.2MiB live, 27.2MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(fabs.f64 x)
✓cost-diff0
(/.f64 (fabs.f64 x) x)
✓cost-diff0
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
Rules
128×accelerator-lowering-fma.f32
128×accelerator-lowering-fma.f64
96×*-lowering-*.f32
96×*-lowering-*.f64
48×+-lowering-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514
1914
21714
32614
44114
55514
67014
79014
810514
911314
1014514
1119214
1225914
1327714
1429614
1530914
030914
Stop Event
1×iter limit
1×saturated
Calls
Call 1
Inputs
(- 1 (/ (fabs x) x))
1
(/ (fabs x) x)
(fabs x)
x
Outputs
(- 1 (/ (fabs x) x))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
1
#s(literal 1 binary64)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(fabs x)
(fabs.f64 x)
x

localize19.0ms (0.8%)

Memory
-14.7MiB live, 28.2MiB allocated
Localize:

Found 3 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(/.f64 (fabs.f64 x) x)
✓accuracy100.0%
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
✓accuracy100.0%
(fabs.f64 x)
Samples
9.0ms256×0valid
Compiler

Compiled 16 to 7 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-div: 2.0ms (44.4% of total)
ival-sub: 1.0ms (22.2% of total)
ival-fabs: 1.0ms (22.2% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Counts
3 → 36
Calls
Call 1
Inputs
#<alt (- 1 (/ (fabs x) x))>
#<alt (/ (fabs x) x)>
#<alt (fabs x)>
Outputs
#<alt (* -1 (/ (fabs x) x))>
#<alt (/ (- x (fabs x)) x)>
#<alt (/ (- x (fabs x)) x)>
#<alt (/ (- x (fabs x)) x)>
#<alt 1>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt 1>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt (+ 1 (* -1 (/ (fabs x) x)))>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (/ (fabs x) x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
#<alt (fabs x)>
Calls

9 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(- 1 (/ (fabs x) x))
0.0ms
x
@0
(- 1 (/ (fabs x) x))
0.0ms
x
@-inf
(/ (fabs x) x)
0.0ms
x
@inf
(- 1 (/ (fabs x) x))
0.0ms
x
@inf
(/ (fabs x) x)

rewrite227.0ms (9.5%)

Memory
-14.5MiB live, 260.0MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
1 794×accelerator-lowering-fma.f32
1 794×accelerator-lowering-fma.f64
1 488×*-lowering-*.f32
1 488×*-lowering-*.f64
1 448×/-lowering-/.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0512
13012
223012
0470412
Stop Event
1×iter limit
1×iter limit
1×node limit
Counts
3 → 97
Calls
Call 1
Inputs
(- 1 (/ (fabs x) x))
(/ (fabs x) x)
(fabs x)
Outputs
(+.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))))
(+.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (neg.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (neg.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(-.f64 #s(literal 0 binary64) (-.f64 (/.f64 (fabs.f64 x) x) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (neg.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (neg.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(fma.f64 (fabs.f64 x) (/.f64 #s(literal -1 binary64) x) #s(literal 1 binary64))
(fma.f64 (/.f64 (fabs.f64 x) x) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 0 binary64) (fabs.f64 x)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (fabs.f64 x) x) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) x) (fabs.f64 x) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 (*.f64 x x) x) (fabs.f64 x)) x)) (neg.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x)))) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)) (neg.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 1 binary64)))) (neg.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))) (neg.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal -1 binary64))))
(neg.f64 (/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(neg.f64 (/.f64 (+.f64 #s(literal -1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(/.f64 (+.f64 #s(literal -1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x)))))))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)) (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x)))))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)))) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))))) #s(literal 1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) #s(literal 1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) #s(literal 1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))))) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))) #s(literal 1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(/.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(/.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (/.f64 x (/.f64 (*.f64 x x) x)))) (neg.f64 (+.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))) (+.f64 (*.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) #s(literal 3 binary64))) (+.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))))
(/.f64 (-.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal 1 binary64)))
(/.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))) (*.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))) (+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (/.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(/.f64 (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))) (*.f64 (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))) (+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 x (/.f64 (*.f64 x x) x)) (/.f64 x (/.f64 (*.f64 x x) x)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))) (+.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))))
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))))
(*.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))))
(*.f64 (+.f64 #s(literal -1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))) #s(literal -1 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))))) (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))) (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x)))) (-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (+.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) (-.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 1 binary64)))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x))) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 (fabs.f64 x) (/.f64 (*.f64 x x) x)))))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 x (/.f64 (*.f64 x x) x))) (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 x (/.f64 (*.f64 x x) x)) #s(literal 3/2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 (*.f64 x x) x) (fabs.f64 x)) x)))
(exp.f64 (*.f64 (log.f64 (/.f64 x (fabs.f64 x))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) x)) (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))))
(neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))))
(/.f64 #s(literal 1 binary64) (/.f64 x (fabs.f64 x)))
(/.f64 (fabs.f64 x) x)
(/.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)) (-.f64 #s(literal 0 binary64) x))
(/.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 x (fabs.f64 x))))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)) #s(literal -1 binary64)) x)
(pow.f64 (/.f64 x (fabs.f64 x)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(*.f64 (fabs.f64 x) (/.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 (fabs.f64 x) x) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)) (/.f64 #s(literal -1 binary64) x))
(*.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) x) (fabs.f64 x))
(*.f64 (/.f64 #s(literal 1 binary64) x) (pow.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (/.f64 x (fabs.f64 x))))
(*.f64 (/.f64 #s(literal -1 binary64) x) (-.f64 #s(literal 0 binary64) (fabs.f64 x)))
(*.f64 (pow.f64 (/.f64 x (fabs.f64 x)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 x (fabs.f64 x)) #s(literal -1/2 binary64)))
(fabs.f64 x)
(fabs.f64 (-.f64 #s(literal 0 binary64) x))
(fabs.f64 (-.f64 x #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (fabs.f64 x)))
(neg.f64 (-.f64 #s(literal 0 binary64) (fabs.f64 x)))
(*.f64 #s(literal 1 binary64) (fabs.f64 x))
(*.f64 (fabs.f64 x) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (fabs.f64 x)))

simplify26.0ms (1.1%)

Memory
14.3MiB live, 57.6MiB allocated
Algorithm
1×egg-herbie
Rules
192×accelerator-lowering-fma.f32
192×accelerator-lowering-fma.f64
162×div-sub
128×*-lowering-*.f32
128×*-lowering-*.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09133
120133
230133
345133
469133
597133
6136133
7268133
8558133
9579133
10597133
11621133
12622133
0622133
Stop Event
1×iter limit
1×saturated
Counts
36 → 36
Calls
Call 1
Inputs
(* -1 (/ (fabs x) x))
(/ (- x (fabs x)) x)
(/ (- x (fabs x)) x)
(/ (- x (fabs x)) x)
1
(+ 1 (* -1 (/ (fabs x) x)))
(+ 1 (* -1 (/ (fabs x) x)))
(+ 1 (* -1 (/ (fabs x) x)))
1
(+ 1 (* -1 (/ (fabs x) x)))
(+ 1 (* -1 (/ (fabs x) x)))
(+ 1 (* -1 (/ (fabs x) x)))
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(/ (fabs x) x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
(fabs x)
Outputs
(* -1 (/ (fabs x) x))
(-.f64 #s(literal 0 binary64) (/.f64 (fabs.f64 x) x))
(/ (- x (fabs x)) x)
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(/ (- x (fabs x)) x)
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(/ (- x (fabs x)) x)
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
1
#s(literal 1 binary64)
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
1
#s(literal 1 binary64)
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(+ 1 (* -1 (/ (fabs x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(/ (fabs x) x)
(/.f64 (fabs.f64 x) x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)
(fabs x)
(fabs.f64 x)

eval15.0ms (0.6%)

Memory
3.3MiB live, 39.5MiB allocated
Compiler

Compiled 2 887 to 268 computations (90.7% saved)

prune12.0ms (0.5%)

Memory
-1.0MiB live, 37.5MiB allocated
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1321133
Fresh000
Picked011
Done000
Total1322134
Accuracy
100.0%
Counts
134 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
▶11.4%
#s(literal 1 binary64)
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify3.0ms (0.1%)

Memory
5.1MiB live, 5.1MiB allocated
Algorithm
1×egg-herbie
Rules
2×1-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
131
031
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
1
Outputs
1
#s(literal 1 binary64)

localize6.0ms (0.2%)

Memory
11.5MiB live, 11.5MiB allocated
Samples
3.0ms256×0valid
Compiler

Compiled 3 to 4 computations (-33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

rewrite71.0ms (3%)

Memory
-29.0MiB live, 8.3MiB allocated
Algorithm
1×batch-egg-rewrite
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

simplify3.0ms (0.1%)

Memory
3.6MiB live, 3.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Accuracy
100.0%
Counts
2 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
✓11.4%
#s(literal 1 binary64)
Compiler

Compiled 29 to 18 computations (37.9% saved)

regimes4.0ms (0.1%)

Memory
6.9MiB live, 6.9MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))
Outputs
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
Calls

2 calls:

2.0ms
x
1.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))
Compiler

Compiled 15 to 9 computations (40% saved)

regimes1.0ms (0.1%)

Memory
3.3MiB live, 3.3MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(literal 1 binary64)
Outputs
#s(literal 1 binary64)
Calls

1 calls:

1.0ms
x
Results
AccuracySegmentsBranch
11.4%1x
Compiler

Compiled 2 to 1 computations (50% saved)

simplify7.0ms (0.3%)

Memory
12.9MiB live, 12.9MiB allocated
Algorithm
1×egg-herbie
Rules
8×+-commutative_binary64
8×sub-neg_binary64
6×*-commutative_binary64
6×neg-sub0_binary64
6×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1107
2187
3247
4297
5317
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
#s(literal 1 binary64)
Outputs
(-.f64 #s(literal 1 binary64) (/.f64 (fabs.f64 x) x))
#s(literal 1 binary64)

soundness68.0ms (2.8%)

Memory
-27.1MiB live, 93.0MiB allocated
Rules
192×accelerator-lowering-fma.f32
192×accelerator-lowering-fma.f64
162×div-sub
152×accelerator-lowering-fma.f32
152×accelerator-lowering-fma.f64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
09133
120133
230133
345133
469133
597133
6136133
7268133
8558133
9579133
10597133
11621133
12622133
0622133
088
1216
2446
3726
4956
51276
61506
71766
81956
92026
102096
112246
123026
133226
143296
03296
Stop Event
1×done
1×iter limit
1×saturated
1×iter limit
1×saturated
Compiler

Compiled 24 to 17 computations (29.2% saved)

preprocess32.0ms (1.3%)

Memory
14.2MiB live, 93.2MiB allocated
Compiler

Compiled 56 to 36 computations (35.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...