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

Time bar (total: 3.1s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 7 to 6 computations (14.3% saved)

sample1.2s (39%)

Memory
13.1MiB live, 1 686.3MiB allocated; 484ms collecting garbage
Samples
525.0ms2 859×1valid
174.0ms4 240×0valid
171.0ms1 157×2valid
Precisions
Click to see histograms. Total time spent on operations: 383.0ms
adjust: 156.0ms (40.7% of total)
ival-sub: 114.0ms (29.8% of total)
ival-add: 105.0ms (27.4% of total)
ival-true: 5.0ms (1.3% of total)
ival-assert: 3.0ms (0.8% of total)
Bogosity

explain91.0ms (2.9%)

Memory
20.2MiB live, 112.6MiB allocated; 16ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1260-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)cancellation1260
Confusion
Predicted +Predicted -
+1260
-0130
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12600
-00130
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0130
1126
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
29.0ms174×1valid
9.0ms264×0valid
9.0ms74×2valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
adjust: 7.0ms (41.8% of total)
ival-add: 5.0ms (29.8% of total)
ival-sub: 4.0ms (23.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess352.0ms (11.4%)

Memory
-4.4MiB live, 229.3MiB allocated; 26ms collecting garbage
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.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶54.2%
(-.f64 (+.f64 x y) x)
Compiler

Compiled 5 to 4 computations (20% saved)

simplify336.0ms (10.9%)

Memory
1.1MiB live, 194.6MiB allocated; 19ms collecting garbage
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

localize69.0ms (2.2%)

Memory
-26.6MiB live, 71.4MiB allocated; 14ms collecting garbage
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(+.f64 x y)
accuracy29.282300192184067
(-.f64 (+.f64 x y) x)
Samples
40.0ms87×1valid
5.0ms37×2valid
4.0ms132×0valid
Compiler

Compiled 12 to 6 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.0ms
adjust: 30.0ms (85.4% of total)
ival-add: 3.0ms (8.5% of total)
ival-sub: 2.0ms (5.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series1.0ms (0%)

Memory
3.1MiB live, 3.1MiB allocated; 0ms collecting garbage
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
y
@-inf
((- (+ x y) x) (+ x y))
0.0ms
x
@inf
((- (+ x y) x) (+ x y))
0.0ms
x
@-inf
((- (+ x y) x) (+ x y))
0.0ms
x
@0
((- (+ x y) x) (+ x y))

simplify182.0ms (5.9%)

Memory
23.7MiB live, 117.4MiB allocated; 4ms collecting garbage
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)

rewrite215.0ms (7%)

Memory
11.6MiB live, 196.8MiB allocated; 35ms collecting garbage
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)

eval63.0ms (2%)

Memory
-37.0MiB live, 26.0MiB allocated; 10ms collecting garbage
Compiler

Compiled 3 156 to 451 computations (85.7% saved)

prune2.0ms (0.1%)

Memory
6.6MiB live, 6.6MiB allocated; 0ms collecting garbage
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
4.0MiB live, 4.0MiB allocated; 0ms collecting garbage
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)

localize11.0ms (0.3%)

Memory
15.7MiB live, 15.7MiB allocated; 0ms collecting garbage
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 (56.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated; 0ms collecting garbage
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))

simplify3.0ms (0.1%)

Memory
3.7MiB live, 3.7MiB allocated; 0ms collecting garbage
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

rewrite82.0ms (2.7%)

Memory
14.3MiB live, 56.4MiB allocated; 11ms collecting garbage
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

eval45.0ms (1.5%)

Memory
-28.7MiB live, 12.5MiB allocated; 13ms collecting garbage
Compiler

Compiled 408 to 87 computations (78.7% saved)

prune1.0ms (0%)

Memory
3.2MiB live, 3.2MiB allocated; 0ms collecting garbage
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)

simplify4.0ms (0.1%)

Memory
3.9MiB live, 3.9MiB allocated; 0ms collecting garbage
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

localize7.0ms (0.2%)

Memory
11.1MiB live, 11.1MiB allocated; 0ms collecting garbage
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)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
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
@inf
()
0.0ms
y
@0
()

simplify3.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated; 0ms collecting garbage
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

rewrite6.0ms (0.2%)

Memory
6.9MiB live, 6.9MiB allocated; 0ms collecting garbage
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.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory
1.7MiB live, 1.7MiB allocated; 0ms collecting garbage
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)

regimes33.0ms (1.1%)

Memory
-31.7MiB live, 13.0MiB allocated; 6ms collecting garbage
Accuracy

Total -29.3b remaining (-∞%)

Threshold costs -29.3b (-∞%)

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

3 calls:

3.0ms
(-.f64 (+.f64 x y) x)
1.0ms
x
1.0ms
y
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)

simplify10.0ms (0.3%)

Memory
21.8MiB live, 21.8MiB allocated; 0ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

derivations299.0ms (9.7%)

Memory
20.1MiB live, 207.9MiB allocated; 37ms collecting garbage
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 1 to 2 computations (-100% saved)

preprocess59.0ms (1.9%)

Memory
-17.7MiB live, 86.6MiB allocated; 15ms collecting garbage
Remove

(negabs y)

(abs x)

Compiler

Compiled 22 to 28 computations (-27.3% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...