Graphics.Rendering.Chart.Plot.Pie:renderPie from Chart-1.5.3

Time bar (total: 3.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
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 7 to 6 computations (14.3% saved)

sample1.2s (37.1%)

Memory
-21.0MiB live, 1 507.1MiB allocated
Samples
400.0ms4 218×0valid
317.0ms2 974×1valid
153.0ms1 064×2valid
Precisions
Click to see histograms. Total time spent on operations: 477.0ms
ival-sub: 246.0ms (51.6% of total)
ival-add: 151.0ms (31.7% of total)
adjust: 71.0ms (14.9% of total)
ival-true: 6.0ms (1.3% of total)
ival-assert: 4.0ms (0.8% of total)
Bogosity

explain147.0ms (4.5%)

Memory
-5.9MiB live, 141.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1240-0-(-.f64 (+.f64 x y) x)
00-0-y
00-0-(+.f64 x y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (+.f64 x y) x)cancellation1240
Confusion
Predicted +Predicted -
+1240
-0132
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12400
-00132
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0132
1124
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
65.0ms68×2valid
12.0ms172×1valid
9.0ms272×0valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-add: 5.0ms (37.2% of total)
adjust: 4.0ms (29.7% of total)
ival-sub: 4.0ms (29.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess306.0ms (9.3%)

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

Useful iterations: 3 (0.0ms)

IterNodesCost
01231
12131
23517
3557
4607
52777
634527
741027
864667
971527
045
065
195
2123
3151
4151
5481
61421
78261
815931
925551
1041221
1148321
1251241
1351851
1451851
1555981
1656881
1756901
1874691
1975641
2075641
2176561
2276661
2376661
089511
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
Outputs
(-.f64 (+.f64 x y) x)
y
Symmetry

(abs x)

(negabs y)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶55.3%
(-.f64 (+.f64 x y) x)
Compiler

Compiled 5 to 4 computations (20% saved)

simplify361.0ms (11%)

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

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(+.f64 x y)
cost-diff4
(-.f64 (+.f64 x y) x)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0410
066
196
2126
3156
4156
5486
61426
78266
815936
925556
1041226
1148326
1251246
1351856
1451856
1555986
1656886
1756906
1874696
1975646
2075646
2176566
2276666
2376666
089516
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
x
y
Outputs
(-.f64 (+.f64 x y) x)
y
(+.f64 x y)
(+.f64 y x)
x
y

localize62.0ms (1.9%)

Memory
-5.4MiB live, 59.3MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(+.f64 x y)
accuracy28.590399153036582
(-.f64 (+.f64 x y) x)
Samples
29.0ms136×0valid
22.0ms34×2valid
6.0ms86×1valid
Compiler

Compiled 12 to 6 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.0ms
ival-add: 27.0ms (85.7% of total)
adjust: 2.0ms (6.3% of total)
ival-sub: 2.0ms (6.3% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series1.0ms (0%)

Memory
2.3MiB live, 2.3MiB allocated
Counts
2 → 7
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
Outputs
y
(+ x y)
x
(* x (+ 1 (/ y x)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* y (+ 1 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
((- (+ x y) x) (+ x y))
0.0ms
x
@inf
((- (+ x y) x) (+ x y))
0.0ms
y
@-inf
((- (+ x y) x) (+ x y))
0.0ms
x
@-inf
((- (+ x y) x) (+ x y))
0.0ms
x
@0
((- (+ x y) x) (+ x y))

simplify200.0ms (6.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01917
15417
211417
329117
474917
5144417
6237017
7289417
8413217
9623017
10647217
11651417
12651417
13681017
14695517
15705217
16711417
17711417
0867317
Stop Event
1×iter limit
1×node limit
Counts
7 → 5
Calls
Call 1
Inputs
y
(+ x y)
x
(* x (+ 1 (/ y x)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* y (+ 1 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
Outputs
y
(+ x y)
(+.f64 y x)
x
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)

rewrite297.0ms (9%)

Memory
-12.1MiB live, 317.5MiB allocated
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
048
068
1328
22756
343686
096616
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
2 → 123
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
Outputs
(*.f64 (/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 (+.f64 y x) #s(literal 4 binary64)) (pow.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) x) #s(literal 2 binary64)))) (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 (fma.f64 #s(literal 2 binary64) x y) x)))
(*.f64 (/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) x) #s(literal 3 binary64)) (pow.f64 (+.f64 y x) #s(literal 6 binary64)))) (fma.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) x) (-.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) x) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (pow.f64 (+.f64 y x) #s(literal 4 binary64))))
(*.f64 (/.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64))) (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64)))) (-.f64 y #s(literal 0 binary64)))
(*.f64 (/.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64))) (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x (-.f64 x (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))
(*.f64 (fma.f64 #s(literal 2 binary64) x y) (/.f64 (-.f64 y #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) x y)))
(*.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (/.f64 (-.f64 y #s(literal 0 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) #s(literal 2 binary64)) (pow.f64 (*.f64 x (/.f64 x (fma.f64 #s(literal 2 binary64) x y))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) (*.f64 x (/.f64 x (fma.f64 #s(literal 2 binary64) x y)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))
(/.f64 (-.f64 (pow.f64 (-.f64 y x) #s(literal 2 binary64)) (*.f64 x x)) (-.f64 (-.f64 y x) x))
(/.f64 (-.f64 (*.f64 y y) #s(literal 0 binary64)) (-.f64 y #s(literal 0 binary64)))
(/.f64 (-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 6 binary64)) (pow.f64 (fma.f64 #s(literal 2 binary64) x y) #s(literal 3 binary64))) (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (fma.f64 #s(literal 2 binary64) x y) #s(literal 3 binary64)))) (+.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) #s(literal 2 binary64)) (+.f64 (pow.f64 (*.f64 x (/.f64 x (fma.f64 #s(literal 2 binary64) x y))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) (*.f64 x (/.f64 x (fma.f64 #s(literal 2 binary64) x y)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 y x) #s(literal 3 binary64))) (fma.f64 x x (+.f64 (pow.f64 (-.f64 y x) #s(literal 2 binary64)) (*.f64 (-.f64 y x) x))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 0 binary64)) (fma.f64 y y (-.f64 #s(literal 0 binary64) (*.f64 y #s(literal 0 binary64)))))
(/.f64 (neg.f64 (*.f64 (-.f64 y #s(literal 0 binary64)) (-.f64 y #s(literal 0 binary64)))) (neg.f64 (-.f64 y #s(literal 0 binary64))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x))))
(/.f64 (neg.f64 (*.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x y)) (-.f64 y #s(literal 0 binary64)))) (neg.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x y))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) (*.f64 (fma.f64 #s(literal 2 binary64) x y) (*.f64 x x))) (pow.f64 (fma.f64 #s(literal 2 binary64) x y) #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (*.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (pow.f64 x #s(literal 3 binary64)))) (pow.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) (*.f64 (fma.f64 x x (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) x y)))
(/.f64 (*.f64 (-.f64 y #s(literal 0 binary64)) (-.f64 y #s(literal 0 binary64))) (-.f64 y #s(literal 0 binary64)))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 9 binary64)) (pow.f64 x #s(literal 9 binary64))) (*.f64 (+.f64 (+.f64 (pow.f64 (*.f64 (+.f64 y x) x) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64))) (pow.f64 (+.f64 y x) #s(literal 6 binary64))) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 6 binary64)) (pow.f64 x #s(literal 6 binary64))) (*.f64 (fma.f64 (*.f64 x x) (fma.f64 x x (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (pow.f64 (+.f64 y x) #s(literal 4 binary64))) (fma.f64 #s(literal 2 binary64) x y)))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 6 binary64)) (pow.f64 x #s(literal 6 binary64))) (*.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (-.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 y x) #s(literal 2 binary64)) (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) x))))
(/.f64 (+.f64 (pow.f64 (-.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)))
(/.f64 (*.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x y)) (-.f64 y #s(literal 0 binary64))) (neg.f64 (fma.f64 #s(literal 2 binary64) x y)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64))) (fma.f64 #s(literal 2 binary64) x y))
(neg.f64 (/.f64 (*.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x y)) (-.f64 y #s(literal 0 binary64))) (fma.f64 #s(literal 2 binary64) x y)))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64))) (neg.f64 (fma.f64 #s(literal 2 binary64) x y))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64))))))
(fma.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (fma.f64 (neg.f64 x) x (*.f64 y y))) (neg.f64 (-.f64 y x)) x)
(fma.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (neg.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 y x) y (*.f64 x x))) x)
(fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x (-.f64 x (+.f64 y x)) (pow.f64 (+.f64 y x) #s(literal 2 binary64))) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(fma.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 (fma.f64 #s(literal 2 binary64) x y) (-.f64 y #s(literal 0 binary64)))) (-.f64 y #s(literal 0 binary64)) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) y)) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (-.f64 y x) y) (-.f64 (*.f64 (-.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(fma.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (-.f64 y x) y (*.f64 x x)) x)
(fma.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (*.f64 (-.f64 y x) (+.f64 y x))) (-.f64 y x) x)
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (/.f64 (pow.f64 x #s(literal 3/2 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(fma.f64 (neg.f64 (+.f64 y x)) (/.f64 (neg.f64 (+.f64 y x)) (fma.f64 #s(literal 2 binary64) x y)) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(fma.f64 (fabs.f64 (+.f64 y x)) (/.f64 (fabs.f64 (+.f64 y x)) (fma.f64 #s(literal 2 binary64) x y)) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(fma.f64 (*.f64 x x) (/.f64 x (fma.f64 (-.f64 y x) y (*.f64 x x))) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(fma.f64 (+.f64 y x) (/.f64 (-.f64 y x) (+.f64 y x)) x)
(fma.f64 (+.f64 y x) (/.f64 (+.f64 y x) (fma.f64 #s(literal 2 binary64) x y)) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(fma.f64 x (/.f64 (*.f64 x x) (fma.f64 (-.f64 y x) y (*.f64 x x))) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(-.f64 (/.f64 (*.f64 x x) (-.f64 y #s(literal 0 binary64))) (/.f64 (pow.f64 (-.f64 y x) #s(literal 2 binary64)) (-.f64 y #s(literal 0 binary64))))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) (*.f64 x (/.f64 x (fma.f64 #s(literal 2 binary64) x y))))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal 2 binary64) x y) x (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(-.f64 (*.f64 x (/.f64 x (-.f64 y x))) (fma.f64 y (/.f64 y (-.f64 y x)) x))
(-.f64 (+.f64 y x) x)
(-.f64 y #s(literal 0 binary64))
(-.f64 x (-.f64 y x))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x))) (/.f64 (pow.f64 (-.f64 y x) #s(literal 3 binary64)) (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x))))
(+.f64 #s(literal 0 binary64) y)
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (-.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) x))
(+.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (fma.f64 #s(literal 2 binary64) x y)) (/.f64 (*.f64 (neg.f64 x) x) (fma.f64 #s(literal 2 binary64) x y)))
(+.f64 (-.f64 y x) x)
(+.f64 y #s(literal 0 binary64))
(+.f64 x (-.f64 y x))
(*.f64 (pow.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (+.f64 y x) y (*.f64 x x)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (*.f64 (-.f64 y x) (+.f64 y x))) #s(literal 1 binary64)) (+.f64 y x))
(*.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) y)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (*.f64 (-.f64 y x) y) (-.f64 (*.f64 (-.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)) #s(literal 1 binary64)) (pow.f64 (/.f64 (+.f64 y x) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 1 binary64)))
(*.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (+.f64 y x) y (*.f64 x x)))
(*.f64 (/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (*.f64 (-.f64 y x) (+.f64 y x))) (+.f64 y x))
(*.f64 (/.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) y)))
(*.f64 (/.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (-.f64 y x) y) (-.f64 (*.f64 (-.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(*.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)) (/.f64 (+.f64 y x) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(*.f64 (+.f64 y x) (pow.f64 (/.f64 (-.f64 y x) (-.f64 y x)) #s(literal 1 binary64)))
(*.f64 (+.f64 y x) (/.f64 (-.f64 y x) (-.f64 y x)))
(pow.f64 (+.f64 y x) #s(literal 1 binary64))
(/.f64 (exp.f64 (log.f64 (fma.f64 (neg.f64 x) x (*.f64 y y)))) (exp.f64 (log.f64 (neg.f64 (-.f64 y x)))))
(/.f64 (exp.f64 (log.f64 (neg.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))))) (exp.f64 (log.f64 (neg.f64 (fma.f64 (-.f64 y x) y (*.f64 x x))))))
(/.f64 (exp.f64 (log.f64 (*.f64 (-.f64 y x) (+.f64 y x)))) (exp.f64 (log.f64 (-.f64 y x))))
(/.f64 (exp.f64 (log.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (exp.f64 (log.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 y x))) #s(literal 2 binary64)) (pow.f64 (*.f64 y (/.f64 y (-.f64 y x))) #s(literal 2 binary64))) (fma.f64 x (/.f64 x (-.f64 y x)) (*.f64 y (/.f64 y (-.f64 y x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 2 binary64))) (-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x)))))
(/.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 y x) #s(literal 3 binary64))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (-.f64 y x) #s(literal 3 binary64)))) (+.f64 (pow.f64 (*.f64 x (/.f64 x (-.f64 y x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (*.f64 y (/.f64 y (-.f64 y x))) #s(literal 2 binary64)) (*.f64 (*.f64 x (/.f64 x (-.f64 y x))) (*.f64 y (/.f64 y (-.f64 y x)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) #s(literal 2 binary64)) (*.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x)))))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 x) x (*.f64 y y))) (neg.f64 (neg.f64 (-.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 y x)) (*.f64 (-.f64 y x) (*.f64 y y))) (pow.f64 (-.f64 y x) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x)) (*.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)) (pow.f64 y #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 y x) y (*.f64 x x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))) (*.f64 (fma.f64 y y (*.f64 x x)) (-.f64 y x)))
(/.f64 (+.f64 (pow.f64 y #s(literal 9 binary64)) (pow.f64 x #s(literal 9 binary64))) (*.f64 (-.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 y #s(literal 6 binary64))) (pow.f64 (*.f64 y x) #s(literal 3 binary64))) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(/.f64 (fma.f64 (neg.f64 x) x (*.f64 y y)) (neg.f64 (-.f64 y x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 y x) y (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 y #s(literal 6 binary64))) (*.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 y #s(literal 6 binary64))) (*.f64 (fma.f64 (*.f64 y y) (fma.f64 y y (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (-.f64 y x)))
(/.f64 (*.f64 (-.f64 y x) (+.f64 y x)) (-.f64 y x))
(/.f64 (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 y x) y (*.f64 x x)))
(neg.f64 (neg.f64 (+.f64 y x)))
(fma.f64 (/.f64 (*.f64 x x) (-.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (+.f64 y x) y (*.f64 x x)) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (-.f64 y x) (+.f64 y x))) (+.f64 y x) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) y)) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (-.f64 y x) y) (-.f64 (*.f64 (-.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 2 binary64)))) (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) y)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (+.f64 (pow.f64 (*.f64 (-.f64 y x) y) #s(literal 3 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (*.f64 (-.f64 y x) y) (-.f64 (*.f64 (-.f64 y x) y) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (/.f64 (pow.f64 x #s(literal 3/2 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 x) (-.f64 y x)) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(fma.f64 (fabs.f64 x) (/.f64 (fabs.f64 x) (-.f64 y x)) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(fma.f64 (*.f64 y y) (/.f64 y (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 (*.f64 x x) (/.f64 x (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 y (/.f64 (*.f64 y y) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 x (/.f64 (*.f64 x x) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(fma.f64 x (/.f64 x (-.f64 y x)) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(-.f64 (*.f64 y (/.f64 y (-.f64 y x))) (*.f64 x (/.f64 x (-.f64 y x))))
(-.f64 (*.f64 x (/.f64 x (-.f64 y x))) (*.f64 y (/.f64 y (-.f64 y x))))
(exp.f64 (*.f64 (log.f64 (+.f64 y x)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (+.f64 y x)))
(+.f64 (cosh.f64 (log.f64 (+.f64 y x))) (sinh.f64 (log.f64 (+.f64 y x))))
(+.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (-.f64 y x) y (*.f64 x x))))
(+.f64 (*.f64 x (/.f64 x (-.f64 y x))) (/.f64 (*.f64 (neg.f64 y) y) (-.f64 y x)))
(+.f64 y x)
(+.f64 x y)

eval17.0ms (0.5%)

Memory
-1.3MiB live, 44.9MiB allocated
Compiler

Compiled 3 156 to 451 computations (85.7% saved)

prune2.0ms (0.1%)

Memory
9.2MiB live, 9.2MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1231124
Fresh000
Picked101
Done000
Total1241125
Accuracy
100.0%
Counts
125 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 y #s(literal 0 binary64))
Compiler

Compiled 3 to 4 computations (-33.3% saved)

simplify4.0ms (0.1%)

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

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff2
(-.f64 y #s(literal 0 binary64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
043
143
253
053
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(-.f64 y #s(literal 0 binary64))
y
#s(literal 0 binary64)
Outputs
(-.f64 y #s(literal 0 binary64))
y
y
#s(literal 0 binary64)

localize10.0ms (0.3%)

Memory
24.6MiB live, 24.6MiB allocated
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 y #s(literal 0 binary64))
Samples
7.0ms256×0valid
Compiler

Compiled 7 to 6 computations (14.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0ms
ival-sub: 1.0ms (58.5% of total)
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.8MiB live, 0.8MiB allocated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 y #s(literal 0 binary64))
Outputs
y
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
((- y 0))
0.0ms
y
@-inf
((- y 0))
0.0ms
x
@0
((- y 0))
0.0ms
y
@0
((- y 0))
0.0ms
x
@inf
((- y 0))

simplify6.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

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

rewrite74.0ms (2.3%)

Memory
28.2MiB live, 131.6MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
041
1181
21611
019641
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
1 → 44
Calls
Call 1
Inputs
(-.f64 y #s(literal 0 binary64))
Outputs
(*.f64 (/.f64 (*.f64 y y) (*.f64 (neg.f64 y) y)) (neg.f64 y))
(*.f64 (/.f64 (*.f64 y y) (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (*.f64 (neg.f64 y) y))
(*.f64 (/.f64 (*.f64 y y) (*.f64 y y)) y)
(*.f64 (/.f64 (*.f64 y y) (pow.f64 y #s(literal 3 binary64))) (*.f64 y y))
(*.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 y #s(literal 4 binary64))) (*.f64 y y))
(*.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64))) (pow.f64 y #s(literal 4 binary64)))
(*.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 y y)))
(*.f64 (neg.f64 y) (/.f64 (neg.f64 y) y))
(*.f64 (fabs.f64 y) (/.f64 (fabs.f64 y) y))
(*.f64 (*.f64 y y) (/.f64 y (*.f64 y y)))
(*.f64 y (/.f64 y y))
(*.f64 y (/.f64 (*.f64 y y) (*.f64 y y)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 y y)) (-.f64 #s(literal 0 binary64) y))
(/.f64 (neg.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (*.f64 y y))
(/.f64 (-.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) #s(literal 0 binary64)) (*.f64 (neg.f64 y) y))
(/.f64 (-.f64 (*.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) y) (*.f64 (*.f64 (neg.f64 y) y) #s(literal 0 binary64))) (pow.f64 (neg.f64 y) #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 y #s(literal 5 binary64)) #s(literal 0 binary64)) (pow.f64 y #s(literal 4 binary64)))
(/.f64 (-.f64 (*.f64 (*.f64 (neg.f64 y) y) (*.f64 y y)) #s(literal 0 binary64)) (pow.f64 (neg.f64 y) #s(literal 3 binary64)))
(/.f64 (-.f64 (*.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) (*.f64 y y)) (*.f64 (*.f64 (neg.f64 y) y) #s(literal 0 binary64))) (*.f64 (*.f64 (neg.f64 y) y) (*.f64 y y)))
(/.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 y #s(literal 3 binary64)))
(/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 y #s(literal 5 binary64)))
(/.f64 (*.f64 (neg.f64 y) y) (neg.f64 y))
(/.f64 (pow.f64 (neg.f64 y) #s(literal 3 binary64)) (*.f64 (neg.f64 y) y))
(/.f64 (pow.f64 y #s(literal 5 binary64)) (pow.f64 y #s(literal 4 binary64)))
(/.f64 (pow.f64 y #s(literal 9 binary64)) (*.f64 (pow.f64 y #s(literal 6 binary64)) (*.f64 y y)))
(/.f64 (*.f64 y y) y)
(/.f64 (pow.f64 y #s(literal 3 binary64)) (*.f64 y y))
(neg.f64 (neg.f64 y))
(fma.f64 (/.f64 (*.f64 y y) (*.f64 (neg.f64 y) y)) (neg.f64 y) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y y) (pow.f64 (neg.f64 y) #s(literal 3 binary64))) (*.f64 (neg.f64 y) y) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y y) (*.f64 y y)) y #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y y) (pow.f64 y #s(literal 3 binary64))) (*.f64 y y) #s(literal 0 binary64))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 y #s(literal 4 binary64))) (*.f64 y y) #s(literal 0 binary64))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64))) (pow.f64 y #s(literal 4 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 (neg.f64 y) (/.f64 (neg.f64 y) y) #s(literal 0 binary64))
(fma.f64 (fabs.f64 y) (/.f64 (fabs.f64 y) y) #s(literal 0 binary64))
(fma.f64 (*.f64 y y) (/.f64 y (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 y (/.f64 y y) #s(literal 0 binary64))
(fma.f64 y (/.f64 (*.f64 y y) (*.f64 y y)) #s(literal 0 binary64))
(-.f64 y #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) y)
(+.f64 y #s(literal 0 binary64))
y

eval7.0ms (0.2%)

Memory
-31.1MiB live, 14.6MiB allocated
Compiler

Compiled 408 to 87 computations (78.7% saved)

prune1.0ms (0%)

Memory
3.2MiB live, 3.2MiB allocated
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%
y
Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
011
011
011
Stop Event
1×saturated
1×saturated
1×saturated
Calls
Call 1
Inputs
y
Outputs
y

localize6.0ms (0.2%)

Memory
11.6MiB live, 11.6MiB allocated
Samples
4.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)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

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

6 calls:

TimeVariablePointExpression
0.0ms
x
@0
()
0.0ms
x
@inf
()
0.0ms
x
@-inf
()
0.0ms
y
@0
()
0.0ms
y
@inf
()

simplify2.0ms (0.1%)

Memory
6.0MiB live, 6.1MiB 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

rewrite5.0ms (0.2%)

Memory
5.3MiB live, 5.3MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

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

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory
2.5MiB live, 2.5MiB allocated
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%
y
Compiler

Compiled 10 to 8 computations (20% saved)

regimes9.0ms (0.3%)

Memory
-29.3MiB live, 16.0MiB allocated
Accuracy

Total -28.6b remaining (-∞%)

Threshold costs -28.6b (-∞%)

Counts
3 → 1
Calls
Call 1
Inputs
y
(-.f64 y #s(literal 0 binary64))
(-.f64 (+.f64 x y) x)
Outputs
y
Calls

3 calls:

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

Compiled 7 to 8 computations (-14.3% saved)

simplify9.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
011
Stop Event
1×saturated
Calls
Call 1
Inputs
y
Outputs
y

soundness431.0ms (13.1%)

Memory
-19.4MiB live, 221.4MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
041
1181
21611
019641
048
068
1328
22756
343686
096616
Stop Event
1×done
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Compiler

Compiled 13 to 12 computations (7.7% saved)

preprocess102.0ms (3.1%)

Memory
5.5MiB live, 50.9MiB allocated
Remove

(negabs y)

(abs x)

Compiler

Compiled 22 to 28 computations (-27.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...