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

Time bar (total: 3.6s)

start0.0ms (0%)

Memory
0.1MiB live, 0.0MiB allocated

analyze0.0ms (0%)

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

sample913.0ms (25.2%)

Memory
2.5MiB live, 1 282.6MiB allocated
Samples
242.0ms2 946×1valid
192.0ms4 206×0valid
123.0ms1 104×2valid
Precisions
Click to see histograms. Total time spent on operations: 263.0ms
ival-sub: 102.0ms (38.8% of total)
ival-add: 86.0ms (32.7% of total)
adjust: 65.0ms (24.7% of total)
ival-true: 6.0ms (2.3% of total)
ival-assert: 3.0ms (1.1% of total)
Bogosity

explain157.0ms (4.3%)

Memory
-22.0MiB live, 114.9MiB allocated
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
11.0ms178×1valid
9.0ms266×0valid
7.0ms68×2valid
Compiler

Compiled 31 to 16 computations (48.4% saved)

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

preprocess610.0ms (16.9%)

Memory
2.7MiB live, 400.8MiB allocated
Algorithm
1×egg-herbie
Rules
19 264×lower-fma.f64
19 264×lower-fma.f32
3 620×associate-+r+
2 860×associate-+r-
2 616×unsub-neg
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01229
13525
21287
33207
45927
511067
616547
725187
830357
932927
1033387
1133547
1233707
1333707
1435827
1537707
1637927
1737967
1838007
045
065
1115
2223
3471
4741
52051
67331
716231
825031
929791
1032201
1132681
1232811
1332811
1439671
1543751
1647431
1748751
1849631
1949631
2050431
2150431
2271921
2378661
081501
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 7 to 4 computations (42.9% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.4MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

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

Compiled 7 to 4 computations (42.9% saved)

simplify394.0ms (10.9%)

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

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(+.f64 x y)
cost-diff384
(-.f64 (+.f64 x y) x)
Rules
19 264×lower-fma.f64
19 264×lower-fma.f32
2 616×unsub-neg
2 404×distribute-lft-in
2 078×distribute-rgt-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0410
0614
11114
22210
3476
4746
52056
67336
716236
825036
929796
1032206
1132686
1232816
1332816
1439676
1543756
1647436
1748756
1849636
1949636
2050436
2150436
2271926
2378666
081506
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)
x
y

localize45.0ms (1.2%)

Memory
-12.5MiB live, 24.8MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0
(+.f64 x y)
accuracy29.201848169198488
(-.f64 (+.f64 x y) x)
Samples
32.0ms89×1valid
4.0ms133×0valid
3.0ms34×2valid
Compiler

Compiled 12 to 6 computations (50% saved)

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

series2.0ms (0%)

Memory
2.7MiB live, 2.7MiB allocated
Counts
2 → 48
Calls
Call 1
Inputs
#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())
#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())
Outputs
#s(alt y (taylor 0 x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf x) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 (+.f64 x y) x) (patch (-.f64 (+.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
Calls

12 calls:

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

simplify245.0ms (6.8%)

Memory
-1.5MiB live, 185.8MiB allocated
Algorithm
1×egg-herbie
Rules
3 560×lower-*.f64
3 560×lower-*.f32
3 112×lower-/.f32
3 112×lower-/.f64
2 108×lower-fma.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01984
15784
212784
338584
4107484
5199684
6268684
7319184
8363084
9383084
10386484
11460084
12483384
13556784
14659984
15754884
0807884
Stop Event
1×iter limit
1×node limit
Counts
48 → 18
Calls
Call 1
Inputs
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
(+ x y)
(+ x y)
(+ x y)
x
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
x
(+ x y)
(+ x y)
(+ x y)
y
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
Outputs
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
y
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
x
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* x (+ 1 (/ y x)))
(+.f64 y x)
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
x
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
y
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* y (+ 1 (/ x y)))
(+.f64 y x)
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)

rewrite290.0ms (8%)

Memory
34.6MiB live, 349.8MiB allocated
Rules
6 322×lower-fma.f64
6 322×lower-fma.f32
4 602×lower-*.f64
4 602×lower-*.f32
2 154×lower-/.f64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
048
068
1348
23056
348646
084836
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
2 → 233
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
Outputs
(+.f64 x (-.f64 y x))
(+.f64 y #s(literal 0 binary64))
(+.f64 (+.f64 x y) (neg.f64 x))
(+.f64 (neg.f64 x) (+.f64 x y))
(+.f64 (-.f64 y x) x)
(+.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(+.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (neg.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(+.f64 #s(literal 0 binary64) y)
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64)))) #s(literal -1 binary64)))
(-.f64 y #s(literal 0 binary64))
(-.f64 (+.f64 x y) x)
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (-.f64 (/.f64 (*.f64 y y) (-.f64 x y)) (neg.f64 x)))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (fma.f64 y (/.f64 y (-.f64 x y)) x))
(-.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(-.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))))
(-.f64 #s(literal 0 binary64) (-.f64 x (+.f64 x y)))
(-.f64 (/.f64 (*.f64 x x) (+.f64 (-.f64 x y) x)) (/.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (+.f64 (-.f64 x y) x)))
(-.f64 (+.f64 (+.f64 x y) #s(literal 0 binary64)) x)
(-.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 x x) (-.f64 x y))) (/.f64 (*.f64 y y) (-.f64 x y)))
(fma.f64 x #s(literal -1 binary64) (+.f64 x y))
(fma.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 #s(literal 1 binary64) (-.f64 x y))) (neg.f64 x))
(fma.f64 (+.f64 x y) (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (+.f64 x y) (/.f64 (+.f64 x y) (+.f64 x (+.f64 x y))) (neg.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(fma.f64 (+.f64 x y) (/.f64 (-.f64 x y) (-.f64 x y)) (neg.f64 x))
(fma.f64 (+.f64 x y) (pow.f64 (*.f64 (-.f64 x y) (/.f64 #s(literal 1 binary64) (-.f64 x y))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (+.f64 x y) (pow.f64 (/.f64 (-.f64 x y) (-.f64 x y)) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) (neg.f64 x))
(fma.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 y (+.f64 x y)))) x)
(fma.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (*.f64 (+.f64 x y) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))) (neg.f64 x))
(fma.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (/.f64 (+.f64 x y) (fma.f64 x (-.f64 x y) (*.f64 y y))) (neg.f64 x))
(fma.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y))) (neg.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(fma.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 (+.f64 x y) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (/.f64 #s(literal 1 binary64) (-.f64 x y)) (neg.f64 x))
(fma.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))) (neg.f64 x))
(fma.f64 #s(literal 1 binary64) (+.f64 x y) (neg.f64 x))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (neg.f64 x))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) #s(literal -1 binary64)) (neg.f64 x))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y)) (neg.f64 x))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) (pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x y) (-.f64 x y))) #s(literal -1 binary64)) (neg.f64 x))
(fma.f64 #s(literal -1 binary64) x (+.f64 x y))
(fma.f64 #s(literal -1 binary64) (-.f64 x y) x)
(fma.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (/.f64 #s(literal 1 binary64) (+.f64 x y)) x)
(fma.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (/.f64 #s(literal 1 binary64) (-.f64 y x)) (neg.f64 x))
(fma.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y) x)
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y))) (+.f64 x y) (neg.f64 x))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y))) x)
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 x y)) x)
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 y x))) (+.f64 x y) (neg.f64 x))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 y x))) (-.f64 y x) x)
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 x (+.f64 x (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))) (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x (+.f64 x (+.f64 x y))) (-.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 (+.f64 x y) (+.f64 x y))))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 x (+.f64 x (+.f64 x y)))))) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 x (+.f64 x (+.f64 x y)))) (neg.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) (+.f64 y #s(literal 0 binary64)) (neg.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (fma.f64 x (-.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (neg.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(fma.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (-.f64 y x) (*.f64 (-.f64 y x) (-.f64 y x))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 y (-.f64 y x)) (-.f64 (*.f64 y (-.f64 y x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))) (neg.f64 x))
(fma.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (neg.f64 x))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (fma.f64 x x (*.f64 y (+.f64 x y))) (neg.f64 x))
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) (fma.f64 x (-.f64 x y) (*.f64 y y)) x)
(fma.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) (fma.f64 x x (*.f64 y (+.f64 x y))) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (-.f64 x y) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)) (*.f64 x (*.f64 x (*.f64 x x))))) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (-.f64 x y) (*.f64 (fma.f64 x x (*.f64 y y)) (*.f64 (+.f64 x y) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 y y))) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y y))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)) (*.f64 (*.f64 y (*.f64 y y)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))))) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (neg.f64 x))
(fma.f64 (pow.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) #s(literal 1 binary64)) (pow.f64 (*.f64 (+.f64 x y) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) #s(literal 1 binary64)) (pow.f64 (/.f64 (+.f64 x y) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (*.f64 (+.f64 x y) (-.f64 x y)) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 y x)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 y x)) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y))) #s(literal 1 binary64)) (+.f64 x y) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 y x))) #s(literal 1 binary64)) (+.f64 x y) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (-.f64 y x) (*.f64 (-.f64 y x) (-.f64 y x))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (*.f64 y (-.f64 y x)) (-.f64 (*.f64 y (-.f64 y x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))) #s(literal 1 binary64)) (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) #s(literal 1 binary64)) (neg.f64 x))
(fma.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) #s(literal 1 binary64)) (neg.f64 x))
(neg.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (neg.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(neg.f64 (/.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) (neg.f64 (+.f64 x (+.f64 x y)))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(neg.f64 (/.f64 (*.f64 (+.f64 x (+.f64 x y)) (neg.f64 (+.f64 y #s(literal 0 binary64)))) (+.f64 x (+.f64 x y))))
(/.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))
(/.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x x (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (neg.f64 (*.f64 x (+.f64 x y))))))
(/.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) (+.f64 x (+.f64 x y)))
(/.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (neg.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(/.f64 (*.f64 (+.f64 x (+.f64 x y)) (neg.f64 (+.f64 y #s(literal 0 binary64)))) (neg.f64 (+.f64 x (+.f64 x y))))
(/.f64 (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64))) (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)))
(/.f64 (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64))) (fma.f64 (-.f64 y x) (-.f64 y x) (-.f64 (*.f64 x x) (*.f64 x (-.f64 y x)))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (*.f64 (+.f64 x (+.f64 x y)) (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x))))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (-.f64 x y) x) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 (-.f64 x y) x))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64)))))
(/.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 (-.f64 x y) x)) (+.f64 (-.f64 x y) x))
(/.f64 (*.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) (*.f64 (+.f64 x (+.f64 x y)) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 x (*.f64 x x)))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (*.f64 (+.f64 x (+.f64 x y)) (*.f64 x x))) (*.f64 (+.f64 x (+.f64 x y)) (+.f64 x (+.f64 x y))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) #s(literal 1 binary64)) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)))) (+.f64 x (+.f64 x y))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) #s(literal 1 binary64)) (*.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)) (+.f64 x (+.f64 x y))))
(/.f64 (*.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) #s(literal 1 binary64)) (+.f64 x (+.f64 x y)))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) #s(literal 1 binary64)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (neg.f64 (neg.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(/.f64 (neg.f64 (*.f64 (+.f64 x (+.f64 x y)) (neg.f64 (+.f64 y #s(literal 0 binary64))))) (neg.f64 (neg.f64 (+.f64 x (+.f64 x y)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64)))) (neg.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x))))
(/.f64 (neg.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 (-.f64 x y) x))) (neg.f64 (+.f64 (-.f64 x y) x)))
(/.f64 (fma.f64 y (*.f64 y y) #s(literal 0 binary64)) (fma.f64 y y (-.f64 #s(literal 0 binary64) (*.f64 y #s(literal 0 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) #s(literal 3 binary64)) (pow.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (fma.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))) (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))) (*.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))))
(/.f64 (-.f64 (*.f64 x x) (*.f64 (+.f64 x y) (+.f64 x y))) (-.f64 (neg.f64 x) (+.f64 x y)))
(/.f64 (-.f64 (*.f64 y y) #s(literal 0 binary64)) (+.f64 y #s(literal 0 binary64)))
(/.f64 (-.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (*.f64 x x)) (-.f64 (-.f64 y x) x))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))) (*.f64 (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))) (fma.f64 (+.f64 x y) (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y))) (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x (+.f64 x y)))) (*.f64 (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))) (*.f64 x (/.f64 x (+.f64 x (+.f64 x y)))))) (fma.f64 (+.f64 x y) (/.f64 (+.f64 x y) (+.f64 x (+.f64 x y))) (*.f64 x (/.f64 x (+.f64 x (+.f64 x y))))))
(/.f64 (*.f64 (-.f64 (*.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))) (fma.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y)))) (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)))))
(/.f64 (*.f64 (*.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y)))) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64))) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 (-.f64 x y) x) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 (-.f64 x y) x))) #s(literal -1 binary64))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 y #s(literal 0 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (/.f64 (+.f64 y #s(literal 0 binary64)) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))))
(*.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y))))
(*.f64 (+.f64 x (+.f64 x y)) (*.f64 (+.f64 y #s(literal 0 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y)))))
(*.f64 (+.f64 x (+.f64 x y)) (/.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))))
(*.f64 (neg.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))))
(*.f64 (*.f64 (+.f64 x (+.f64 x y)) (neg.f64 (+.f64 y #s(literal 0 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (+.f64 x (+.f64 x y)))))
(*.f64 (*.f64 (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x)) (+.f64 y #s(literal 0 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 y x) (-.f64 (-.f64 y x) x) (*.f64 x x))))
(*.f64 #s(literal 1 binary64) (+.f64 y #s(literal 0 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y)))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y))) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 x (+.f64 x y))) (pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) #s(literal -1 binary64)))
(*.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 (-.f64 x y) x)) (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 x y) x)))
(*.f64 (/.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))) (fma.f64 x (-.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))))
(*.f64 (/.f64 (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y)))) (+.f64 y #s(literal 0 binary64)))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 x (+.f64 x (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))) (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x (+.f64 x (+.f64 x y))) (-.f64 (*.f64 x (+.f64 x (+.f64 x y))) (*.f64 (+.f64 x y) (+.f64 x y))))))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 x (+.f64 x (+.f64 x y)))))) (-.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 x (+.f64 x (+.f64 x y)))))
(*.f64 (pow.f64 (/.f64 (+.f64 x (+.f64 x y)) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 x x) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x))))))
(*.f64 (pow.f64 (/.f64 (+.f64 x (+.f64 x y)) (*.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x)) (*.f64 (+.f64 y #s(literal 0 binary64)) (+.f64 x (+.f64 x y))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 x y) (+.f64 x y) (*.f64 x x))))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (-.f64 (*.f64 (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x (*.f64 x x)) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (+.f64 x (+.f64 x y)) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) (*.f64 (+.f64 x y) (*.f64 (+.f64 x y) (+.f64 x y))))))
(+.f64 x y)
(+.f64 y x)
(+.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (neg.f64 (/.f64 (*.f64 y y) (-.f64 x y))))
(exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 x y))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (+.f64 x y)) #s(literal 1 binary64)))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)))
(-.f64 (/.f64 (*.f64 y y) (-.f64 y x)) (/.f64 (*.f64 x x) (-.f64 y x)))
(fma.f64 x (/.f64 x (-.f64 x y)) (neg.f64 (/.f64 (*.f64 y y) (-.f64 x y))))
(fma.f64 (*.f64 x x) (/.f64 #s(literal 1 binary64) (-.f64 x y)) (neg.f64 (/.f64 (*.f64 y y) (-.f64 x y))))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (+.f64 x y) (-.f64 x y))) (+.f64 x y) (neg.f64 (/.f64 (*.f64 y y) (-.f64 x y))))
(fma.f64 (/.f64 (*.f64 x x) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (fma.f64 x x (*.f64 y (+.f64 x y))) (neg.f64 (/.f64 (*.f64 y y) (-.f64 x y))))
(neg.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))))
(neg.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (-.f64 y x)))
(neg.f64 (/.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) (fma.f64 x (-.f64 x y) (*.f64 y y))))
(neg.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (-.f64 x y)))
(/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (fma.f64 x (-.f64 x y) (*.f64 y y)))
(/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (-.f64 x y))
(/.f64 (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y y))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)) (*.f64 (*.f64 y (*.f64 y y)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))))))
(/.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 x y)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y))))
(/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (-.f64 y x))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (*.f64 (-.f64 x y) (fma.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)) (*.f64 x (*.f64 x (*.f64 x x))))))
(/.f64 (*.f64 (fma.f64 x x (*.f64 y y)) (*.f64 (+.f64 x y) (-.f64 x y))) (*.f64 (-.f64 x y) (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (-.f64 x y)) (*.f64 (-.f64 x y) (*.f64 y y))) (*.f64 (-.f64 x y) (-.f64 x y)))
(/.f64 (*.f64 (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y y))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)) (*.f64 (*.f64 y (*.f64 y y)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))))) (fma.f64 x (-.f64 x y) (*.f64 y y))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) #s(literal 1 binary64)) (*.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) (fma.f64 x (-.f64 x y) (*.f64 y y))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) #s(literal 1 binary64)) (*.f64 (fma.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)) (*.f64 x (*.f64 x (*.f64 x x)))) (-.f64 x y)))
(/.f64 (*.f64 (*.f64 (fma.f64 x x (*.f64 y y)) (*.f64 (+.f64 x y) (-.f64 x y))) #s(literal 1 binary64)) (*.f64 (fma.f64 x x (*.f64 y y)) (-.f64 x y)))
(/.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) #s(literal 1 binary64)) (fma.f64 x (-.f64 x y) (*.f64 y y)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) #s(literal 1 binary64)) (-.f64 x y))
(/.f64 (neg.f64 (*.f64 (+.f64 x y) (-.f64 y x))) (neg.f64 (-.f64 y x)))
(/.f64 (neg.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (neg.f64 (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x x) (-.f64 x y)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 y y) (-.f64 x y)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 x x) (-.f64 x y)) (fma.f64 (/.f64 (*.f64 y y) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)) (*.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y))))))
(/.f64 (-.f64 (*.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 x x) (-.f64 x y))) (*.f64 (/.f64 (*.f64 y y) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)))) (fma.f64 x (/.f64 x (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y))))
(/.f64 (*.f64 (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y y))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))) (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)) (*.f64 (*.f64 y (*.f64 y y)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))))))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)))
(/.f64 (*.f64 (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (/.f64 #s(literal 1 binary64) (-.f64 x y))) (fma.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)) (*.f64 x (*.f64 x (*.f64 x x)))))
(/.f64 (*.f64 (*.f64 (fma.f64 x x (*.f64 y y)) (*.f64 (+.f64 x y) (-.f64 x y))) (/.f64 #s(literal 1 binary64) (-.f64 x y))) (fma.f64 x x (*.f64 y y)))
(pow.f64 (+.f64 x y) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 x y)) #s(literal 1 binary64)) #s(literal -1 binary64))
(*.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 #s(literal 1 binary64) (-.f64 x y))))
(*.f64 (+.f64 x y) (/.f64 (-.f64 x y) (-.f64 x y)))
(*.f64 (+.f64 x y) (pow.f64 (*.f64 (-.f64 x y) (/.f64 #s(literal 1 binary64) (-.f64 x y))) #s(literal 1 binary64)))
(*.f64 (+.f64 x y) (pow.f64 (/.f64 (-.f64 x y) (-.f64 x y)) #s(literal 1 binary64)))
(*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))))
(*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (*.f64 (+.f64 x y) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))))
(*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (/.f64 (+.f64 x y) (fma.f64 x (-.f64 x y) (*.f64 y y))))
(*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (/.f64 #s(literal 1 binary64) (-.f64 x y)))
(*.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))))
(*.f64 #s(literal 1 binary64) (+.f64 x y))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y)))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) (pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (+.f64 x y) (-.f64 x y))) #s(literal -1 binary64)))
(*.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (/.f64 #s(literal 1 binary64) (-.f64 y x)))
(*.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y))) (+.f64 x y))
(*.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 y x))) (+.f64 x y))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (-.f64 y x) (*.f64 (-.f64 y x) (-.f64 y x))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) (fma.f64 (*.f64 y (-.f64 y x)) (-.f64 (*.f64 y (-.f64 y x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))))
(*.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
(*.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) (fma.f64 x x (*.f64 y (+.f64 x y))))
(*.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) (fma.f64 x x (*.f64 y (+.f64 x y))))
(*.f64 (pow.f64 (/.f64 (-.f64 x y) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)) (*.f64 x (*.f64 x (*.f64 x x))))))
(*.f64 (pow.f64 (/.f64 (-.f64 x y) (*.f64 (fma.f64 x x (*.f64 y y)) (*.f64 (+.f64 x y) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 y y))))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y y))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x)) (*.f64 (*.f64 y (*.f64 y y)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))))))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (*.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))))
(*.f64 (pow.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) #s(literal 1 binary64)) (pow.f64 (*.f64 (+.f64 x y) (/.f64 #s(literal 1 binary64) (fma.f64 x (-.f64 x y) (*.f64 y y)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) #s(literal 1 binary64)) (pow.f64 (/.f64 (+.f64 x y) (fma.f64 x (-.f64 x y) (*.f64 y y))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (*.f64 (+.f64 x y) (-.f64 x y)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (+.f64 x y) (-.f64 y x)) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 y x)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (+.f64 x y) (-.f64 x y))) #s(literal 1 binary64)) (+.f64 x y))
(*.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (+.f64 x y) (-.f64 y x))) #s(literal 1 binary64)) (+.f64 x y))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (fma.f64 (*.f64 y (*.f64 y y)) (*.f64 (-.f64 y x) (*.f64 (-.f64 y x) (-.f64 y x))) (*.f64 (*.f64 x (*.f64 x x)) (*.f64 x (*.f64 x x))))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (*.f64 y (-.f64 y x)) (-.f64 (*.f64 y (-.f64 y x)) (*.f64 x x)) (*.f64 x (*.f64 x (*.f64 x x)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y))) (*.f64 (fma.f64 x (-.f64 x y) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))) #s(literal 1 binary64)) (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 x y)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (-.f64 x y))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 x (*.f64 x x) (*.f64 y (*.f64 y y)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) #s(literal 1 binary64)))

eval33.0ms (0.9%)

Memory
-19.2MiB live, 70.3MiB allocated
Compiler

Compiled 7 539 to 633 computations (91.6% saved)

prune41.0ms (1.1%)

Memory
-20.3MiB live, 92.5MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 5 to 4 computations (20% saved)

simplify4.0ms (0.1%)

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

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff192
(-.f64 y #s(literal 0 binary64))
Rules
4×lower-+.f64
4×lower-+.f32
2×--rgt-identity
2×lift--.f64
2×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
043
163
293
093
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
19.3MiB live, 19.3MiB allocated
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy0
(-.f64 y #s(literal 0 binary64))
Samples
6.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 (64.6% 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.7MiB live, 0.7MiB allocated
Counts
1 → 12
Calls
Call 1
Inputs
#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())
Outputs
#s(alt y (taylor 0 y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (-.f64 y #s(literal 0 binary64)) (patch (-.f64 y #s(literal 0 binary64)) #<representation binary64>) () ())) ())
Calls

3 calls:

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

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

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

rewrite123.0ms (3.4%)

Memory
-18.9MiB live, 93.3MiB allocated
Rules
692×frac-times
604×lower-/.f64
604×lower-/.f32
494×lower-*.f64
494×lower-*.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
041
1181
21581
018951
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
1 → 96
Calls
Call 1
Inputs
(-.f64 y #s(literal 0 binary64))
Outputs
y
(+.f64 y #s(literal 0 binary64))
(+.f64 y (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(+.f64 #s(literal 0 binary64) y)
(+.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)) y)
(-.f64 y #s(literal 0 binary64))
(fma.f64 y #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 y #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (*.f64 y (*.f64 y y)) (/.f64 #s(literal 1 binary64) (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 (*.f64 y (*.f64 y y)) (/.f64 #s(literal 1 binary64) (*.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64))
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) y) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (neg.f64 (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y y))) #s(literal 0 binary64))
(fma.f64 (neg.f64 (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y y))) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (neg.f64 (*.f64 y y)) (/.f64 #s(literal 1 binary64) (neg.f64 y)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (*.f64 y y)) (/.f64 #s(literal 1 binary64) (neg.f64 y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 #s(literal 1 binary64) y #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) y (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) (*.f64 y (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) (*.f64 y (*.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #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 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 y y))) #s(literal 0 binary64))
(fma.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 y y))) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64) y)
(fma.f64 (/.f64 #s(literal 1 binary64) y) (*.f64 y y) #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) y) (*.f64 y y) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y) #s(literal 0 binary64))
(fma.f64 (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 y (*.f64 y (*.f64 y y))) (/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y y))) #s(literal 0 binary64))
(fma.f64 (/.f64 y (*.f64 y (*.f64 y y))) (/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y y))) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 y #s(literal 1 binary64)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 y #s(literal 1 binary64)) #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 y (*.f64 y (*.f64 y y))) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 y (*.f64 y (*.f64 y y))) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y (*.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y (*.f64 y y)))) (neg.f64 (*.f64 y y)) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y (*.f64 y y)))) (neg.f64 (*.f64 y y)) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(fma.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y y))) (neg.f64 y) #s(literal 0 binary64))
(fma.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y y))) (neg.f64 y) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64)))
(neg.f64 (neg.f64 y))
(/.f64 (*.f64 y (*.f64 y y)) (*.f64 y y))
(/.f64 (*.f64 y y) y)
(/.f64 (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 (*.f64 y y) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))))
(/.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))) (*.f64 y (*.f64 y (*.f64 y y))))
(/.f64 (neg.f64 (*.f64 y (*.f64 y y))) (neg.f64 (*.f64 y y)))
(/.f64 (neg.f64 (*.f64 y y)) (neg.f64 y))
(/.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))
(/.f64 (*.f64 y (*.f64 y (*.f64 y y))) (*.f64 y (*.f64 y y)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 1 binary64)))
(/.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) (*.f64 y y)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))) #s(literal 0 binary64)) (*.f64 y (*.f64 y (*.f64 y y))))
(/.f64 (-.f64 (*.f64 (neg.f64 (*.f64 y (*.f64 y y))) (*.f64 y y)) (*.f64 (neg.f64 (*.f64 y y)) #s(literal 0 binary64))) (*.f64 (neg.f64 (*.f64 y y)) (*.f64 y y)))
(/.f64 (-.f64 (*.f64 (neg.f64 (*.f64 y y)) (*.f64 y y)) (*.f64 (neg.f64 y) #s(literal 0 binary64))) (neg.f64 (*.f64 y (*.f64 y y))))
(/.f64 (-.f64 (*.f64 y y) (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64))) y)
(/.f64 (-.f64 (*.f64 (neg.f64 (*.f64 y (*.f64 y y))) y) (*.f64 (neg.f64 (*.f64 y y)) #s(literal 0 binary64))) (neg.f64 (*.f64 y (*.f64 y y))))
(/.f64 (-.f64 (neg.f64 (*.f64 y (*.f64 y y))) (*.f64 (neg.f64 y) #s(literal 0 binary64))) (neg.f64 (*.f64 y y)))
(/.f64 (-.f64 y (*.f64 (/.f64 #s(literal 1 binary64) y) #s(literal 0 binary64))) #s(literal 1 binary64))
(/.f64 (*.f64 (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) #s(literal 1 binary64)) (*.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y y)))
(/.f64 (*.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) #s(literal 1 binary64)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))
(/.f64 (*.f64 (*.f64 y (*.f64 y y)) #s(literal 1 binary64)) (*.f64 y y))
(/.f64 (*.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))) #s(literal 1 binary64)) (*.f64 y (*.f64 y (*.f64 y y))))
(/.f64 (*.f64 (*.f64 y (*.f64 y (*.f64 y y))) #s(literal 1 binary64)) (*.f64 y (*.f64 y y)))
(/.f64 (*.f64 (*.f64 y y) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y y)))))
(/.f64 (*.f64 (*.f64 y y) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))))
(/.f64 (*.f64 (*.f64 y y) (neg.f64 (*.f64 y (*.f64 y y)))) (*.f64 (*.f64 y y) (neg.f64 (*.f64 y y))))
(/.f64 (*.f64 (*.f64 y y) (neg.f64 (*.f64 y y))) (neg.f64 (*.f64 y (*.f64 y y))))
(/.f64 (*.f64 (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (/.f64 #s(literal 1 binary64) y)) (*.f64 y (*.f64 y (*.f64 y y))))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y (*.f64 y y)))) (neg.f64 (*.f64 y y)))
(/.f64 (*.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y y))) (neg.f64 y))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) y) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 y (*.f64 y (*.f64 y y))))
(/.f64 (neg.f64 (neg.f64 (*.f64 y (*.f64 y y)))) (neg.f64 (neg.f64 (*.f64 y y))))
(/.f64 (neg.f64 (neg.f64 (*.f64 y y))) y)
(/.f64 (*.f64 (*.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (/.f64 #s(literal 1 binary64) (*.f64 y y))) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))))
(pow.f64 y #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) y) #s(literal -1 binary64))
(*.f64 y #s(literal 1 binary64))
(*.f64 (*.f64 y (*.f64 y y)) (/.f64 #s(literal 1 binary64) (*.f64 y y)))
(*.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) y))
(*.f64 (neg.f64 (*.f64 y (*.f64 y y))) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 y y))))
(*.f64 (neg.f64 (*.f64 y y)) (/.f64 #s(literal 1 binary64) (neg.f64 y)))
(*.f64 #s(literal 1 binary64) y)
(*.f64 (/.f64 #s(literal 1 binary64) (*.f64 y y)) (*.f64 y (*.f64 y y)))
(*.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 y y)))
(*.f64 (pow.f64 y #s(literal 3/2 binary64)) (*.f64 (pow.f64 y #s(literal 3/2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 y y))))
(*.f64 (/.f64 #s(literal 1 binary64) y) (*.f64 y y))
(*.f64 (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y) (/.f64 (pow.f64 y #s(literal 3/2 binary64)) y))
(*.f64 (/.f64 y (*.f64 y (*.f64 y y))) (/.f64 y (/.f64 #s(literal 1 binary64) (*.f64 y y))))
(*.f64 (/.f64 y #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y (*.f64 y y)))))) (*.f64 y (*.f64 y (*.f64 y y))))
(*.f64 (/.f64 (*.f64 y (*.f64 y y)) (*.f64 y (*.f64 y (*.f64 y (*.f64 y y))))) (*.f64 y (*.f64 y y)))
(*.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y (*.f64 y y)))) (neg.f64 (*.f64 y y)))
(*.f64 (/.f64 (*.f64 y y) (neg.f64 (*.f64 y y))) (neg.f64 y))

eval8.0ms (0.2%)

Memory
14.2MiB live, 14.3MiB allocated
Compiler

Compiled 1 298 to 158 computations (87.8% saved)

prune42.0ms (1.2%)

Memory
-11.7MiB live, 26.6MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New95196
Fresh000
Picked101
Done000
Total96197
Accuracy
100.0%
Counts
97 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
y
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0.1%)

Memory
4.0MiB live, 4.0MiB 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
8.0MiB live, 8.0MiB 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.0MiB live, 0.0MiB allocated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

simplify2.0ms (0.1%)

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

rewrite7.0ms (0.2%)

Memory
7.3MiB live, 7.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.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
2.1MiB live, 2.1MiB 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 14 to 8 computations (42.9% saved)

regimes103.0ms (2.8%)

Memory
-33.7MiB live, 14.8MiB allocated
Accuracy

Total -29.2b remaining (-∞%)

Threshold costs -29.2b (-∞%)

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

3 calls:

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

Compiled 13 to 8 computations (38.5% saved)

simplify6.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

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

soundness372.0ms (10.3%)

Memory
-4.3MiB live, 107.9MiB allocated
Rules
6 322×lower-fma.f64
6 322×lower-fma.f32
4 602×lower-*.f64
4 602×lower-*.f32
2 154×lower-/.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
041
1181
21581
018951
048
068
1348
23056
348646
084836
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 19 to 12 computations (36.8% saved)

preprocess197.0ms (5.4%)

Memory
1.1MiB live, 65.1MiB allocated
Remove

(negabs y)

(abs x)

Compiler

Compiled 42 to 28 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...